数学基礎論・数理論理学 その19

[0090 １３２人目の素数さん 2024/03/26(火) 15:09:18.70 ID:6Gb4+y1g]

>>89
それは単純すぎ
真理値でしか考えてないでしょ
真理値は副次的なものだから
矛盾を区別するてのはどうかと考えたわけ
つまり「矛盾」（人）なしの命題論理
矛盾律人→Pは当然ないだけでなく
A∧￢A→人もないし(A→人)→¬Aもない