Modus tollendo ponens	φ ∨ ψ ¬± φ ψ	φ ∨ ψ ¬± ψ φ
Modus ponendo tollens	¬ (φ ∧ ψ) φ ¬± ψ	¬ (φ ∧ ψ) ψ ¬± φ