若命題(Proposal) P→QP \rightarrow QP→Q成立時
E.g. 下雨 →\rightarrow→ 帶傘
E.g. 白馬 →\rightarrow→ 馬
由真值表可得P→QP \rightarrow QP→Q與∼Q→∼P\sim Q \rightarrow \sim P∼Q→∼P等價。