离散数学课件作者杨圣洪张英杰陈义明章节1命题逻辑.pptVIP

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