第三章推理的形式结构解析.pptVIP

* * 第三章 命题逻辑的推理理论 3.1 推理的形式结构 前提（多个） 结论 推理 推理：从前提出发推出结论的思维过程。 前提：已知命题公式集合。 结论：从前提出发应用推理规则推出的命题公式。 要研究推理就应该给出推理的形式结构，为此，首先应该明确什么样的推理是有效的或正确的。 定义3.1 设A1,A2,…,Ak和B都是命题公式，若对于A1,A2,…,Ak和B中出现的命题变项的任意一组赋值，或者A1∧A2 ∧…∧Ak为假，或者当A1∧A2 ∧…∧Ak为真时，B也为真，则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。 其中，前提是一个有限的公式集合，记为Г。 将由Г推B的推理记为Г├ B。 若推理是正确的，则记为Г B，否则记为Г B。 称Г├B 或 { A1,A2,…,Ak}├ B 为推理的形式结构。 几点说明： ??1．由Г├ B是否正确与前提的排列次序无关。 2. 判断推理是否正确，就是判断是否会出现A1∧A2 ∧…∧Ak为1，B为0情况，如果不出现，就正确。 3．推理正确，并不能保证结论B一定为真，这与数学中的推理是不同的。 例3.1 判断下列推理是否正确： 解： 只要写出前提的合取式与结论的真值表，看是否出现前提合取式为真，而推论为假的情况。 (1){p,p→