数学基礎論・数理論理学 その19at MATH
数学基礎論・数理論理学 その19
- 暇つぶし2ch86:132人目の素数さん
24/03/26 13:59:17.34 vQyilxSC.net
仮に矛盾A∧¬Aの否定を排中律A∨¬Aと考えるならば
(正確には¬(A∧¬A)とA∨¬Aは違う命題だが)
直観主義論理では排中律は仮定されないけど、個別の命題がA∨¬Aを満たすことはある
その意味で矛盾の否定は同等でない
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch