>>806
じゃあ>>762古典論理の命題論理じゃないなりか?