リテラル
from
命題論理
命題変数
もしくは、
命題変数
に
$ \lnot
をつけたもの
例.
$ p
,
$ \lnot q
リテラルではないものの例.
$ \lnot\lnot p
,
$ p\land q