[![Image][1]](../../images/a968fb08b1584c2748bb97bffd05bde9.webp)
1 Answers
For a statement "If P, then Q" one has:
- The contrapositive "If not Q, then not P"
- The converse "If Q, then P"
The contrapositive is equivalent to the original statement. It is true precisely when the original statement is true, and is false precisely when the original statement is false.
The converse is a different statement. Knowing whether or not the original statement is true tells you nothing about whether or not the converse is true.
Note also that the negation of "$a$ and $b$ are integers" isn't "$a$ and $b$ are not integers"; the negation is "either $a$ or $b$ is not an integer". That's because the negation of "P and Q" is "not P or not Q"; it isn't "not P and not Q".
To see this, write the statement "$a$ and $b$ are integers" as a true conjunction ("P and Q"), which would be "($a$ is an integer) and ($b$ is an integer)". The English has perhaps hidden what the conjunction really is. So its negation is "($a$ is not an integer) or ($b$ is not an integer)".
- 43,638
