Hint for Section 1.2 Question 6

6. There are two statement variables so the truth table will have 4 rows. Start by filling in all possible combinations of truth values for p and q.

p q   p implies.jpg (563 bytes) q q implies.jpg (563 bytes) p   (p implies.jpg (563 bytes) q) L (q implies.jpg (563 bytes) p) p iff.jpg (642 bytes) q
T T            
T F            
F T            
F F            

Now use the truth values in columns 1 and 2, and the definition of  implies.jpg (563 bytes)   to fill in columns 3 and 4.

Next hint please
Back to Section 1.2
Full solution