Instructor: Eric Gerlach
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 Implication
(p > q) = (~ q > ~ p) (p > q) = (~ p v q)
De Morgan’s A De Morgan’s B
~ (p ^ q) = (~ p v ~ q) ~ (p v q) = (~ p ^ ~ q)
Disjunction Community
(p v q) = (~ p > q) (p v q) = (q v p)
