移出律
$ \vDash (\phi \land \psi \to \xi) \to (\phi \to \psi \to \xi)
戸次 大介; "数理論理学"
#命題論理で恒真の式