LP無矛盾(古典的命題論理)
#古典的命題論理
LP矛盾(古典的命題論理)
でないこと つまり