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

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

数学基礎論・数理論理学　その19 - 暇つぶし2ch90:１３２人目の素数さん
24/03/26 15:09:18.70 6Gb4+y1g.net
>>89
それは単純すぎ
真理値でしか考えてないでしょ
真理値は副次的なものだから
矛盾を区別するてのはどうかと考えたわけ
つまり「矛盾」（人）なしの命題論理
矛盾律人→Pは当然ないだけでなく
A∧￢A→人もないし(A→人)→￢Aもない

次ページ

続きを表示

1を表示