第一章数理逻辑-谓词逻辑.docx

第二篇数理逻辑 第二篇数理逻辑 Mathematics Logic 1 谓词逻辑 Predicate Logic 2 问题的提出：(命题逻辑的局限性) 例：苏格拉底论断 □ 前提 所有的人总是要死的 ■ 苏格拉底是人 □ 结论 P Q 人 人 P△Q→R ■ “所以苏格拉底是要死的” 命题逻辑中原子命题不可再分 R 不是有效推理 3 例 口P:小张是大学生 □ P? :小李是大学生 □ Q:2大于3 □ Q? :6大于4 命题逻辑无法反映不同原子命题间的内在 共性 解决问题的方法 □ 分析原子命题，分离其主语和谓语 □ 考虑一般和个别，全称和存在 4 3 . 1谓词的概念与表示 定义3. 1