極大(古典的命題論理)
#定義
$ \Lambda
が極大
$ \iff
任意の論理式
$ A \in \bold{F}
について
$ A \in \Lambda
または
$ \lnot A \in \Lambda