7、后三值逻辑的R - 演算解析

后三值逻辑的R - 演算解析

1. 后三值逻辑基础规则

在逻辑推理体系中，后三值逻辑有着独特的规则体系。以下是一些关键规则的介绍：
- ∼2 相关规则 ：
- (∼2 ∧L) ：
- 前提：$X(∼2 A1)$ 且 $X(∼2 A2)$。
- 结论：$X(∼2 (A1 ∧A2))$。
- (∼2 ∧M) ：
- 前提：$X(∼2 B1)$ 且 $X(∼2 B2)$。
- 结论：$X(∼2 (B1 ∧B2))$。
- (∼2 ∧R) ：
- 前提有三种情况：
- 情况一：$X(∼2 C1)$ 且 $X(∼2 C2)$。
- 情况二：$X(∼2 C1)$ 且 $X(∼C2)$。
- 情况三：$X(∼C1)$ 且 $X(∼2 C2)$。
- 结论：$X(∼2 (C1 ∧C2))$。
- (∼2 ∨L) ：
- 前提：$X(∼2 A1)$ 且 $X(∼2 A2)$。
- 结论：$X(∼2 (A1 ∨A2))$。
- (∼2 ∨M) ：
- 前提：$X(∼2 B1)$ 且 $X(∼2 B2)$。
- 结论：$X(∼2 (B1 ∨B2))$。
- (∼2 ∨R) ：
- 前提有三种情况：
- 情况一：$X(∼2 C1)$ 且 $X(∼2 C2)$。