数理逻辑（离散数学）学习笔记（8）

联结词的功能完全集

【定义1.21】在联结词的集合$\Omega$中，如果一个联结词可以用集合$\Omega$中的其他联结词表示，则该联结词在$\Omega$中被称为冗余的，否则该联结词被称为独立的。
由$x\to y<=>\neg x\vee y$和$x\leftrightarrow y<=>(x\to y)\vee (y\to x)$知在 Ω = { ¬ ， → ， ↔ ， ∨ ， ∧ } \Omega=\{¬，→，↔，∨，∧\} Ω={¬，→，↔，∨，∧}中→和↔是冗余的。下面的定理、定义为证明 Ω = { ¬ ， ∨ ， ∧ } \Omega=\{¬，∨，∧\} Ω={¬，∨，∧}为完全集。
【定义1.22】 { 0 , 1 } \{0,1\} {0,1}上的$n$元函数 f : { 0 , 1 } n → { 0 , 1 } f:\{0,1\}^n→\{0,1\} f:{0,1}n→{0,1}称为一个$n$元真值函数：
f ( x 1 , x 2 , . . . , x n ) ∈ { 0 , 1 } , 其 中 x i ∈ { 0 , 1 } f(x_1,x_2,...,x_n) ∈\{0,1\},其中x_i ∈\{0,1\} f(x1​,x2​,...,xn​)∈{0,1},其中xi​∈{0,1}
如：一元真值函数： f ¬ ( 0 ) = 1 , f ¬ ( 1 ) = 0 ， 故 f ¬ : { 0 , 1 } → { 0 , 1 } f_¬(0)=1,f_¬(1)=0，故f_¬:\{0,1\}→\{0,1\} f¬​(0)=1,f¬​(1)=0，故f¬​:{0,1}→{0,1}
一个真值函数就可看成一个命题联结词。设 f : { 0 , 1 } n → { 0 , 1 } f:\{0,1\}^n→\{0,1\} f:{0,1}n→{0,1}是一个$n$元真值函数，则可如下定义一个$n$元命题联结词$N_f$:对于$n$个命题变元$x_1,x_2,...,x_n$,命题公式$N_f(x_1,x_2,...,x_n)$在真值赋值函数$<t_1,t_2,...,t_n>$下的真值为$f(t_1,t_2,...,t_n)$。互不相同的$n$元真值函数的个数为$2^{2^n}，因此可定义2^{2^n}个n元命题联结词$
理解：$n$元真值函数的个数为$2^{2^n}$,例如一元真值函数，他的个数为$2^{2^1}=4$个：

$x$	$f_0$	$f_1$	$f_2$	$f_3$
0	0	1	0	1
1	0	0	1	1

从上表可以得到4个真值函数分别为$f_0，f_1，f_2，f_3$，对应到 Ω = { ¬ ， → ， ↔ ， ∨ ， ∧ } \Omega=\{¬，→，↔，∨，∧\} Ω={¬，→，↔，∨，∧}中可表示为：
$f_0=x\wedge \neg x,f_1=\neg x,f_2=x,f_3=x\vee \neg x$
对$2^{2^n}$得出的理解：$n$个变元分别为 { x 1 , x 2 , . . . , x n } \{x_1,x_2,...,x_n\} {x1​,x2​,...,xn​}，每一个$x_i$分别取 { 0 , 1 } \{0,1\} {0,1},令 ω = { x 1 , x 2 , . . . , x n } \omega=\{x_1,x_2,...,x_n\} ω={x1​,x2​,...,xn​}。则$\omega$共有$2\times 2\times 2\times 2...\times 2=2^n$种取值。而对$t_i\in \omega$，真值函数$f(t_i)$只能取值$0,1$$\omega$共有$2^n$个元素，所以对应的真值函数的个数为$2^{2^n}$。
【定义1.23】称联结词的集合$\Omega$为联结词的一个功能完全集，如果任意真值函数$f$都可以用仅含有$\Omega$中联结词的命题公式$A$来表示，即对A中命题变元的任意一个真值赋值$<t_1,t_2,t_3,...,t_n>$下的真值为$f(t_1,t_2,t_3,...,t_n)$。
【定理1.12】 { ¬ ， ∨ ， ∧ } \{¬，∨，∧\} {¬，∨，∧}是联结词的功能完全集。
【推论1.2】 { ¬ ， → } , { ¬ ， ∨ } 和 { ¬ ， ∧ } \{¬，→\},\{¬，∨\}和\{¬，∧\} {¬，→},{¬，∨}和{¬，∧}都是联结词功能完全集。
【定理1.13】 { → ， ↔ ， ∨ ， ∧ } \{→，↔，∨，∧\} {→，↔，∨，∧}不是联结词的功能完全集。
对定理【1.12】的证明——数学归纳法
当$n=1$时，只含有一个命题变元$x$。由于4个真值函数分别可以表示为：
$f_0=0=\neg x\wedge x$
$f_1=x$
$f_2=\neg x$
$f_3=0=\neg x\vee x$
故，定理【1.12】在$n=1$时成立。
假设定理在$n\le k$时成立，我们下面来证明定理在$n=k+1$时成立。
令$f$是任意一个含有$k+1$个命题变元的真值函数，对应的公式为$A$，其真值表如下：

$x_1$	$x_2$	…	$x_k$	$x_{k+1}$	$f$
0	0	…	0	0	$t_1$
0	0	…	0	1	$t_2$
…
0	1	…	1	1	$t_{2^k}$
1	0	…	0	0	$t_{2^k+1}$
…
1	1	…	1	1	$t_{2^{k+1}}$

将该真值表以$x_1=0$和$x_1=1$为界分为前后$2^k$行两部分，$x_1=0$的部分记为$A_1$。$x_1=1$的部分记为$A_2$。由于A、B中的$x_1$都为已知且不可变的量，所以$A_1$、$A_2$可以看成两个独立的具有$k$个命题变元的真值表。根据归纳假设，$A_1$、$A_2$都可以用仅含有联结词 { ¬ ， ∨ ， ∧ } \{¬，∨，∧\} {¬，∨，∧}的命题公式表示。易知：$A=(\neg x_1\wedge A_1)\vee (x_1\wedge A_1)$。故，$A$可以由仅含有 { ¬ ， ∨ ， ∧ } \{¬，∨，∧\} {¬，∨，∧}的命题公式表示，证毕。
【定义1.24】设$\Omega$为联结词的一个功能完全集。如果$\Omega$不含有冗余联结词，则称$\Omega$为联结词的最小功能完全集。
【定理1.14】 { ¬ ， → } , { ¬ ， ∨ } 和 { ¬ ， ∧ } \{¬，→\},\{¬，∨\}和\{¬，∧\} {¬，→},{¬，∨}和{¬，∧}都是联结词功能完全集的最小功能完全集。
【定义1.25】设$x$和$y$是命题，命题“$x$与$y$合取的否定”称为$x$和$y$的合否（与非）记为⬆，称为合与联结词。$x⬆y<=>\neg (x\wedge y)$。
解析： { ⬆ } \{⬆\} {⬆}是一个功能最小的完全集：以为 { ¬ ， ∧ } \{¬，∧\} {¬，∧}是一个功能完全集，所以，只要能够用 { ⬆ } \{⬆\} {⬆}来表示 { ¬ ， ∧ } \{¬，∧\} {¬，∧}则可以证明 { ⬆ } \{⬆\} {⬆}是一个功能最小的完全集。因为：$\neg x<=>x⬆x,x\wedge y<=>\neg (x⬆y)<=>(x⬆y)⬆(x⬆y)$。
【定义1.26】设$x和y$是命题，命题“$x与y$析取的否定”称为$x和y$的析否（或非），记为$x⬇y$。符号$⬇$称作析否联结词。$\neg (x\vee y)<=>x⬇y$
$x⬇y$和 { ⬆ } \{⬆\} {⬆}都是最小功能完全集。