1.6谓词及量词.pdfVIP

离散数学 Discrete Mathematics 数理逻辑 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 学习内容及要求 学习内容 谓词和量词的定义 量化断言的表示方法 谓词公式及改名规则 掌握要求 准确地将给出的命题符号化 能够将量化断言转换成命题表达式 能够正确判断合式公式 掌握改名规则的方法 2011-1-10 离散数学 2 1.6 谓词和量词 在命题演算中, 原子命题是演算的基本单位, 不再对原子命题进行分解。故无法研究命题 内部的成分、结构及其逻辑特征。 例如(著名的苏格拉底三段论) （1）所有的人都是要死的； （2）苏格拉底是人。 （3）苏格拉底是要死的。 凭直觉这个苏格拉底论证是正确的, 但无法 用命题演算表达出来。 2011-1-10 离散数学 3 苏格拉底论证 P：所有的人都是要死的； Q：苏格拉底是人。 R：苏格拉底是要死的。 可见，P，Q，R为不同的命题，无法体现三 者相互之间的联系 。 为了克服命题逻辑的局限性，就应该将简单命题再细分，将 命题演算扩充，以期达到表达出个体与总体的内在联系和数 量关系，这就是一阶逻辑所研究的内容 2011-1-10 离散数学 4 谓词 例 1 (a) 5 是质数 x是质数 (b) 张明生于北京 x生于y (c) 7=3×2 x =y ×z 右侧是每个例子的模式, “是质数”刻画x 的性质, “生于”刻画x和y的关系, “…= …× …”刻画x , y , z 的关系。 2011-1-10 离散数学 5 我们把“5”“张明”“北京” “7” “3” “2”叫做个体, 代表个体的变元叫个体变元。 谓词： 刻画个体的性质或几个个体间关系 的模式。相当于句子中的谓语。 “是质数” “生于” “…= …×…” 都是谓 词。 谓词的表示：谓词一般用大写字母P, Q, R, …表示, 个体用小写字母a, b, c, …等 表示。 单独的个体和谓词不能构成命题, 故不能将 它们分开以表示命题。 2011-1-10 离散数学 6 我们把“5”“张明”“北京” “7” “3” “2 ”叫做个体, 代表个体 的变元叫个体变元。 谓词： 刻画个体的性质或几个个体间关系的模式。相当于 句子中的谓语。 “是质数” “生于” “…= …×…” 都是谓词。 谓词的表示：谓词一般用大写字母P, Q, R, …表示, 个体用小写字母a, b, c, …