Python实现命题逻辑归结推理系统--人工智能

• 研究 命题逻辑归结推理
• 未开发图形用户界面。由于个人不擅长这类工具（ GUI），现选择通过命令行界面实现人机交互。为确保程序正确运行，请在开始编写代码前根据自身需求调整字符编码和相关文件路径设置
• 目前代码采用的是基本算法框架，并未对其优化改进。作为一种暂时的解决方案予以实施。

文章目录

• 演绎推理的核心方法

  • • 通过谓词逻辑转化为子句集的形式

    • 鲁滨逊消解原理

    • • 命题逻辑中采用基子句进行归结的方法
      • 2. 谓词逻辑中处理含有变量的子句进行推导的过程

    • 归结反演

  • 题目及代码

归结演绎推理

推理方式：

归结演绎推理 定理：

谓词公式化为子句集

常出现的名词：

• 基本命题单位：无法进一步细分的核心陈述
  • 符号表示：基本命题单位及其否定