Are you sure you are not trying to show is equivalent to ?
I cannot come up with the proof that (p => q) is the same as (not p => not q).
If anyone can help - that would be great.
As I understand it: (p => q) is always true except when p is true and q is false.
If that definition is true, then (not p => not q) cannot possibly be the same.
This cannot be. What am I missing?
Thanks a million for any constructive help.
You're usually going to have a hard time proving false things; that's the beauty of mathematics. It never lets us fool ourselves.
I suggest always thinking of a small example to see if your "theorem" is true before you start trying to prove it.
If I have a cold, I have a sore throat.
Does that imply that if I don't have a cold, I don't have a sore throat?
Perhaps you wrote it wrong in your notes. Three members have told you what the contrapositive is as well as providing a link to the wikipedia article on what it is.
Try a google search and tell us what you find: What is contrapositive
You even told us that you couldn't show by truth tables that the two statements you have aren't equivalent. And I assure you that you won't be able to simply because they aren't.
Plato . thanks a million billion - i thought i was going mad.
the only thing is i dont get why....
if the definition for p=>q is that it is false only when p is true and q is false then surely this table should be correct. (even though it is obviously not).
if p=>q is false only when p is true and q is false,
is also (not p=> not q) false only when not p is true and not q is false?
That table is correct. But it proves nothing.
If one wants to show two statement forms are equivalent, then there truth columns must be identical.
That is not the case in the above.
You have compared the statement “If P then Q.” with its inverse “If not P then not Q’.
You have shown that they are not equivalent. Their columns are not the same.
This is a nightmare.
How can both tables be true?
I want to be able to show that this table is true.
It is clear why the p=>q colums gets those values. (p=>q) is only false when p is true and q is false. But.....Why on earth does the (not q => not p) column get those values? based on what?