推理规则

这是对所有规则的方便引用逻辑所有的推断我都能挖掘出来。给大家的有趣指南逻辑学家第条。

莫杜斯·波南斯
如果是A，那么是B。
答：。
因此B。

Modus Tollens公司
如果是A，那么是B。
不是B。
因此不是A。

假设三段论
如果是A，那么是B。
如果是B，那么是C。
因此，如果A，那么C。

虚拟三段论
P或Q。
不是P。
因此Q。

汇合点
答：。
B。
因此，A和B。

简化
A和B。
因此A。

添加
答：。
因此A或B。

在这里，它们开始变得更加复杂，所以我将使用一些基本的符号。X->Y表示如果X，那么Y.~X表示不是X：：表示与.iff是“如果且仅当”相同，对于任何句子如果X iff Y，那么Y iff X。这是一个可变依赖性的东西，dig？FORALL是倒置的“A”，FORALLx的意思是，猜猜怎么着？对于x的所有成员，For SOME是向后的“E”。FOR SOME x表示下面的语句中至少有一个x成员是正确的。

同义反复
A:：（A或~A）
答：（A和A）

双重否定
~~A:：A

换位
A->B:：~B->~A

重大影响
A->B:：~A或B

材料等效性
当条件B:：（（A->B）和（B->A））
A若B:：（（A和B）或（~A和~B））


建设性困境
（A->B）和（C->D）
A或C。
因此，B或D。

交换性
（A或B）：：（B或A）
（A和B）：：（B和A）

关联性
（A或（B或C））：（（A或B）或C）
（A与（B与C））：（（A与B）或C）

分发
（A和（B或C））：（A和B）或（A和C）
（A或（B和C））：（A或B）和（A或C）

出口
（（A和B）->C）：（A->（B->C））

通用实例化
福尔克斯
x的所有实例都可以替换为任何名称。

存在实例化.
对于SOMEx
x的所有实例都可以替换为新名称（以前在证明中没有提到过）。
愿这些规则为你服务谓词逻辑 冒险第条。