05a数理逻辑总复习技术方案.pptVIP

数理逻辑单元总复习 原子命题、复合命题 命题变元、命题常量 命题联结词 定义合式公式 定义真值表 真值表的讨论 命题的定律 置换规则 证明命题公式等价 定义重言式、矛盾式 重言式、矛盾式相关的定理 重言式的证明 定义蕴含式 蕴含式的定理、性质 蕴含式的证明 其他联结词 定义对偶式 关于对偶式的定理 利用对偶式求命题的非 定义范式 定义主合取(析取)范式 求主合取(主析取)范式 范式的编码表示 定义谓词 谓词填式与命题 命题函数的定义 命题函数与谓词的关系 量词的引入 定义谓词公式 谓词公式的翻译 变元的辖域(作用域) 约束变元的换名 有限域中消去量词 定义谓词公式的等价 三类谓词公式 量词与“┓”的关系 量词与∧、∨的关系 双量词的顺序 谓词公式的前束范式 前束合取(析取)范式 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 补充例题 聪明绝顶 几种含义： 1、因为聪明而绝顶 2、因为绝顶而聪明 3、绝顶地聪明（聪明的程度） 4、所有的聪明人都是绝顶的（光头的） 5、所有绝顶的都是聪明人 如何运用谓词逻辑否定4、5两个命题？ 数学表达： 无穷性（无穷大、无穷小）： 任一个数，存在更大(小)的 唯一性：若存在两个，则必相等 存在量词和全称量词在翻译时的区别： 例：M(x)表示x是人，H(x)表示x要呼吸 有些人要呼吸：(?x)(M(x)∧H(x)) 所有人要呼吸：(?x)(M(x)?H(x)) 量词后面紧跟的变元在谓词公式中起作用的范围，叫该变元的辖域（或叫作用域） 被量词修饰的变元称为约束变元 约束变元在作用域中的每次出现叫约束出现 没被量词修饰的变元称为自由变元 自由变元在谓词公式中的出现叫自由出现 (?x)P(x)与(?y)P(y)意义相同，故可对约束变元进行换名； 注意： 换名的范围是该约束变元的辖域； 新名不要与谓词公式中已有的变元重名。 自由变元的改名叫代入。 约束变元的换名 自由变元的代入 若x的个体域是有限集{a1,a2,…,an}，则有： (?x)A(x) ? A(a1)∧A(a2)∧…∧A(an) (?x)A(x) ? A(a1)∨A(a2)∨…∨A(an) 注意： 量词的不同出现顺序有不同的意义 (?x)(?y)P(x,y)不同于(?y)(?x)P(x,y) 两个谓词公式A和B，若它们有共同的个体域E，且对A和B的任意一组变元进行赋值，所得的命题真值相同，则称谓词公式A和B在E上是等价的，记作A?B 谓词公式A在个体域E上的所有赋值都为真，则称谓词公式A在E上是有效的（永真的） 谓词公式A在个体域E上的所有赋值都为假，则称谓词公式A在E上是不可满足的（永假的） 谓词公式A在个体域E上的至少有一组赋值为真，则称谓词公式A在E上是可满足的 ┓? ? ?┓ ┓? ? ?┓ 在有限域上的证明：德.摩根律 (?x)(A(X)∧B(X)) ? (?x) A(X)∧(?x) B(X) (?x)(A(X)∨B(X)) ? (?x) A(X)∨(?x) B(X) 但 (?x)(A(X)∧B(X)) ? (?x) A(X)∧(?x) B(X) (?x) A(X)∨(?x) B(X) ? (?x) (A(X)∨B(X)) 多个量词的使用方法与双量词类似 全称量词和存在量词的顺序不能随意改变！ 一个谓词公式，如果量词都在整个式子的前头，其作用域延伸到整个谓词公式的末尾，这样的谓词公式叫前束范式。 定理： 任意一个谓词公式，都有一个与之等价的前束范式。 定理： 每一个谓词公式都可转化为与其等价的前束合取(析取)范式。 转化的步骤： 1）取消多余的量词 2）换名 3）消去条件、双条件联结词 4）将┑ 深入 5）将量词移至左边 翻译： 如果你走路时看书，那么你会成为近视眼。 解：令P：你走路；Q：你看书； R：你会成为近视眼。 于是，上述语句可表示为（P?Q）?R。 求G=?(R?P)?(Q?(P?R))主析取范式。 解：G =?(R?P)?(Q?(P?R)) =?(?R?P)?(Q?P)?(Q?R) =(?P?R)?(Q?P)?(Q?R) =((?P?R)?(?Q?Q))?((Q?P)?(?R?R))?( (Q?R)?(?P?P)) =(?P?Q?R)?(?P??Q?R)?(P?Q?R)?(P ?Q??R) 求G=(P?Q)?(?P?R)?(Q?R)主析取范式。 1 1 0 0 1 0 1 0 G 1 1 1 0 1 1 1 0 1