>>225
>全ての命題は（互いに含意し合う同値関係で商を取れば）線型順序を成しているってことになる。
古典論理なら線形順序というより真偽の2値のみ
つまり偽である命題の全体と真である命題全体とがあって
偽<真
という順序を入れることが出来るというだけだよ