第一章第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 范式 联结词的公式中不能出现命题变元。若联结词集合 §1.7 逻辑推论 S 能够定义一个0 元联结词，则S 中至少有一个0 元联结词。 在数学中可定义二元函数 公式p →q , ¬p ∨q, ¬(p ∧¬q) 都定义联结词→。 f (x , y ) = x + y ，g(x , y ) = x ， 因为 但不能定义二元函数 p →q ⇔¬p ∨q f (x , x) = x ，h(x , y ) = x + y + z 。 p ↔q ⇔(p ∧q) ∨(¬p ∧¬q) 二元函数的两个变元应是不同变元，定义函数值的 p ⊕q ⇔(p ∧¬q) ∨(¬p ∧q) 公式中不能出现其它变元。 所以常用联结词¬, ∨, ∧, →, ↔, ⊕都可由{¬, ∨, ∧} 平方函数f (x) = x2 = x ×x ，因此f 可由{×}定义。 定义。 显然，若联结词F 可由S 定义且S ⊆S ，则F 可 1 1 2 由S2 定义。联结词F 可由 {F } 定义。 证明↔不能由 {→} 定义。 定义1.13 设S 是联结词集合。如果每个n (n ≥ 1) 证明 用反证法。给定两个真值赋值v1 = {p /1, q/0} 元的联结词都可由S 定义，则称S 为完全集。如果 从完全集S 中去掉任何一个联结词就成为不完全的 和v2 = {p /0, q/1} 。假设↔能由{→} 定义，设定 了，就称S 为极小完全集。 义↔ 的由{→}生成的公式是A ，则A 中最后出现 完全集也称为全功能集。 的命题变元是p 或者q 。 需要注意：并不要求完全集能定义0 元联结词。 1. 若A 中最后出现的命题变元是p ，则v1(A) = 1 ， 而v1(p ↔q) = 0 ，所以A 与p ↔q 不等值。 极小完全集是完全