$P \implies Q$ and $\neg Q \implies \neg P$

Example · High school

Terms

Term	This example	Why
equivalent	✓	$P \implies Q$ and its contrapositive $\neg Q \implies \neg P$ are logically equivalent, because each is true exactly when the other is.
equal	✗	$P \implies Q$ and its contrapositive $\neg Q \implies \neg P$ are not equal, because they are different statements.

Distinctions using this example

• Types of sameness

All examples · All distinctions · All definitions