东北师范大学《离散数学》课件-第三讲.pdfVIP

离散数学 第三讲 谓词与量词 Predicate and Quantifiers 谓词与量词 苏格拉底三段论： 凡是人都是要死的。  苏格拉底是人。  所以苏格拉底是要死的。 p ∧q  r 重言式？正确的推理？ 2 谓词与量词  个体词 （individual ）是一个命题里表示思维 对象的词，表示独立存在的具体或抽象的客体  具体的、确定的个体词称为个体常项，一般用 a, b, c 表示  抽象的、不确定的个体词称为个体变项，一般 用x, y , z 表示  个体变项的取值范围称作个体域或论域 （domain of the discourse）  宇宙间一切事物组成的个体域称作全总个体域 （universal domain of individuals） 3 谓词与量词 表示个体词性质或相互之间关系的 词称作谓词 （predicate）。 4 谓词与量词 如果命题里只有一个个体词，这时 表示该个体词性质或属性的词便称 为谓词。这是一元 （目）谓词，以 P(x), Q(x), …表示。 例 Human (Socrates) Mortal (Socrates) 5 谓词与量词 如果在命题里的个体词多于一个，那 么表示这几个个体词间的关系的词称 作谓词。这是多元 （目）谓词，有 n 个个体的谓词P(x , …, x ) 称n 元 （目） 1 n 谓词，以P(x, y ), Q(x, y ), R(x, y , z), … 表示。 例  Greater (x , y )  Equal (x , y )  Friend (俞伯牙, 钟子期) 6 谓词与量词 准确地讲，谓词 P(x), Q(x, y ), …是 命题形式而不是命题  因为既没有指定谓词符号P, Q 的含义， 而且个体词x , y 也是个体变项而不代 表某个具体的事物，从而无法确定 P(x), Q(x, y ) 的真值。 仅当赋予谓词确定含义，并且个体词 取定为个体常项时，命题形式才化为 命题。 7 谓词与量词 世界上有黑天鹅。 世界上所有天鹅都是黑色的。 Black (swan) ？ 8 谓词与量词 用来表示个体数量的词是量词 （quantification ），给谓词加上量 词称作谓词的量化 可看作是对个体词所加的限制、约 束的词，但不是对数量一个、二个、 三个…的具体描述，而是讨论两个 最通用的数量限制词： 9 谓词与量词 全称量词(universal quantification) “”  读作“所有的x”、“任意x”或“一切x”  含意相当于自然语言中的“任意的”、“所 有的”、“一切的”、“每一个”、“凡”等  (x)P(x) 意指对论域D 中的所有个体都 具有性质P  命题 (x)P(x) 当且仅当对论域中的所有 x 来说，P(x) 均为真时方为真。 10 谓词与量词 例 假设个体x 的论域是全总个体域 “一切事物都是运动的”可以形式描述 为：(x)(x 是运动的) 若以 P(x)