谓词逻辑的基本概念.ppt

4.4.5 自然数集的形式描述 论域是自然数集，来形式化语句． (1)对每个数，有且仅有一个相继后元， (2)没有这样的数，O是其相继后元． (3)对除O而外的数，有且仅有一个相继前元(可将这三句话作为建立自然数集合的公理)． 引入谓词E(x,y)表示x＝y，函数f(x)表示个体x的相继后元，即f(x)=x+1．函数g(x)表示个体x的相继前元，即g(x)＝x-1. 对语句1需注意唯一性的描述，常用的办法是如果有两个则它们必相等，即若对每个x都存在y，y是x的相继后元，且对任一Z，如果它也是x的相继后元，那么y，z必相等． 于是对语句1存在唯一性的描述为 对语句3需注意的是对“除0而外”的描述，可理解为如果x≠0．则……的形式，于是语句3可描述为 语句2的描述是简单的，可写成 4.4.6 “至少有一偶数是素数”与“至少有一偶数并且至少有一素数”的形式化 需注意两者的区别，分别形式描述为 这两个逻辑公式并不等值． 同样，“一切事物它或是生物或是非生物”与“或者一切事物都是生物，或者一切事物都是非生物”的形式化也是不同的，可分别形式描述为 这两个逻辑公式也不等值． 再有“一切素数都是奇数”与“若一切事物都是素数，那么一切事物都是奇数”的形式化分别是 两者也不等值． 4.4.7 积木世界的形式描述 如图所示三块积木A，B，C放在桌子上 相对位置可如下描述： ON(C，A) 表示C在A上， ONTABLE(A) 表示A在桌子上． ONTABLE(B) 表示B在桌子上， CLEAR(C) 表示C上无积木块． CLEAR(B) 表示B上无积木块． 表示，对任一x，如果x上无积木，那么没有y在x上，这表明了谓词CLEAR，ON的关系． 4.4.8 一段话的形式描述 “张三在计算机系工作，李四是计算机系的领导人员．如果y在计算机系工作，而z是计算机系的领导，那么z是y的上级”这段话的形式描述为 WORKS-IN(计算机系，张三) MANAGER(计算机系，李四) 4.4.9 “函数f(x)在[a，b]上的点x。处连续”的形式描述 4.4.10 对谓词变元多次量化的分析 设P(x，y)是二元谓词，对两个变元的量化可得4种形式． (1) 显然有 (2) 注意： 不可交换 如P(x，y)表x+y＝0，论域D1为实数．这时： 对x1 D1 ，有y1 D1 使x1+y1=0． 对x2 D1 ，有y2 D1 使x2+y2＝0． 从而 P(x，y)＝T，这里对x1有y1，对x2有y2，…，并不要求y1=y2=…． (3) 显然这与 是不同的 如P(x，y)表x·y＝0，论域为实数．取x＝0时，对所有的y均有x·y=0成立，从而有 P(x，y)＝T． (4) 显然有 自然语言形式化小结 对更多个量词的情形可同样分析． 这一节介绍了一些具体语句的形式化，都具有一般性，特别是对“所有的……都是……”，“有的……是……”的形式描述是最基本的格式． 通过这些例子，也可看出谓词逻辑的广泛的表达能力． 4.5 有限域下公式 的表示法 我们曾约定个体变元的论域是包含一切事物的集合，由于论域的无限性，给公式真值的讨论带来了复杂性，今将论域限定为有限集，为方便又不失一般性，用{1，2，…，k}来代表，这时来重新认识一下全称量词和存在量词． 4.5.1 论域为有限域时的公式表示法 按定义 就是一切x都具有性质P，或说对—切x，P(x)都成立．论域D1＝{1，2，…，k}时，就是说P(1)，P(2)，…，P(k)都成立，自然有 也就是说，全称量词 乃是合取词^的推广．有限域下， 就化成了由合取词描述的命题逻辑的公式．在任意域下，全称量词的作用“相当于”无限个合取词的作用． 同样，存在量词 乃是析取词V的推广．有限域下 就化成了由析取词描述的命题逻辑的公式．在任意域下，存在量词的作用“相当于”无限个析取词的作用． 严格地说，在无穷集{1，2，…，k，…}上 都是没有定义的，不是合式公式． 一般地说，谓词逻辑的公式不能转换为命题逻辑公式． 4.5.2 在域{1，2}上多次量化公式 对有的谓词公式难于理解时，可在有限域{1，2}上转换成命题逻辑公式做些分析，常会帮助理解． 4.5.2 域{1，2}上谓词公式的解释 谓词逻辑里公式的一个解释，比命题逻辑要复杂得多．在已知的论域下，需对公式中所含的命题变项、自由个体变项、谓词变项以及函数给出一个具体的设定才