离散数学第二章命题演算的推理理论-假设推理系统.pptxVIP

第二章 命题演算的推理理论2.1 命题演算的公理系统 2.2 命题演算的假设推理系统 2.2.1 假设推理系统的组成 2.2.2 假设推理系统的推理过程2.3 命题演算的归结推理法第一页，共二十五页。 2．2 命题演算的假设推理系统 假设推理系统：由于它的推理形式类似于日常生活中的推理形式， 也称为自然推理系统。 第二页，共二十五页。 2.2.1 假设推理系统的组成一、扩充的推理规则二、假设推理过程三、推理定理四、假设推理证明定理的方法第三页，共二十五页。 一、扩充的推理规则分离规则的推广 A1，A2，…，An├A(2) 肯定前提律 A1，A2，A3，…，An ├ Ai 第四页，共二十五页。 分离规则的推广设有如下的推理规则 R：若A1，A2，…，An ， 可以推出A， 即 R：A1，A2，…，An ├A，则称A是由 A1，A2，…，An实施规则R而得。 设Γ=A1，A2，…，An，则上述规则R可以记为 Γ├ A 其中Γ为形式前提，A为形式结论。第五页，共二十五页。 肯定前