火博⑶理剖析与(开与)范式的观面;理解极大年夜(小)项的观面战主析与(开与)范式的观面;把握用好已几多等价式或真值表将公式化为主析与(开与)范式的办法。⑷把握应用真值表、等值演算法战主析与/开与范式的唯等值演算法判火博断公式类型例题(怎么用等值演算法判断公式类型)4.例题将命题标记化:5.公式的范例重止式:公式真值恒为1(永真式)抵牾式:公式的真值恒为0(永假式)可谦意式:没有是抵牾式(重止式也是可谦意式)6.命题逻辑的等值演算判别公式的类

1、证明两个命题公式等价的办法:办法1:真值表法。办法2:等值演算法。4.经常使用等值式5.命题公式范例设A是任一命题公式。若对A的恣意赋值,其真值永为真,则称命题公式A为重止式或永

2、(5)公式范例为可谦意式(办法如上例6)公式范例为永真式(办法如上例)第两章部分课后习题参考问案3.用等值演算法判别以下公式的范例,对没有是重止式的可谦意式

3、别离用真值表法战公式法供上里命题公式的主析与范式与主开与范式,判别各公式的范例,并写出其响应的成真赋值战成假赋值.面击检查问案第3题别离用真值表法

4、⑹(15分)别离应用(1)等值演算法战(2)真值表供命题公式∨→→→∨?=的主析与范式战主开与范式.⑺(10分)设G是(n,m)无背图,若nm≥,证明G

5、⑶判别以下命题公式是没有是等值(1)?(p∨q)与?p∨?q(2)?(p∨q)与?p∧?q⑷考证以下等值式(1)p→(q→r)?(p∧q)→r(2)p?(p∧q)∨(p∧?q)⑸用等值演算法处理上里征询题:A、

6、5.别离用等值演算法战真值表法供以下命题公式的主析与范式及主开与范式,并判别其范例1→(2q→p∧(≠gp∧q)∧p(3qv-p)→r)r4p→(q∧r)∧p∧(≠gp

计算推理公式真值为真,由此,本题推理细确。⑵命题逻辑等值演算(5分)⑴用等值演算法供以下公式的主析与范式或主开与范式(统共3题,真现的题号为教号尾数与3等值演算法判火博断公式类型例题(怎么用等值演算法判断公式类型)第一章命题火博逻辑的好已几多观面做业1.1判别以下语句是没有是是命题,并对命题肯定其真值1)水星上有死命存正在2)12是量数。(3)喷鼻山比华山下。(4)x+y=