离散数学结构 第3章 命题逻辑的推理理论.docVIP

第3章 命题逻辑的推理理论 3.1 推理的形式结构 一、有效推理 ????数理逻辑的主要任务是用数学的方法来研究数学中的推理。所谓推理是指从前提出发推出结论的思维过程，而前提是已知命题公式集合，结论是从前提出发应用推理规则推出的命题公式。要研究推理就应该给出推理的形式结构，为此，首先应该明确什么样的推理是有效的或正确的。 ?定义3.1 设A1,A2,…,Ak和B都是命题公式，若对于A1,A2,…,Ak和B中出现的命题变项的任意一组赋值，或者A1∧A2 ∧…∧Ak为假，或者当A1∧A2 ∧…∧Ak为真时，B也为真，则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。 ????关于定义3.1还需要做以下几点说明： ????1．由前提A1,A2,…,Ak推结论B的推理是否正确与诸前提的排列次序无关。因而前提的公式不一定是序列，而是一个有限的公式集合，若将这个集合记为Г，可将由Г推B的推理记为Г├ B。若推理是正确的，则记为ГB，否则记为ГB。这里，可以称Г├B和{ A1,A2,…,Ak}├ B 为推理的形式结构。 ????2．设A1,A2,…,Ak，B中共出现n个命题变项，对于任何一组赋值α1,α2,…,αn(αi =0或者1，i=1,2,…,n)，前提和结论的取值情况有以下四种：????(1) A1∧A2 ∧…∧Ak为0，B为0.????(