离散数学discrete2C编纂.docVIP

7. 命题逻辑的推理理论 命题逻辑的推理理论就是利用命题逻辑公式研究什么是有效的推理? 推理是从前提出发推出结论的思维过程,前提是已知的命题公式,结论是从前提出发应用推理规则推出的命题公式? 如果前提是真命题,从前提出发推出结论的推理过程严格遵守推理规则,则推出的结论也是真命题? 在命题逻辑中,不注重前提和结论的真假性,而关心从前提推出结论的推理过程的正确性,即主要研究推理的规则? 【定义1.35】称蕴涵式(A1(A2(…(Ak)(B为推理的形式结构,A1, A2, …, Ak为推理的前提,B为推理的结论?若(A1(A2(…(Ak)(B为永真式,则称从前提A1, A2, …, Ak推出结论B的推理正确(或说有效),B是A1, A2, …, Ak的逻辑结论或称有效结论,否则称推理不正确?若从前提A1, A2, …, Ak推出结论B的推理正确,则记为(A1(A2(…(Ak)(B? 直观地看,(A1(A2(…(Ak)(B就是说,如果A1, A2, …, Ak都正确,则B也正确? 判断推理是否正确就是验证相应的蕴涵式是否是永真式,其方法包括: ·使用真值表 ·等值演算法 ·求主析取范式法 【例子1.12】教材p39例1.23,要点:将各种命题符号化,然后使用上述各种方法判断相应的蕴涵式是否是永真式? 【定义1.36】证明是一个描述推理过程的命题公式序列A1, A2, …, An