离散数学第2章谓词逻辑＿2＿3节.pptVIP

2-2 命题函数与量词 一、命题函数 1、命题函数 客体在谓词表达式中可以是任意的名词等。 单独一个谓词不是命题，只有当这个谓词后面紧跟具体客体后才是命题。 例，设P表示“是大学生”， a:张三，b:老虎，c：桌子。 则P(a)、 P(b)和P(c)均表达了命题。 P表示“是大学生”，x表示变元(客体变元)，则P(x)表示“x是大学生”,，称P(x)是命题函数，P(x)不是命题。 命题函数 命题函数分为简单命题函数与复合命题函数。 定义2-2.1：简单命题函数： 一个谓词，一些客体变元组成的表达式，实质是n元谓词P(x1,x2,…,xn)。 0元谓词：命题函数P(x1,x2,…,xn)中n=0，表示不含有客体变元的谓词，它本身就是一个命题变元。 规定：若用任何具体客体去取代客体变元之后，则命题函数就变为命题。 复合命题函数。将若干个简单命题函数用逻辑联结词联结起来，构成的表达式，称之为复合命题函数。 逻辑联结词┐、∧、∨、→、 ? 的意义与命题演算中的解释完全类似。 n元谓词就是有n个客体变元的命题函数。 将命题函数→命题的两种方法 1）将变元取定具体的值，如P(a),P(b)。 2）将谓词量化。如(?x)P(x), (?x)P(x)。 命题函数举例 例.设S(x)表示“x学习很好”, W(x)表示“x工作很 好”, A(x)表示“ x身体好” ?S(x) 表示“x学习不是很好”, S(x) ∧W(x) 表示“x学习和工作都很好”。 ?A(x)→(?S(x)∧?W(x)) 表示“如果x身体不好，则x的学习与工作都不会好”。 S(x), W(x)是简单命题函数, 而?S(x), S(x)?W(x), ?A(x)→(?S(x)∧?W(x))是复合命题函数。 2、个体域 (论域) 命题函数不是一个命题，只有客体变元取特定名称时，才能成为一个命题。 定义2-2.2 个体域（论域）：在命题函数中，客体变元的取值范围称为个体域（论域）。 客体变元在哪些范围内取特定的值，对是否成为命题及命题的真值极有影响。 例P(x): x是大学生, 若x在某大学的一个班级内取,则P(x)为真。 若x在某中学的一个班级内取,则P(x)为假。 若x在一个剧场中的观众内取,则P(x)真假不定。 个体域 (论域) 个体域的给定形式有两种： （1）具体给定。 如：{a,b,c} （2）全总个体域/任意域。 所有个体域的总和，即世间一切万物的主体。 3、量词：在命题中表示客体数量的词，称之为量词。 例 存在一个人。 M(x):x是人。 (?x) M(x) (?x)P(x) x∈ {老虎} (?x)Q(x) x∈{大学生} (?x)R(x) x∈{人} (?x) S(x) x∈{人} (?x) T(x) x∈{自然数}。 不便之处 从书写上十分不便，总要特别注明个体域； 无法清晰表达不同的个体域：在同一个比较复杂的句子中，对于不同命题函数中的客体可能属于不同的个体域，此时无法清晰表达； 如例 (1)和(4)的合取 (?x)P(x)∧ (?x) R(x) 不便之处(续) 若个体域的注明不清楚，将造成无法确定其真值。即对于同一个n元谓词，不同的个体域有可能带来不同的真值。 例如 对于语句“ (?x) (x+6 = 5)”可表示为： “有一些x，使得x+6 = 5”。 该语句在下面两种个体域下有不同的真值： (1)在实数范围内时，确有x=-1使得x+6=5，因此， (?x) (x+6 = 5)为“真”； (2)在正整数范围内时，则找不到任何x，使得x+6=5为“真”，所以，(?x)(x+6=5)为“假”。 不便之处的根源 特性谓词 特性谓词的例子 含义：“对于任意的x（全总论域），如果x是老虎，则x会吃人。 若P(x)：x会吃人。 U(x)：x是老虎。 则符号化的正确形式应该是 (?x)(U(x)→P(x)) 特性谓词的例子（续） 有一些大学生吸烟。 它的含义是：“存在一些x, x是大学生，且x吸烟”， S(x)：x吸烟。 U(x)：x是大学生。 则符号化的正确形式应该是 (?x) （U(x)∧S(x)) 例 Q(x):x会说英语。U(x):x是大学生。 (?x) (U(x) → Q(x)) T(x)：x是素数。U(x)：x是自然数。 (?x)(U(x)∧ T(x)) 谓词逻辑符号化的两条规则 统一个体域为全总个体域，而对每一个句子中客体变量的变化范围用一元特性谓词刻划之。这种特性谓词在加入到命题函数中时必定遵循如下原则： 带量词的公式在论域内的展开式 个体域有限时,去掉量词公式，当个体域有限时，如个体