命題論理
φ {\displaystyle \phi } を仮定して ψ {\displaystyle \psi } と ¬ ψ {\displaystyle \lnot \psi } が導かれたら ¬ φ {\displaystyle \lnot \phi } を推論できる。