Contraposition: If Γ ; ϕ ⊢ ψ {\displaystyle \Gamma ;\phi \vdash \psi } then Γ ; ¬ ψ ⊢ ¬ ϕ {\displaystyle \Gamma ;\lnot \psi \vdash \lnot \phi } .
对置（Contraposition）:如果 Γ ; ϕ ⊢ ψ {\displaystyle \Gamma ;\phi \vdash \psi } 则 Γ ; ¬ ψ ⊢ ¬ ϕ {\displaystyle \Gamma ;\lnot \psi \vdash \lnot \phi } 。