数学基礎論・数理論理 ..
87:132人目の素数さん
24/03/26 14:24:25.48 6Gb4+y1g.net
>>85
>真が同等とかの意味がよく分からん
ここで書いた同等とはP→QとQ→Pがどちらも成立すること
>>86
排中律を仮定しない直感主義論理の場合でも¬(A∧¬A)は真のはず
Aが変わっても同等なのでは?
しかしA∧¬Aが区別されお互い同等でないなら¬(A∧¬A)も同等でなくなるのかなって疑問
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
65日前に更新/36 KB
担当:undef