数学基礎論・数理論理学 その19at MATH数学基礎論・数理論理学 その19 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト300:１３２人目の素数さん 24/05/15 19:31:06.15 dJj5Zqh2.net >>298 自分の想定してるのは直観主義のヒルベルトスタイルに排中律をいれたりいれなかったりだから入ってる 301:１３２人目の素数さん 24/05/15 19:51:19.75 vwN3FcOM.net >>300 >ヒルベルトスタイルに排中律 ヒルベルト式だと排中律は内包されてるんじゃないの？ たとえばP∨Qは￢P→QにP∧Qは￢(P→￢Q)にするんでしょ？ 論理演算が→と￢しかないから 排中律ないと制限きついでしょ 302:１３２人目の素数さん 24/05/15 19:59:55.29 dJj5Zqh2.net >>296 > 矛盾Q∧￢Qから任意の命題Pが証明可能 これは「任意のPとQにたいして、Q∧￢Q ⊢ P」を意図してるの？それとも「⊢Q∧￢Q ならば ⊢P」なのか？ 他の行も同じで何を書いてるつもりなのかさっぱりわからんし ⊢の定義をまずしないと何を言ってるのかさっぱりなんだが… 303:１３２人目の素数さん 24/05/15 20:05:21.61 dJj5Zqh2.net >>301 直観主義だとwikipediaの直観主義論理の項目のヒルベルト流の計算の節の形にするんよ なんかurl貼ろうとしたら怒られたんだが… 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch