数学基礎論・数理論理学 その19at MATH数学基礎論・数理論理学 その19 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト350:１３２人目の素数さん 24/05/20 01:29:19.02 os7gXi5h.net >>347 なんかカンニングした https://ncatlab.org/nlab/show/sequent+calculus をだいぶ読み間違えてたわ 351:１３２人目の素数さん 24/05/20 01:30:17.54 os7gXi5h.net >>348 そう、そこ読み間違えてたっぽい 352:１３２人目の素数さん 24/05/22 21:30:43.90 VDYRR5Y/.net ここFランばっかだなw 353:１３２人目の素数さん 24/05/22 21:52:48.92 U3WgW+/X.net >>352 Fランに詳しい人キタ 354:１３２人目の素数さん 24/05/22 22:29:00.77 hbcyxk4S.net 東都路地 355:１３２人目の素数さん 24/05/22 22:45:38.90 T8l1ODsI.net ↑これが数学板の実力です 専門板なのに異常にレベルが低い せいぜい数学の少しできる高校生レベル 356:１３２人目の素数さん 24/05/23 00:44:50.15 KmslQbbB.net 糖登呂爺 357:１３２人目の素数さん 24/05/25 15:15:31.40 LLIp+91v.net 1階の述語論理で ∀xP(x)はxの全てについてのP(x)の∧で (∀xP(x))⊢P(t)は∧Eに P(x)⊢(∀xP(x))は∧Iに過ぎないし ∃xP(x)はxの全てについてのP(x)の∨で P(t)⊢(∃xP(x))も∨Iに (∃xP(x)),P(x)→Q⊢Qも∨Eに過ぎない 論理式の列を有限に限る必要はないと思う むしろ上記のように全ての集合に対して全部とすることを許せば 1階の述語論理と変数のない命題論理（ただし命題変数は全ての集合に対するP(t)の全て）は全く同じものと分かる なぜ 全ての集合に対しての論理式の列を許さず ∀xP(x)や∃xP(x)にするのだろう 全ての集合に対しての論理式の列を考えることで 何かパラドクスが起こるのかしらん 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch