Using truth tables, verify that the contrapositive and original statement are logically equivalent.

$\begingroup$

How do I approach this? I understand how to construct a truth table, such as this one:

However, is this enough to prove that they are equivalent statements?

$\endgroup$ 4

1 Answer

$\begingroup$

Yes, if they have the same truth table, then they are (by definition) equivalent. Note that this means that statements that on the surface have nothing in common, and even when there is no mathematical way to transform one statement into the other, are still considered equivalent if their truth tables match up. – Arthur

$\endgroup$

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy