[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
523(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:04 ID:P9qVEF++(17/25) AAS
>>511
>第一章の１．４に述語論理出てくるけど、
>カラスの世田はこんな基本的なことも
>何ひとつ全然理解できてないよ（バッサリ）
>外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
ご苦労さまです
(引用開始)
1.4 述語論理
これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた
そこで展開してきた論理体系を命題論理と呼ぶ
省6
525(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:10 ID:P9qVEF++(18/25) AAS
>>523
ここは中高一貫校生も来る可能性があるから
補足をば
(参考)
外部ﾘﾝｸ[html]:www2.yukawa.kyoto-u.ac.jp
数理論理学入門
高崎金久（京都大学）
外部ﾘﾝｸ[html]:www2.yukawa.kyoto-u.ac.jp
V. 述語論理の意味論
1. 述語論理は何を記号化したものか
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s