添加前提

输入前提，用逗号分隔（如 p, p -> q）

证明步骤

快速示例

点击示例试试：

关于此工具

此工具使用10条经典命题逻辑推理规则，从你的前提推导出新结论：

  • 双重否定
  • 德摩根定律
  • 简化
  • 肯定前件
  • 否定后件
  • 析取三段论
  • 假言三段论
  • 构造性二难
  • 消解
  • 合取引入

缩进表示推导深度。前提顶格排列。每个结论按它与前提之间的推理步数缩进。

支持的运算符

  • ~P 或 not P——否定
  • P & Q 或 P and Q——合取
  • P | Q 或 P or Q——析取
  • P -> Q——蕴含
  • P <-> Q——双条件
  • P xor Q——异或
  • P nand Q——与非
  • P nor Q——或非
  • P xnor Q——同或