第1章 数理逻辑-谓词逻辑.ppt

第一章 数理逻辑 Mathematics Logic 1.6~1.8 谓词逻辑Predicate Logic 问题的提出：(命题逻辑的局限性) 例：苏格拉底论断 前提 “所有的人总是要死的” “苏格拉底是人” 结论 “所以苏格拉底是要死的” 命题逻辑中原子命题不可再分 例 Ｐ1：小张是大学生 Ｐ2：小李是大学生 Q1 ：2大于3 Q2 ：6大于4 命题逻辑无法反映不同原子命题间的内在共性 解决问题的方法 分析原子命题，分离其主语和谓语 考虑一般和个别，全称和存在 1.6 谓词和量词 1.6.1 谓词 谓词的概念和表示 在原子命题中，用来刻划一个个体的性质或个体之间关系的成分称为谓词，刻划一个个体性质的词称为一元谓词；刻划n个个体之间关系的词称为n元谓词 常用大写英文字母表示 个体 能够独立存在的事物 通常用小写英文字母a、b、c、...表示个体常量 用小写英文字母x、y、z...表示任何个体，则称这些字母为个体变元 例 1 (a) 5 是质数 (b) 张明生于北京 (c) 7=3×2 F(x)：x是质数 G(x, y)： x生于y ，a：张明，b：北京 H(x, y, z) ：x=y×z 谓词常元 一个字母代表一特定谓词, 例如F代表“是质数”, 则称此字母为谓词常元 谓词变元 若字母代表任意谓词, 则称此字母为谓词变元 论域 个体域 谓词命