第4节 谓词逻辑23.pptVIP

数理逻辑 考试时间：1月11日上午8:00-10:00 考试地点：2-201 4.2 摩状词 4.2 摩状词 4.2.0 摹状词(一) 摹状词就是表述独具某种性质的特定事物的语词 摹状词具备两个特点： 它指称的事物应当是惟一的 它所揭示的一事物的某种性质应当是该事物独有的 如： (1)集合论的创立者 (2)世界上最高的山峰 (3)15 和 27 的最大公约数 (4)张三家的那头牛。 4.2.0 摹状词翻译(一) 摹状词的结构是 形容词 +普通名词 指示代词 +形容词 +普通名词在数理逻辑中 摹状词的一般形式(即符号化的摹状词)是 LxFx 意即：“那个惟一具有性质 F 的个体 x” L 是逻辑常项，含意为：这(或那)个 4.2.0 摹状词翻译(二) 含有摹状词的命题翻译 (6)张三家的那头牛是壮的 令：“G”表示“是张三家的牛”，“F”表示“是壮的” 译：FLxGx 读：那头张三家的牛是壮的 (7)世界上最高的山峰在中国 令：“H”表示“是世界上最高的山峰”，“E”表示“在中国” 译：ELxHx 读：那座世界上最高的山峰在中国 4.2.1 摹状词命题真值(一) 含有摹状词的命题，它们的真假要比一般命题的真假稍为复杂些 只有在 (a)张三家至少有一头牛 (b)张三家只有一头牛 (c)那头牛是壮的 这三种情况同时存在时，(6)上式为真 当 (a′)张三家没有牛 (b′)张三家有好几头牛 (c′)那头牛不是壮的 这三种情况之一存在，(6)则上式为假 4.2.1 摹状词命题真值(二) 根据以上分析，(6)或(6′)的否定应当是(a′)、(b′)和(c′)这三种情况的析取 不应当简单地断定为 (8)张三家的那头牛不是壮的 即?FLxGx不是 FLxGx的否定 如果认为(8)( p)就是(6)(?p)的否定则 p∨?p 永真 但是，倘若事实上张三家没有牛，则(6)和(8)都不是真的(是无意义的)，因而p∨?p也不是真的。这样就导致了悖论 4.2.1 摹状词命题真值(三) (6)的否定应是(a′)、(b′)和(c′)的析取，或者简单地就是 (9)并非张三家的那头牛是壮的。其相应的符号是(9′) ?(FLxGx) 如果不用摹状词符号而用一般的谓词公式符号翻译命题(6)： (10) ?x(Gx∧?y(Gy→y=x)∧Fx) (10)读：“有个体是张三家的牛，且对所有个体而言，如果它是张三家的牛那么它就是该个体，且该个体是壮的 (10)蕴涵了情况(a)、(b)、(c) 4.2.1 摹状词命题真值(四) 命题(8)的相应公式是： (11) ?x(Gx∧?y(Gy→y=x)∧?Fx 可以看出(11)不是(10)的否定 所以(8)不是(6)的否定 命题(9)的相应的公式： (12)??x(Gx∧?y(Gy→y=x)∧Fx (12)是(10)的否定 对于摹状词使用上的分歧，都集中在当使得 Fx成立的惟一的 x不存在时，怎样处理 LxFx的问题上 4.2 摩状词 4.3.0 谓词命题解释(一) 由于原子公式的真假与量词的使用和个体变项的变化范围有很大关系 量词的使用 若 Fx表示 x吃肉 (?x)Fx是假的 (?x)Fx却是真的 个体变项的变化范围 如果确定 x的变化范围为整个老虎的集合 ?xFx是真的 如果确定 x 的变化范围是牛的集合 ?xFx是假的 不能简单地给原子公式指派以真假来判定公式是否为重言式 对于谓词演算中的公式，采用解释的方法来判定论证是否有效，判定前提是否协调 4.3.0 谓词命题解释(二) (?x)Fx，(?x) Fx的有关解释的有关规则： 第一，把解释域 D 确定下来 第二，原公式 Q 中的量词(存在、全称)和联结词保持不变，但在 Q 的解释 P 中量词仅对 D 而言 第三，把 Q 中的谓词解释成 D 上的谓词，即谓词的解释一定要使解释域中的东西或真或假 4.3.0 谓词命题解释(三) 假定解释域是鱼，谓词却解释成“是聪明的”，这就不能使解释域中的元素有真有假，因为我们既不能说“鱼是聪明的”是真，也不能说它是假 一元谓词解释成一元谓词，二元谓词解释成二元谓词 谓词“ =”一般是不加解释的，就是说“ =”在解释语句 P 中，仍表示两个个体的同一关系 第四，假如把谓词解释成演算符，或者原公式中本来就有运算符的话，那么，解释后的语句的运算符的运算始终不超过解释域内所包含的元素范围 4.3.0 谓词命题解释(四) 规定解释域为正整数，那就不能把 xQy解释为 x减去 y，因为这样减的结果有可能导致负的，从而超出 D 域元素范围 谓词和运算符是有区别的，其区别在于：D 上的谓词的定义域为 D，值域是真或假，而 D 上的运算符的定义域是解释域 D，值域也是解释域 D。 第五，命题中的自由变项和专有名词在 P 中都应当解释为专