論理式
論理式(ろんりしき、formula)
$ A \land B
$ A \lor B
$ A \lnot B
$ A \leftrightarrow B
$ \forall A
$ \exist A
恒真(valid)
充足不能(unsatisfiable)
↓一階述語論理までの表
$ \begin{array}{cl} \land & 連言、かつ \\ \lor & 選言、または \\ \lnot & 否定、でない \\ \bot & 矛盾する \\ \rightarrow & 含意、ならば \\ \leftrightarrow & 双条件、Aの場合かつこの場合に限りB、同値、同等、等値 \\ \forall & すべての \\ \exist & 存在する、ある \end{array}
確認用
Q. 論理式
参考
関連