Elementary Logic
Elementary Logic
Elementary Logic
SHOW LESS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Truth Assignment and Satisfaction<br />
We say v |= A (v satisfies A) if ˆv(A) = T .<br />
So, the symbol |= denotes a binary relation, called satisfaction,<br />
between truth assignments and propositional formulae.<br />
v ̸|= A (v falsifies A) if ˆv(A) = F .<br />
Yih-Kuen Tsay (SVVRL @ IM.NTU) <strong>Elementary</strong> <strong>Logic</strong> FLOLAC 2011 13 / 64
Change language