BCC Logic NAME_____________________________
Eric Gerlach
4/26/2010
SECOND TRUTH TABLE ASSIGNMENT
Using Wittgenstein’s truth table method, prove that the following equations are tautologies.
You should get four Ts, ‘true’ for each of the four truth values, under the equals sign.
Modus Tollens
(p > q) = (~ q > ~ p)
Implication
(p > q) = (~ p v q)
De Morgan’s A
~ (p ^ q) = (~ p v ~ q)
De Morgan’s B
~ (p v q) = (~ p ^ ~ q)
Disjunction
(p v q) = (~ p > q)
Community
(p v q) = (q v p)
