論理式のコマンド

\lnot P_1  \lnot P_1
A \land B A \land B
A \land B A \land B
A \to B A \to B
A \Rightarrow B A \Rightarrow B
A \equiv B A \equiv B
A \leftrightarrow B A \leftrightarrow B
\forall \forall
\exists \exists