元或说作为原子来看待的,不再对简单命题的内部结构进.pptVIP

形式化 于是对语句1存在唯一性的描述为 对语句3需注意的是对“除0而外”的描述，可理解为如果x≠0．则……的形式，于是语句3可描述为 语句2的描述是简单的，可写成 4.4.6 “至少有一偶数是素数”与 “至少有一偶数并且至少有一素数”的形式化 需注意两者的区别，分别形式描述为 这两个逻辑公式并不等值 注：D={3, 4} 同样，“一切事物它或是生物或是非生物”与“或者一切事物都是生物，或者一切事物都是非生物”的形式化也是不同的，可分别形式描述为 这两个逻辑公式也不等值 形式化 再有“一切素数都是奇数”与“若一切事物都是素数，那么一切事物都是奇数”的形式化分别是 两者也不等值 注：D={2, 4} 4.4.7 积木世界的形式描述 如图所示三块积木A，B，C放在桌子上 形式化 相对位置可如下描述： ON(C, A) 表示C在A上. ON(A, TABLE) 表示A在桌子上. ON(B, TABLE) 表示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]上的点x0处连续”的形式描述 注：“函数f(x)在[a, b]上的点x0处连续”的定义 设f(x)在某邻域N(x0, δ)内有定义，若对任一ε0存在δ0使得当|x-x0|δ时有|f(x)-f(x0)|ε，则称函数f(x)在点x0处连续 4.4.10 对谓词变元多次量化的分析 设P(x，y)是二元谓词，对两个变元的量化可得4种形式 显然, ?x和?y可交换, 有 注意：?x和?y不可交换且y是x的函数, 或者说y依赖于x 如P(x，y)表x+y＝0，论域D1为实数．这时： 对x1∈D1 ，有y1∈D1 使x1+y1=0 对x2∈D1 ，有y2∈D1 使x2+y2＝0 从而(?x)(?y)P(x, y)＝T，这里对x1有y1，对x2有y2，…，并不要求y1=y2=… 形式化 (3) 显然这与 (?y)(?x)P(x, y)是不同的 如P(x，y)表示x·y＝0，论域为实数．取x＝0时，对所有的y均有x·y=0成立，从而有 (?x)(?y)P(x，y)＝T 所以?x和?y不可交换 (4) 显然?x和?y可交换，有 自然语言形式化小结 对更多个量词的情形可同样分析 这一节介绍了一些具体语句的形式化，都具有一般性，特别是对“所有的……都是……”，“有的……是……”的形式描述是最基本的格式 通过这些例子，也可看出谓词逻辑的广泛的表达能力 4.5 有限域下公式(?x)P(x), (?x)P(x)的表示法 我们曾约定个体变元的论域是包含一切事物的集合，由于论域的无限性，给公式真值的讨论带来了复杂性 现将论域限定为有限集，为方便又不失一般性，用{1，2，…，k}来代表，这时来重新认识一下全称量词和存在量词 4.5.1 论域为有限域时的公式表示法 按定义，(?x)P(x)就是一切x都具有性质P，或说对一切x，P(x)都成立．论域D1＝{1，2，…，k}时，就是说P(1)，P(2)，…，P(k)都成立，自然有 即，全称量词?乃是合取词^的推广．有限域下， (?x)P(x)就化成了由合取词描述的命题逻辑的公式．在任意域下，全称量词的作用“相当于”无限个合取词的作用 同样，存在量词?乃是析取词V的推广．有限域下， (?x)P(x) 就化成了由析取词描述的命题逻辑的公式．在任意域下，存在量词的作用“相当于”无限个析取词的作用 公式表示法 严格地说，在无穷集{1，2，…，k，…}上 都是没有定义的，不是合式公式 一般地说，谓词逻辑的公式不能转换为命题逻辑公式 4.5.2 在域{1，2}上多次量化公式 对有的谓词公式难于理解时，可在有限域{1，2}上转换成命题逻辑公式做些分析，常会帮助理解 注意上式右侧含意：x是y的函数 4.5.3 域{1，2}上谓词公式的解释 谓词逻辑里公式的一个解释，比命题逻辑要复杂得多 在已知的论域下，需对公式中所含的命题变项、自由个体变项、谓词变项以及函数给出一个具体的设定才构成该公式的一个解释I，在I下该公式有确定的真值．下面在论域{1，2}上讨论 对公式(?x)P(x)的一个解释 在该解释下(?x)P(x)=F 特点: 设定谓词变项 对公式