構成的ジレンマ
$ \vDash (\phi \to \xi) \to (\psi \to \xi) \to (\phi \land \psi \to \xi)
戸次 大介; "数理論理学"
#命題論理で恒真の式