交大数理逻辑课件4-2 谓词逻辑的基本概念.pptVIP

第4章 谓词逻辑的基本概念 4.1 谓词和个体词 4.2 函数和谓词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(?x)P(x)、(?x)P(x) 的表示法 4.6 公式的普遍有效性和判定问题 4.4 自然语句的形式化 “函数f (x)在[a, b]上的点x0处连续”的形式描述 d-e的说法表述为---- 设f(x)在点x0的某一邻域[a, b]有定义，若对于任意e 0, 总存在着正数d，使得对于适合|x-x0| d 的一切x，所对应的f (x)都满足|f (x)- f (x0)|e，则称函数f (x)在点x0连续。 解：注意到题目中没给个体域, 一律用全总个体域 形式化为： (?e)(e0?(?d)(d0?(?x)(|x-x0|d?|f (x)-f (x0)|e))) 自然语句的形式化 在《数学分析》中极限定义为： 任给小正数e ，则存在一个正数d ，使得当 0|x-a| d 时有 |f (x)-b|e。此时即称 解1: (?e)(e0?(?d)(?x)(d0? (0|x-a|d?|f (x)-b|e))) 解2：设 P(x, y)：xy, Q(x, y)：xy 该命题符号化为： (?e)(?d)(?x)(((P(e,0)→P(d,0))∧Q(|x-a|,d)∧P(|x-a|, 0)) →Q(|f (x)-b|, e)) 在使用量词时，应注意以下特点 个体域和谓词的含义确定之后，n元命题函数要转化为命题至少需要n个量词。 当个体域为有限集时，如D={a1,a2,a3,….an}。 对于任意谓词，都有 ?x A(x)=A(a1) ? A(a2) ?…… ? A(an) ?x A(x)=A(a1) ? A(a2) ? …… ? A(an) 这实际上是将一阶逻辑中命题公式转化为命题逻辑中的命题公式问题。 对谓词变元多次量化的分析 设P(x, y)是二元谓词，则两变元的量化形式为： (?x)(?y)P(x, y)= (?x)((?y)P(x, y)) 对一切的x和一切的y, 都有关系P，量词次序可互换 (?x)(?y)P(x, y)= (?x)((?y)P(x, y)) 对一切的x，都有y具有关系P，量词次序不可互换 (?x)(?y)P(x, y)= (?x)((?y)P(x, y)) 有一个x，对所有的y有关系P，量词次序不可互换 (?x)(?y)P(x, y)= (?x)((?y)P(x, y)) 有一个x，有一个y, 具有关系P，量词次序可互换 4.5 有限域下公式(?x)P(x)、(?x)P(x) 的表示法 设个体域为有限集，用{1,2,…,k}来代表。 对于任意谓词，都有 ?x P(x)=P(1) ? P(2) ?… ? P(k) 即全称量词?是合取词?的推广 在任意域下，全称量词相当于无限个合取词的作用 ?x P(x)=P(1) ? P(2) ? … ? P(k) 即存在量词? 是析取词? 的推广 在任意域下，存在量词相当于无限个析取词的作用 4.5.2 在域{1, 2}上多次量化公式 (?x)(?y)P(x, y) = (?y)P(1, y) ? (?y) P(2, y) =P(1, 1) ? P(1, 2) ? P(2, 1) ? P(2, 2) ($x)($y)P(x, y) = (?y)P(1, y) ? (?y) P(2, y) =P(1, 1) ? P(1, 2) ?P(2, 1) ? P(2, 2) 在域{1, 2}上多次量化公式 ($x)(?y)P(x, y) = (?y)P(1, y) ? (?y) P(2, y) =(P(1, 1) ? P (1, 2) ) ?(P(2, 1) ? P (2, 2)) (?y)($x)P(x, y) = ($x)P(x, 1) ? ($x) P(x, 2) =(P(1, 1) ? P (2, 1)) ?(P(1, 2) ? P (2, 2)) =(P(1, 1) ? P (1, 2)) ? (P(1, 1) ? P (2, 2) ) ? (P(2, 1) ? P (1, 2)) ? (P(2, 1) ? P (2, 2)) =($x)(?y)P(x, y)?(P(1,1)?P(2, 2))?(P(2,1)?P (2,2)) ($x)(?y) P(x, y) T(?y)($x) P(x, y) 4.5.3 {1,2}域上谓词公式的解释 定义： 解释I由下面4部分组成： (a)?非空个体域D（此处D={1，2}） (b)?D中一些特定元素的集合 (c)?D上特定函数集合 (d)?D上特定