离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接： https://blog.csdn.net/hpdlzu80100/article/details/102669012

1. 谓词的演绎推理

2. 谓词演绎举例一：苏格拉底三段论

3. 谓词演绎举例二：三步走策略

4. 谓词的推理难点

5. 谓词演绎举例三：CP规则证明法

6. 谓词演绎举例四：反证法

7. 谓词逻辑推理的应用

8. 正确推导过程