選言三段論法
$ \vDash (\phi \lor \psi) \land \lnot\phi \to \psi
戸次 大介; "数理論理学"
#命題論理で恒真の式