自然演绎推理

自然演绎推理：从一组已知为真的事实出发，运用经典逻辑的推理规则推出结论的过程。
推理规则：P规则、T规则、假言推理、拒取式推理

例3.1 已知事实：

（1）凡是容易的课程小王( Wang )都喜欢；
（2）C 班的课程都是容易的；
（3）ds 是 C 班的一门课程。
求证：小王喜欢 ds 这门课程。
证明：
定义谓词：
EASY ( x )：x 是容易的
LIKE ( x, y )：x 喜欢 y
C ( x )：x 是 C 班的一门课程

优点：

表达定理证明过程自然，易理解。
拥有丰富的推理规则，推理过程灵活。
便于嵌入领域启发式知识。

缺点：

易产生组合爆炸，得到的中间结论一般呈指数形式递增。
欢迎大家加我微信交流讨论（请备注csdn上添加）