《数理逻辑》第26章命题逻辑第4节联结词的完全集.ppt

第4节 联结词的完全集 第二十六章 命题逻辑 第26章 * * 内容提要 真值函数 联结词与真值函数 联结词完全集 非联结词完全集的例子 第26章 * §26.4 联结词的完全集 * 联结词的完全集 为什么只考虑五个联结词？即 这五个联结词能否表示所有联结词？ 这五个联结词是否有多余的？ 要回答这两个问题，必须回答： 什么是联结词？ 什么是一些联结词表示了一个联结词？ 什么是联结词的“多余”？ * §26.4 联结词的完全集 * 什么是联结词？ 联结词确定了复合命题构造方式。 复合命题建立了真假值对应方式。 例如： ?p建立了如下对应： 0 —? 1， 1 —? 0 p?q建立了如下对应: (0, 0) —? 0, (1, 0) —? 1 , (0, 1) —? 1, (1, 1) —? 1 . …… * §26.4 联结词的完全集 * 真值函数 {0, 1}上的n元函数 f: { 0, 1}n —? { 0, 1} 就称为一个n元真值函数（布尔函数）。 因此，每个联结词c确定了一个真值函数fc。 每个真值函数也确定了一个联结词(如下)。 * §26.4 联结词的完全集 * 真值函数确定联结词 设f为如下二元真值函数: f(0, 0) = 0, f(1, 0) = 0 , f(0, 1) = 0, f(1, 1) = 1. 则f确定了联结词Cf ，p Cf q的真假值为： 即Cf 为? 即： p Cf q在指派t1, t2下的值为f(t1, t2) 。 p q p Cf q 0 0 0 0 1 0 1 0 0 1 1 1 * §26.4 联结词的完全集 * 命题形式确定的真值函数 设命题形式?所含的命题变元都在p1, p2 ,… pn中。如下定义的n元真值函数称为?确定真值函数，记为f?: f?(t1, t2 , … tn) = ?关于p1, p2 , … pn在指派t1, t2 , … tn下的值。 例如，若? 为p?(?q)，则f?为： f(0,0) = 1, f(0,1) = 0, f(1,0) = 1, f(1,1) = 1 联结词的表示(I) 什么叫“用?和?表示?”？ 直观上：p?q“可写为”只含?和?的命题形式(p?q)?(q?p) “可写为”含义是两者真值表相同： 即：(p?q)?(q?p)在指派 t1, t2下的值为 f ?(t1, t2) 第26章 * p q p?q (p?q)?(q?p) 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 * §26.4 联结词的完全集 * 联结词的表示(II) 用c1, c2, …ck表示c (或f) 仅用c1, c2, … ck可以构造一个命题?与由c (f)构造的命题等价。 存在?使?在任意指派 (t1, t2, …,tn 下的值恰为fc (t1, t2, …tn) (f(t1, t2, …tn)) * §26.4 联结词的完全集 * 联结词的完全集 直观地，说联结词集合A是完全的，指的是A中联结词能表示任意联结词。 设A一个联结词集合，称A为联结词的一个完全集，如果任一个真值函数f都可用A联结词来表示，即：对任真值函数f，都存在仅含A中联结词的命题?使得?在任意指派t1, t2, … , tk下的值即为 f(t1, t2, … , tk)。 * §26.4 联结词的完全集 * {?，?，?，?} {?，?，?，?}是联结词的一个完全集。 证：只要证： 对任k元真值函数f，存在仅含{?，?，?，?}中联结词的k元命题形式?使得?在任意指派t1, t2, …tk下的值即为f(t1, t2, …tk)。 对k归纳证明。 * §26.4 联结词的完全集 * {?，?，?，?}（续1） k=1时，一元真值函数有四个f1、f2、f3、f4： f1: 0 —? 0，1 —? 0 f2: 0 —? 1，1 —? 1 f3: 0 —? 0，1 —? 1 f4: 0 —? 1，1 —? 0 分别可以用p?(?p)、 p?(?p)、p和?p表示。 此时命题成立 * §26.4 联结词的完全集 * {?，?，?，?}（续2） 设kn时命题成立, 下证k=n时命题也成立. 设f(x1, x2,…,xn)是一个n元真值函数, 定义如下两个n-1元真值函数f’、f’’: f’(x2,x3,…,xn) = f(0,x2, x3,…,xn) f’’(x2,x3,…,xn) = f(1,x2, x3,…,