离散数学 第二章 命题逻辑等值演算.pptVIP

第二章 命题逻辑等值演算 一般地，n元真值函数共有多少个呢？ ??? 每个自变量有2个取值方式，n个自变量共 有2n 个不同取值方式。对n个自变量的每个取 值方式，函数值有2个取值方式，即为0或1， 故n元真值函数共有 个 ??? ? 例如，3元真值函数共有 =256个。 一般地，函数F:{0,1}n→{0,1}称为n元真值函 数，其中：{0,1}n为{0，1}的卡氏积。 二、真值函数与命题公式的关系 对于每个真值函数，都可以找到许多与之等值的命题公式。以2元真值函数为例，所有矛盾式都与 等值，所有的重言 式都与 等值。又如 ? p→q ? (┐p ∨q) ?┐(p∧┐q) ? (┐p∧┐q)∨(┐p∧q) ∨(p∧q) ?…。 更重要的是，每个真值函数与唯一的一 个主析取范式（主合取范式）等值。还以 2元真值函数为例， ?0（矛盾式）， ?（p∧q）?m1， ?（p∧┐q） ?m2， ?（p∧┐q）∨（p∧q）?m2∨m3, … 由定理2.5 任何命题公式都存在着与之等值的 主析取范式和主合取范式，并且是唯一的。可知，每个命题公式对应唯一的与之等值的真值函数。 三、联结词完备集 定义2.7 设S是一个联结词集合，如果任 何n(n≥1)元真值函数都可以由仅含S中的联 结词构成的公式表示，则称S是联结词完备集。 定理2.6 S={┐,∧,∨}是联结词完备集。 ??? ?证 因为任何n(n≥1)元真值函数都与唯一的一个主析取范式等值，而在主析取范式中仅含联结词┐,∧,∨，所以S={┐,∧,∨}是联结词完备集。 推论 以下联结词集都是完备集：????(1) S1={┐,∧,∨, →} ????(2) S2={┐,∧,∨,→, ?} (3) S3={┐,∧} ????(4) S4={┐,∨} ????(5) S5={┐,→} 证 (1)，(2)的成立是显然的。 ??? (3) 由于S={┐,∧,∨}是联结词完备集，因而任何真值函数都可以由仅含S中的联结词的公式表示。同时对于任意公式A,B,A∨B?┐┐(A∨B) ?┐(┐A∧┐B),因而任意真值函数都可以由仅含S3 = {┐,∧} 中的联结词的公式表示，所以S3是联结词完 备集。???? （4） A∧B?┐(┐A∨┐B)。 ???? （5） A∨B?┐A→B。 可以证明恒取0值的真值函数（即与矛盾 式等值的真值函数）不能由仅含{∧,∨,→, ?} 中联结词的公式表示。因此，{∧,∨,→, ?}不 是联结词完备集。当然，它的任何子集也不 是联结词完备集。 ????? ?问 1． {┐, ?}是否为联结词完备集？ ???? ? ?2． {┐,∧,∨，→, ?}中有无单元素构 成联结词完备集？ 3． {┐,∧,∨，→, ?}中有多少个子集构成联结词完备集？ 四、单元素联结词构成的联结词完备集 ???? 根据需要，人们还可构造形式上更为简 单的联结词完备集。例如，在计算机硬件设计中，用与非门或者或非门来设计逻辑线路时，就需要构造新联结词完备集。 定义2.8 设p、q为两个命题，复合命题“p 与q的否定式”（“p或q的否定式”）称作p,q的与非式（或非式），记作p↑q(p↓q)。符号↑(↓)称作与非联结词（或非联结词）。p↑q为真当且仅当p与q不同时为真（p↓q为 真当且仅当p与q同时为假）。 ???? 由定义不难看出 ??p↑q ?┐(p∧q）, p↓q ?┐(p∨q） 定理2.7 {↑}，{↓}都是联结词完备集。 ??? ?证 已知{┐,∧,∨}为联结词完备集，因而 只需证明其中的每个联结词都可以由↑定义 即可。而 ????????????┐p ???? ????? ┐(p∧p） ???? ????? p↑p ????????????????????????(2.20)  ??p∧q ???? ????? ┐┐( p∧q) ? ??┐( p↑q) ??????（定义）?????? (p↑q)↑(p↑q) （由(2.20)????(2.21) ? p∨q ???? ?┐┐( p∨q) ???? ?┐(┐p∧┐q) ???? ? ┐p↑┐q ?? ???? （定义）???? ? (p↑p)↑(q↑q) ? （ 由(2.20)????(2.22) ） 由（2.20）～(2.22)可知{↑}是联结词完备集，类