極大無矛盾集合(古典的命題論理)
#古典的命題論理
論理式集合
$ \Lambda
が
LP無矛盾(古典的命題論理)
である
極大(古典的命題論理)