命题逻辑的推理理论5.pptVIP

命题逻辑的推理理论;数理逻辑的主要任务是用数学的方法来研究数学中的推理。 推理是指从前提出发推出结论的思维过程。 前提是已知命题公式集合。 结论是从前提出发应用推理规则推出的命题公式。 证明是描述推理正确或错误的过程。 要研究推理，首先应该明确什么样的推理是有效的或正确的。;定义1.24 设A1,A2,…,Ak和B都是命题公式，若对于A1,A2,…,Ak和B中出现的命题变项的任意一组赋值，（1）或者A1∧A2 ∧…∧Ak为假;（2）或者当A1∧A2 ∧…∧Ak为真时，B也为真;则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。 ;关于有效推理的说明;设A1，A2，…，Ak，B中共出现n个命题变项，对于任何一组赋值α1α2…αn(αi=0或者1，i=1,2,…,n)，前提和结论的取值情况有以下四种： (1) A1∧A2 ∧…∧Ak为0，B为0。(2) A1∧A2 ∧…∧Ak为0，B为1。(3) A1∧A2 ∧…∧Ak为1，B为0。(4) A1∧A2 ∧…∧Ak为1，B为1。 只要不出现(3)中的情况，推理就是正确的，因而判断推理是否正确，就是判断是否会出现(3)中的情况。 推理正确，并不能保证结论B一定为真。 ;?(1) {p,p→q}├ q ?(2) {p,q→p}├ q ;当推理正确时， 形式（1）记为? ╞ B。 形式（2）记为A1?A