0227132人目の素数さん垢版2017/12/28(木) 05:37:10.54ID:oPGh8GH6 >>225 >全ての命題は(互いに含意し合う同値関係で商を取れば)線型順序を成しているってことになる。 古典論理なら線形順序というより真偽の2値のみ つまり偽である命題の全体と真である命題全体とがあって 偽<真 という順序を入れることが出来るというだけだよ