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

第二章 命题演算的推理理论 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为形式结论。 肯定前提律 A1，A2，A3，