《离散数学》03 命题逻辑的推理理论 教学课件.pptx

第3章命题逻辑的推理理论;3.1推理的形式结构;定义3.1设A1,A2,…,Ak和B都是命题公式，若对于A1,A2,…,Ak和B中出现的命题变项的组赋值，

（1）或者A1∧A2∧…∧Ak为假;

（2）或者当A1∧A2∧…∧Ak为真时，B也为真;

则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。;关推理的说明;关推理的说明;?(1){p,p→q}├q

?(2){p,q→p}├q;定理3.1命题公式A1,A2,…,Ak推B的推理正确当且仅当

(A1∧A2∧…∧Ak)→B为重言式。;定理3.1的证明;当推理正确时，

形式（1）