Elementary Logic
Elementary Logic
Elementary Logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Satisfiability and Validity<br />
A formula A is satisfiable in M if there is an assignment s such<br />
that M, s |= A.<br />
A formula A is valid in M, denoted M |= A, if M, s |= A for<br />
every assignment s.<br />
For instance, ∀x(x + 0 = x) is valid in (Z, {+, 0}).<br />
M is called a model of A if A is valid in M.<br />
A formula A is valid if it is valid in every structure, denoted |= A.<br />
Yih-Kuen Tsay (SVVRL @ IM.NTU) <strong>Elementary</strong> <strong>Logic</strong> FLOLAC 2011 53 / 64