[理学]3-12 命题等价.pptVIP

1.2 命题等价Equivalent propositions 一、引言 +, -, ×, ÷看作是数与数间的联结词 可以建立许多等值式 x2-y2=(x+y)(x-y) sin2x+cos2x=1 (x+y)2=x2+2xy+y2 … … 命题逻辑里也同样可以建立一些重要的等值式 一、引言 数学证明中非常重要的一类步骤是用真值相同的一个语句取代另一个。 因此，在构造数学证明时广泛使用从已知复合命题产生具有相同真值的其他命题的方法。 一、引言 永真式（重言式）：无论其中出现的命题的真值是什么，它的真值总是真。 永假式（矛盾式）：无论其中出现的命题的真值是什么，它的真值总是假。 可能式（可满足式）：既不是永真式又不是矛盾的命题。如： p∧q就是个可满足式。 一、引言 例：我们可以只用一个命题构造永真式和矛盾。 二、逻辑等价 所有可能的情况下都具有相同真值的两个复合命题称为逻辑等价。 定义：如果p ?q是永真式，命题p和q称为是逻辑等价的。记作： p ? q。 二、逻辑等价 判断两个命题是否等价的方法之一是使用真值表。 命题p和q等价，当且仅当它们真值的两列完全一致。 例：证明﹁(p∨q)和﹁p∧﹁q等价 德摩根定律之一 二、逻辑等价 二、逻辑等价 证明命题p→q和﹁p∨q逻辑等价 证明命题p∨(q∧r) 和(p∨q)∧(p∨r)逻辑等价 析取对合取的分配律 二、逻辑等价 真值表法对于只含少数变量的命题，可以用手工完成； 涉及n个命题的复合命题的真值表有2n行； n=20，它的真值表就有220= 1048576行，需要计算机编程； 二、逻辑等价 n=1000，它的真值表就有21000行，它是一个超过300位的十进制数，一台计算机在几万亿年之内都不可能完成。 判断两个命题是否等价的另外一个方法是利用逻辑等价关系推导。 ※三、基本的逻辑等价关系 利用文氏图理解等价关系 ※三、基本的逻辑等价关系 利用文氏图理解等价关系 p∧(p∨q)=p p∨(p∧q)=p 利用自然语言理解等价关系 p: 张三是学生 q: 李四是工人 ﹁(p∨q): 并非张三是学生或李四是工人 张三不是学生并且李四不是工人 ﹁p∧﹁q ※三、基本的逻辑等价关系 利用已有的逻辑等价关系，构造其它的等价关系； 复合命题中的一个命题可以用与它逻辑等价的命题替换而不改变复合命题的真值。 逻辑等价的性质 自反性 p?p 对称性 若p?q, 则q?p 传递性 若p?q, q?r, 则p?r ※三、基本的逻辑等价关系 由析取的结合律表明p∨q∨r是有定义的，p1∨p2∨ … ∨pn有定义,德摩根律可以扩展为： ﹁(p1∨p2∨ … ∨pn) (﹁p1∧﹁p2∧ … ∧﹁pn) ※三、基本的逻辑等价关系 由析取的结合律标明p∧q∧r是有定义的，p1∧p2∧ … ∧pn有定义,德摩根律可以扩展为： ﹁(p1∧p2∧ … ∧pn) (﹁p1∨﹁p2∨ … ∨﹁pn) ※三、基本的逻辑等价关系 常用的逻辑等价关系 ※三、基本的逻辑等价关系 例：证明﹁(p∨(﹁p∧q))和﹁p∧ ﹁q逻辑等价。 例：证明(p∧q)→(p∨q)为永真式。 例：证明(﹁p∧(﹁q∧r))∨(q∧r) ∨(p∧r) r。 四、对偶 仅含有联结词? 、∧、∨的复合命题的对偶是将该命题中的每个∧换成∨，每个∨换成∧，每个T用F代替，每个F用T代替得到的命题。命题s的对偶用s*表示。 四、对偶 例：求下列命题的对偶： (?p∨q)∧(p∨?q) (?p∨F)∧(q∨T) 定理：若p?q，必有p*?q* p∨(q∧r)?(p∨q)∧(p∨r) p∧(q∨r)?(p∧q)∨(p∧r) 参见基本的等价关系 五、范式 凡与命题A等价的命题，能否都可以化为某个统一的标准形式？ 简单命题p及其否定?p统称文字； 一些文字的合取称合取式； 一些文字的析取称析取式； p与?p称为互补对。 五、范式 p ?p p∨q ?p∧q∧p 五、范式 析取范式是形如A1∨A2∨… ∨An 的公式，其中Ai (i=1, … ,n)为合取式； 合取范式是形如A1∧A2∧…∧An 的公式，其中Ai (i=1, … ,n)为析取式； (?p∨q)∧(p∨?q) (?p∧q)∧(p∨?q) 五、范式 范式定理：任一命题都存在与之等价的合取范式和析取范式。 求范式的步骤： 消去联结词→和?， p→q ? ?p∨q p?q ? (?p∨q)∧(?q∨p) 多用于求合取范式 ? (p∧q)∨(?p∧?q) 多用于求析取范式 五、范式 把否定词内移到直接作用于命题上，重复使用德摩根律和双非律， ?(p∧q) ? ?p∨? q ?(p∨q)