离散数学 作者 杨圣洪 张英杰 陈义明 ch1命题逻辑.ppt

参考“真值表”，设计如下的判断表 1.6 推理理论 从已知条件、假设、前提或公理出发，根据推理规则推出结论、定理的过程，称为推理 。 定义1 设A与C是两个命题公式，若A?C为永真式(重言式)，则称C是A的有效结论，或称A可以逻辑推出C，记为A?C. 由“?”的定义可知，当A为假时，A?C肯定为真，故只要考虑A为真时C是否为真即可，故有: 定义2 设A与C是两个命题公式，若当A为真时C也为真，则称C是A的有效结论，或称A可以逻辑推出C，记为A?C。 一般情况下，利用定义2去证明要简单些，我们在其他学科中遇到的证明都是基于定义2的。 判断A?C为永真可用等值演算、真值表等方法 例题 求证：A?(A?B)?B (A?(A?B)) ?B ??(A?(A?B))?B (?的等值式) ?? (A?(?A?B))?B (?的等值式) ? ? ((A??A)?(A?B))?B (分配律) ?? (0?(A?B))?B (合取的性质) ?? (A?B)?B (析取的性质) ?(?A??B)?B (德摩律) ??A?(?B?B) (结合律) ??A?1 (析取的性质) ? 1 (析取的性质) 所以(A?(A?B)) ?B是重言式，真值表也证永真 所以A?(A?B)?B。这是有名的“假言推理(modus ponens)”，或“分离原则” 假如我今年进入年级前10名老爸给我买iphone 4; 期末考试后我为年级第8名，所以老爸应该给我买iphone4。这是假言推理。 A?(A?B)?B 从形式上看，结论B是A?B的后件，推导的结果是将后件分离出来，故也称为分离原则。 利用假言推理规则或分离规则，结合析取、合取、否定的定义，只要不歉麻烦，几乎可推出所有的结论。 为了提高推理效率，还需要学习、掌握某些推理规则。 例题 求证 A?A?B 采用定义1来证明，即证明A?A?B为永真式。 A?A?B ??A?(A?B) (?的等值式) ?(?A?A)?B (结合律) ?1?B (析取的性质) ?1 (析取的性质) 所以A?A?B 例题 求证 A?B?A A?B?A ??(A?B)?A (?的等值式) ?(?A??B)?A (德摩律) ??A??B?A (结合律) ?1??B (析取的性质) ?1 (析取的性质) 类似 A?B?B 根据?的定义可知A?B为真时，A与B均为真，因此由推理定义2可知 A?B?A， A?B? B 。 同样由?的定义可知A为真时 A?B为真，故由推理定义2可知A?A?B。 然这3个推理式不必记忆！推理定义2效率较高 例题 求证 (A?B)?(B?C)?(A?C) 根据定义1，要证明下式为永真式。 (A?B)?(B?C) ? (A?C) ??((A?B)?(B?C)) ?(A?C) (?的等值式) ??((?A?B)?( ?B?C)) ?(?A?C) (?的等值式) ?((A??B) ? (B??C)) ?(?A?C) (德摩律) ?((A? B)?(A? ?C )?(?B ? B) ?(?B??C)) ?(?A?C) (分配律) ?((A? B)?(A? ?C )?1?(?B??C)) ?(?A?C) (析取的性质) ?((A? B)?(A? ?C )?(?B??C)) ?(?A?C) (析取的性质) ?(A? B??A?C)?(A? ?C??A?C )?(?B??C??A?C) (分配律) ?(1? B?C)?(1? ?C?C )?(?B??A?1) (析取的性质) ?1?1?1 (析取的性质) ?1 (析取的性质) 判断公式的类型，除等值演算外，还有真值表与范式等方法。 例题 求证 (A?B)?(B?C)?(A?C) 由上表可知， (A?B)?(B?C) ? (A?C) 为重言式， 由定义1可知(A?B)?(B?C)? (A?C)。 这是有名的传递律，要记住呀！ 例题 求证 (A?B)?(C?D)?(A?C)?B?D 利用定义1证明了假言推理规则(A?B)?A?B,传递规则(A?B)?(B?C)?(A?C)。 有了这2条规则后,可用定义2来证明推理式了。 由于这2条规则的结论中没有析取式，只有条件式，因此将