Microsoft PowerPoint - FOL2007.ppt2 参考にしている本（追加） 小野寛晰：情報科学における論理，日本評論社，1994. 2007年度 情報数学 一階述語論理 (first-order logic) 2007年5月18日 情報理工学科 上田 和紀 萩谷昌己：ソフトウェア科学のための論理学，岩波書 店，1994. Chang, C.-L., and Lee, C.-T.（長尾真，辻井潤一訳）： コンピュータによる定理の証明，日本コンピュータ協 会，1983. 1 3 4 命題論理の限界 命題論理では，個々の単文の内部構造に立ち入った表 現や推論は扱えない 例１： Socrates is a human. (All) humans are mortal. Therefore, Socrates is mortal. 一階述語論理は「関係」指向 大多数の平叙文や命題は ものの（カテゴリへの）所属 ものの性質 も
