Hint for Section 1.2 Question 2

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

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

Now use the truth values in column 1 and the definition of ~ to fill in column 3.

Next hint please
Back to Section 1.2
Full solution