The CONTRAPOSITIVE of $P \to Q$ is
A$Q \to P$ (converse)
B$\neg P \to \neg Q$ (inverse)
C$\neg Q \to \neg P$
D$P \land \neg Q$
Answer & Solution
Correct answer: C. $\neg Q \to \neg P$
1. CONTRAPOSITIVE: negate and reverse both sides. $P \to Q$ becomes $\neg Q \to \neg P$.
2. CRUCIAL: an implication and its contrapositive are LOGICALLY EQUIVALENT — they have the same truth table.
3. Example: 'If it rains, the street is wet' has contrapositive 'If the street is not wet, it did not rain'.
4. Option A is the CONVERSE (not logically equivalent). Option B is the INVERSE (also not equivalent). Option D is the NEGATION of the implication.
_Source: Oscar Levin, "Discrete Mathematics: An Open Introduction", §0.2 (Implications, Converse, Inverse, Contrapositive)._
Related questions
A PREDICATE $P(x)$ isHow many ways to put 10 IDENTICAL balls into 4 DISTINCT boxes (each box can hold 0 or moreHow many DIFFERENT subsets of size 3 can be selected from a set of 7 elements?In how many ways can 7 people sit in a ROW?$\binom{n}{k} = \binom{n}{n-k}$. This identity reflectsHow many DIFFERENT 5-bit binary strings are there?The PIGEONHOLE PRINCIPLE states that if $n$ pigeons are placed into $m$ holes with $n > m$A function $f: A \to B$ is INJECTIVE (one-to-one) if