Modus ponendo ponens

φ → ψ φ ψ

φ → ψ ¬± ψ ¬± φ

Modus tollendo tollens