MBA 逻辑推导助手（V26.8.21版本）

定义 A / B / C / D，用 NOT、AND、OR 搭建题干并自动展开逆否，本工具仅限学习交流使用，非商用，更新版本：prawngo

本地保存 · 离线可用

① 从真题中定义命题

A/B/C/D 只保存文字定义。以后修改定义，文字模式下的全部结果会同步变化。
命题定义

② 逐条抽取逻辑规则

每读出一个逻辑连词，就添加一条；不提供批量录入。
快捷输入：

③ 自动推导结果

每条充分条件自动补逆否；链路自动传递。
事实真状态
尚未添加事实
添加事实后，将沿规则向前推导。
逻辑推导状态
等待规则
不依赖某次题设，只展示规则必然蕴含。

全部可推出结论（点击一条可带入核验）

④ 从自动推导中引用题设事实
先完成规则，再从已有命题和推导结果中选择题目明确给真的条件。
数据保存在当前浏览器；本工具用于形式逻辑训练，复合命题按 MBA 常见规则展开。