习题1以下联结词集合是完备集{∧}{∨}{→}习题2.DOCVIP

习题1 以下联结词集合是完备集：{┐，∧}{┐，∨}{┐，→}习题2证明{?，┐}不是完备集。习题1答案证明：（1）因为p∨q┐（┐p∧┐q），所以∨可由{┐，∧}定义。┐，∧，∨都可由{┐，∨}定义，并且{┐，∧，∨}是完备集，所以{┐，∧}也是完备集。为了证明{┐，∧}是完备集，需要证明{┐}和{∧}都不是完备集。我们先证明{∧}不是完备集。为此只需要证明┐不能由{∧}定义。任取由{∧}生成的不出现除p之外的命题变元的公式A，令真值赋值v=（p/1），则v（A）=1，但v（┐p）=0，所以A不定义┐。┐不能由{∧}定义。再证明{┐}不是完备集。取一元联结词F使F（0）=F（1）。令真值赋值v1=（p/1）和v2=（p/0），任取由{┐}生成的只出现命题变元p的公式A，则v1（A）≠v2（A），而v1（Fp）=v2（Fp），所以A不定义F。F不能由{┐}定义。{┐}不是完备集。（2）证明方法与（1）相同。（3）因为p∧q┐（┐p∨┐q）┐（p→┐q），所以∧可由{┐，→}定义。┐,∧都可由{┐，→}定义，并且{┐,∧}是完备集，所以{┐，→}也是完备集。再证明{→}不是完备集。取真值赋值v=(p/1)。任取由{→}生成的仅出现命题变元p的公式A，v（A）=1，而v（┐p）=0，A不定义┐，所以┐不能由{→}定义。{→}不是完备集，{┐}也不是完备集，所以{┐，→}是完备集。证毕。习题2答案分析一个集合是完备集，即对任何命题公式，可用完备集所组成的等价式表达。而且对完备集中，删除任何一个联结词，就不能把所有的命题公式表达出来。本题要证明{?，┐}不是完备集，可证明仅有?，┐两种联结词，不能表达所有命题。考虑到两个变元所形成的命题公式共有24=16个彼此不等价的公式，因此如用?，┐两种联结词，对两个变元不断的结合，如能产生16个独立的式子，则{?，┐}可能是完备集。如果生成不到16个独立式子，则{?，┐}必不是完备集。证明: 设变元P，Q，用联结词?，┐作用于P，Q得到：P，Q，┐P，┐Q，P?Q，P?P，Q?Q，Q?P。但（P?Q）（Q?P），（P?P）（Q?Q），故实际有：P，Q，┐P，┐Q，P?Q，P?P（T） （A）用┐作用于（A）类，得到扩大的公式类（包括原公式类）：P，Q，┐P，┐Q，┐（P?Q），T，F，P?Q （B）用?作用于（A）类得到： P?Q，P?┐P(F)，P?┐Q┐(P?Q)， P?(P?Q)Q，P?(P?P)P， Q?┐P┐(P?Q)，Q?┐QF， Q? (P?Q)P，Q?TQ，┐P?┐QP?Q，┐P? (P?Q)┐Q┐P?T┐P，┐Q? (P?Q)┐P┐Q?T┐Q，(P?Q)? (P?P)P?Q因此（A）类使用?运算后，仍在（B）类中。对（B）类使用┐运算得：┐P，┐Q，P，Q，P?Q，F，T，┐（P?Q）仍在(B)类中。对（B）类使用?运算得： P?Q，P?┐PF，P?┐Q┐（P?Q）， P?┐（P?Q）┐Q，P?TP， P?F┐P，P?（P?Q）Q。Q?┐P┐（P?Q），Q?┐QF， Q?┐（P?Q）┐P，Q?TQ， Q?F┐Q，Q?（P?Q）┐P。┐P?┐QP?Q，┐P?┐（P?Q）Q，┐P?T┐P，┐P?FP，┐P?（P?Q）┐Q。┐Q?┐（P?Q）P，┐Q?T┐Q，┐Q?FQ，┐Q?（P?Q）┐P。┐（P?Q）?T┐（P?Q），┐（P?Q）?FP?Q，┐（P?Q）?（P?Q）F。T?FF，T?（P?Q）P?Q。F?（P?Q）┐（P?Q）。故由（B）类使用?运算后，结果仍在（B）中。由上证明：用?，┐两个联结词，反复作用在两个变元的公式中，结果只能产生（B）类中的公式，总共仅八个不同公式，故{?，┐}不能使功能完备的，更不能是完备集。