論理式
論理式(ろんりしき、formula)
$ A \land B
$ A \lor B
$ A \lnot B
$ A \leftrightarrow B
$ \forall A
$ \exist A
恒真(valid)
充足可能
(satisfiable)
充足不能(unsatisfiable)
恒真式(トートロジー)
確認用
Q. 論理式
参考
関連
命題論理
一階述語論理