5、相悖义务的等式方法及其对比分析

相悖义务的等式方法及其对比分析

1. 逻辑推理规则与示例

在逻辑推理中，存在一些重要的规则，如 DE 和 RI 规则。DE 规则如下：
- 已知 (A ∨ B)，且 (A) 能推出 (C)，(B) 能推出 (D)，那么可以得出 (C ∨ D)。
- RI 规则规定，只能将正公式（而非负公式）重述到子证明中。

下面是一个使用这些规则的证明示例：
| 层级 | 编号 | 内容 |
| ---- | ---- | ---- |
| 0 | 0.1a | (¬ Block A)（负假设） |
| 0 | 0.1b | (¬ Block B)（负假设） |
| 0 | 0.2 | (miners in A ⇒ Block A)（假设） |
| 0 | 0.3 | (miners in B ⇒ Block B)（假设） |
| 0 | 0.4 | (miners in A ∨ miners in B) |
| 0 | 0.5 | (Block A ∨ Block B)，若没有 RI 规则限制，可从相关证明得出，但当前证明受阻 |
| 1 | 1.1 | (Miners in A ∨ miners in B)（将 0.4 重述到 Box 1） |
| 1 | 1.2 | (Miners in A ⇒ Block A)（将 0.2 重述到 Box 1） |
| 1 | 1.3 | (Miners in B ⇒ Block B)（将 0.3 重述到 Box 1） |
| 1 | 1.4 | (Block A ∨ Block B)，由 1.1、1.2 和 1.3 使用 DE 规则得