命題論理
命題論理
の
トークン
命題変数
::=
$ A,B,C,\cdots,X,Y,Z
命題変数
は
原子式
(これ以上分けられない)
単項演算子
::=
$ \lnot
(
否定
)
二項演算子
::=
$ \land
(
連言
)
$ \lor
(
選言
)
$ \rightarrow
(
含意
)