命题逻辑-对偶与范式.pptVIP

第一章 命题逻辑§1—7 对偶与范式 要求：掌握对偶与范式（都针对受限公式），会求命题公式的主析取范式和主合取范式。 重点和难点：求命题公式的主析取范式和主合取范式。 复习命题定律。表1-4.8（都是受限公式） 1-7　对偶与范式一、对偶： 命题公式的最小联结词组为{?,∨}或{?,∧} ，但为方便，命题公式常同时包含{?,∨,∧} 。这样的公式∨与∧存在对偶规律。 上表中成对出现的定律就是对偶性质的反映，即对偶式。利用对偶式的命题定律，可以扩大等价式的个数，也可减少证明的次数。 1、对偶的定义：  在给定的命题公式（受限公式）中，将联结词∨换成∧ ，将∧换成∨ ，若有特殊变元F和T亦相互取代，所得公式A*称为A的对偶式 (dual) （(A*)* ? A ） 例题1:写出下列表达式的对偶式。 (P∨Q)∧R　　　　　　　　　　(A) (P∧Q)∨T　　　　　　　　　　(B) ?(P∨Q)∧(P∨?(Q∧?S))　　　 (C) 2、原式与其对偶式的关系 定理1-7-1(对偶定理) 设A和A*互为对偶式，P1，P2，…，Pn是出现在A和A* 中的原子命题变元，则 ① ?A(P1，P2，…，Pn)?A*(?P1，?P2，…，?Pn) ② A(?P1，?P2，…，?Pn)??A*(P1，P2，…，Pn) ①表明，公式A的否定等价于其命题变元否定的对偶式； ②表明，命题变元否定的公式等价于对偶式之否定。 证明:根据德·摩根定律： ?(P?Q)??P??Q ，?(P?Q)??P??Q ， 又因?T?F，?F?T， 这正好表明?应用于?（或?）上将原子命题变元换为他们否定的?（或?），故： ?A(P1,P2,…，P n )? A*(?P1，?P2，…，?P n)。 定理1-7-2 ：设P1，P2，…，Pn是出现在公式A和B中的所有原子变元，如果A ? B ，则A * ? B * 。 证明：设P1,P2,…,P n 是出现在A，B中的所有原子变元。 因A ? B ,即A(P1,P2,…，P n )? B(P1，P2，…，P n )， 故A(P1，P2，…，P n )? B(P1，P2，…，P n )是重言式。 故A(?P1,?P2,…,?P n）?B(?P1,?P2,…,?P n)也是重言式， 故A(?P1，?P2，…，?P n)?B(?P1，?P2，…，?P n)。 由定理1-1-7.1 A(?P1,?P2,…,?P n)?? A*(P1,P2,…,P n )， B(?P1,?P2,…,?Pn)??B*(P1,P2,…，Pn )， 由合式公式的等价具有传递性，可得 ?A*（P1，P2，…，Pn ）??B*(P1，P2，…，Pn )。 由§1-4习题9可知A*?B*。 有了等价式、代入规则、替换规则和对偶定理，便可以得到更多的永真式，证明更多的等价式，使化简命题公式更为方便。 二、范式(因每个公式的等价式都太多,所以需规范)（一）一般范式（不唯一）1、合取范式 定义1-7-2：一个命题公式称为合取范式（conjunctive normal form），当且仅当它具有型式： A1∧A2∧A3∧...∧An (n≥1) 其中A1，A2，…An都是由命题变元或其否定所组成的析取式。 2、析取范式 定义1-7-3:一个命题公式称为析取范式（disjunctive normal form），当且仅当它具有型式： A1∨A2∨...∨An (n≥1) 其中A1，A2，…An都是由命题变元或其否定所组成的合取式。 例如， 公式P，?Q，P?Q和?P?Q?P等都是简单合取式，而P，Q和?P为相应的简单合取式的合取项； 公式P，?Q，P?Q，?P?Q?P等都是简单析取式，而P，Q和?P为相应简单析取式的析取项。 注意，一个命题变元或其否定既可以是简单合取式，也可是简单析取式，如例中P，?Q等。 3、一般范式的求法 任何一个命题公式，求它的合取范式或析取范式，可以通过下面三个步骤进行： （1）将公式中的联结词化归成∧，∨及?。 （2）利用?(?P)?P和德·摩根律将否定符号?直接到各个命题变元之前。 （3）利用分配律、结合律将公式归约为合取范式或析取范式。 例题 3 求 (P∧(Q→R))→S 的合取范式。 解： 例题 4 求 ?(P∨Q) ? ((P∧Q) 的析取范式。 解：  4.范式的应用 利用析取范式和合取范式可对公式进行判定。 *定理1.6.4 公式A为永假式的充要条件是A 的析取范式中每个简单合取式至少包含一个命题变元及其否定。