How can I use truth table to show that ~( p -> q ) = p ^ ~q ? Please help! Thank you.

Printable View

- Feb 24th 2008, 07:17 PMrmiller0307truth table problem
How can I use truth table to show that ~( p -> q ) = p ^ ~q ? Please help! Thank you.

- Feb 24th 2008, 07:56 PMJhevon
- Feb 24th 2008, 07:59 PMJen
Attachment 5177

I skipped a few little steps, like I didn't have the columns for the truth values of ~p and ~q. Let me know if this is clear enough. If you have any questions let me know.

The conditional statement is only false when the premise is true and the conclusion is false.