课件：湖南大学离散数学教案命题逻辑.pptVIP

1.7消解规则 例题 (A?B)?(C?D)?(?B??D)?A??C 利用条件式的等值式，则此题等价于证明 (?A?B)?(?C?D)?(?B??D)??A??C (1) (?A?B)为真 前提条件 (2) (?B??D)为真 前提条件 (3) ?A??D为真 当(1)(2)为真消解式?A??D为真 (4) ?C?D为真 前提条件 (5) ?A??C为真 当(3)(4)为真消解式?A??C为真 采用假言推理原则时，尽可能将析取转换为条件式。 采用消解法时，尽可能将条件式转换为析取。 消解法是一种高效的方法。 消解法可完成1.6节中所有推理式 1.7消解规则 采用定传递律证明了(A?C)?(B??C)?A?B 因A?B? ?A?B,故可用假言推理及CP原则证明 (1) ?A为真 附加前提 (2) (A?C)为真 前提条件 (3) ?A? C为真 与(1)等值 (4) C为真 (1)(3)假言推理 (5) B ? ?C 为真 前提条件 (6)C?B为真 与(4)等值 (7) B为真 (4)(6)假言推理 用假言推理证明了消解规则，反过来 用消解规则可证明假言推理 1.7消解规则 用假言推理证明了消解规则证明了 (A?C)?(B??C)?A?B 反过来，用消解规则可证明假言推理 A?(A?B)?B A?B为真 前提条件 ?A ?B为真 与(1)等值 A为真 前提条件 B为真 (2)(3)消解得到 “假言推理”与“消解规则”可以互相推出，因此一方推出的结论另一方也可以推出 因此习题三可由消解规则推导出来呀 THANK YOU SUCCESS * * 可编辑 1.4 析取范式与合取范式 通过真值表可以实现！为此先研究小项与大项的性质，下表是各小项的真值表。 1. 3个变元的小项共有8个，它们各不相同。 2.从每一行来看，命题变元的每个指派中，只有一个小项的值为1。 3.从每一列来看，每个小项仅在一个指派中值为1，其余7种指派中均为0。 4.小项值为1(如?p??q??r=1)时，?p,?q,?r均为1，即(p,q,r)=(0,0,0)，取该值为小项编号，如最后一行。 (5)根据小项的编号，可写出小项的具体形式。 如小项m101，其编号为101，表示(p,q,r)=(1,0,1)时该小项的值为1，而小项是文字的合取，故小项的各个文字必须为1,则文字只能是p、?q、r,故该小项为p??q?r。 规则：1对应变元本身(如p)，0对应其否定(如?p) 。 如m00为?p??q、m01为?p?q、m10为p??q、m11为p?q。 很重要！ (1)三个变元的大项共有8个。 (2) 每一行:每个指派中，只有一个大项的值为0。 (3)每一列:每个大项仅在一个指派下值为0。 (4)大项值为0(如?p??q??r=0) 时，?p、?q、?r均为0，则(p,q,r)=(1,1,1)，将其记为大项编号,如表最后行。 (5)根据大项的编号，可写出大项的具体形式。 如大项M101,其编号为101，表示(p,q,r)=(1,0,1)时该大项的值为0，而大项是文字的析取，故各个文字必须为0，文字只能是?p、q、?r，故该大项为?p?q??r。 规则：1对应变元的否定(如?p)，0对应变元(如p) 如M00为p?q,M01为p??q,M10为?p?q, M11为?p??q。 1.4 析取范式与合取范式—获取方法 1、先转换析取式或合取式，再合取1或析取0。 2、先建立真值表， 取出所有成真赋值对应的小项，析取所有小项得主析取范式。小项与成真赋值对应。 取出所有成假赋值对应的大项，合取所有大项得主合取范式。大项与成假赋值对应。 如用真值表求主范式: (p?q)?r, p?q, p?q, ?(p?q)?q,p?(p?q) (p?q) ?r的主析取范式、主合取范式 主析取范式 ?公式值为1的指派对应小项的析取 m001? m011? m100? m111 1变元,0变元否定, 使小项=1 (?p??q?r)? (?p?q?r)?(p??q??r)?( p?q?r) (p?q) ?r的主析取范式、主合取范式 主合取式范式 ?公式值为0的指派对应大项的合取 ? M000? M010? M101? M110 1变元否定0变元,使大项=0 (p?q?r)?( p??q?r)?( ?p?q??r)?( ?p??q?r) (p?q)?r、与其主析取范式、主合取范式的真值完全一样，说明三者互相等值，一般情况下有如下定理 ： (1)不是永假的命题公式，有等值的