《假设推理系统》PPT课件

- 2.2 假设推理系统 - ——自然推理系统 - 一、扩充的推理规则二、假设推理过程三、推理定理四、假设推理证明定理的方法 - 2