1、三值逻辑中的演绎系统与R演算

三值逻辑中的演绎系统与R演算

1. 三值逻辑概述

三值逻辑是传统的逻辑类型，有多种研究方式。常见的三值逻辑包括：
- Bochvar三值逻辑 ：其逻辑语言包含逻辑连接词 ∨、∧、→、↔、≡、=，具有特定的语义。例如，在合取运算 (p ∧ q) 中，当 (p) 为 (t)（真），(q) 为 (m)（中间值）时，结果为 (m)。具体语义如下表所示：
| (p ∧ q) | (p) \ (q) | (t) | (m) | (f) |
| — | — | — | — | — |
| | (t) | (t) | (m) | (f) |
| | (m) | (m) | (m) | (m) |
| | (f) | (f) | (m) | (f) |

(p ∨ q)	(p) \ (q)	(t)	(m)	(f)
	(t)	(t)	(m)	(t)
	(m)	(m)	(m)	(m)
	(f)