第3章命题推理理论.pptVIP

* 第三章 命题逻辑的推理理论 逻辑的任务是研究推理。 数理逻辑的主要任务是用数学的方法研究推理 推理：从前提出发推出结论的过程。 研究推理要首先给出推理的形式结构。 3.1 推理的形式结构 定义3.1 设A1, A2,…, Ak都是命题公式，若对于A1, A2, …, Ak , B中出现的任何命题变项的任意一组赋值，或者A1 ∧ A2 ∧ … ∧ Ak 为假，或者当A2 ∧ A2 ∧ … ∧ Ak 为真时，B也为真，则称由A1, A2,…, Ak推出B的推理是有效的或正确的。记为{A1, A2,…, Ak } ╞ B。 {A1, A2,…, Ak } ├ B称为推理的形式结构 * 说明 1.由前提A1, A2,…, Ak推出B的推理是否正确与前提的排列顺序无关。 2. 推理正确并不能保证结论B一定为真 也就是说，在定义3.1中，强调的是推理过程的有效性，而对结论的正确与否并不关心。 推理形式结构的等价形式 定理3.1 命题公式A1, A2, …, Ak 推B的推理正确当且仅当 A1 ∧ A2 ∧ … ∧ Ak →B 为重言式。 * 证明：必要性 若由前提A1, A2, …, Ak 推B的推理正确，则对于A1, A2, …, Ak ，B中所含命题变项的任意一组赋值，不会出现A1 ∧ A2 ∧ … ∧ Ak为真，而B为假的情况，因而在任意一组赋值下， (A1 ∧ A2 ∧ …