1-8推理理论.pptVIP

第一章 命题逻辑第6、7讲 §1—8 推理理论 要求：能够熟练地进行命题逻辑的推理。 重点：有效结论的概念（一个结论可由一组前提逻辑地推出），有效结论的推演。 难点：利用推理规则(P,T,CP)、已知的等价式(表１－８.4)和蕴含式(表１－８.３）推演得到有效结论。 但也有一些推理，只需分析假设中的真值和联结词，便可获得结论。（如，若太阳从西边出，则我不喝酒。太阳从西边出，因此我不喝酒。） 注意，必须把推理的有效性和结论的真实性区别开。有效的推理不一定产生真实的结论，产生真实结论的推理过程未必一定是有效的。再说，有效的推理中可能包含假的前提；而无效的推理却可能包含真的前提。这里最关心的不是结论的真实性而是推理的有效性。前提的实际真值不作为确定推理有效性的依据。但是，如果前提全是真，则有效结论也应该真而绝非假。 一、有效结论 1. 定义 定义1-8.1 设A和C是两个命题公式，当且仅当A→C为一重言式，即A ? C，称C是A的有效结论。或C可由A逻辑地推出。 二、证明方法:基本方法是 1.真值表法(变元不太多时用： A→C为一重言式（一般不用）；前真看后真；后假看前假） 2.直接证法 3.间接证法（反证法（当结论是“∨”；“→”；“┐”时较易）与CP规则法（ 结论为R → C或┐ R ∨ C时使用）） 法２