西安电子科技大学内容总结和延伸软件学院谓词演算的四个推理规则十命题谓词逻辑推理逻辑推理规则十基本证明方法：直接证明法、反证法和CP规则。谓词推理应用解决现实生活中的推理问题。西安电子科技大学 内容总结和延伸 软件学院 谓词逻辑推理 谓词推理应用 » 谓词演算的四个推理规则＋命题 逻辑推理规则＋基本证明方法： 直接证明法、反证法和CP规则。 解决现实生活中的推理问题