第一篇第5篇 连接词的完全集.pdfVIP

第一章 命题逻辑 §1.5 联结词的完全集 定义1.12 设F 是n 元联结词，p ,…, p 是不同的 §1.1 命题和联结词 1 n 命题变元。如果公式A 中不出现除p 1,…, p n 之外 §1.2 公式和真值赋值 的命题变元，并且A ⇔Fp 1…p n ，则称A 定义 §1.3 等值演算 F 。如果存在由联结词集合S 生成的公式定义F ， §1.4 对偶定理 则称F 可由S 定义。 §1.5 联结词的完全集 公式¬p ∨p 不定义0 元联结词1，因为定义0 元 §1.6 范式