from 命題論理

命題変数もしくは、命題変数に\lnotをつけたもの

例. p, \lnot q

リテラルではないものの例. \lnot\lnot p, p\land q