离散数学复习.pptVIP

复习;一、命题

可以确定其值的陈述语句。非陈述、悖论不可

二、联结词：能给出真值表

否认?、合取?、析取?、条件?、双条件?

??的等价式、异或、不可兼或、可兼或

三、合式公式的定义

(1)命题变元、常量是合法

(2)假设A是合式公式，那么?A合式

(3)假设A、B合那么A?B、A?B、A?B、A?B合式

(4)有限次使用(2)~(3)得到的式子都是合法的。

学会判断一个公式是否合法。;四、真值表

先确定公式中命题变元即自由变元清单

可以分步给出每局部的公式的真值

也可以直接将各局部的值写在运算符的下方

证明两个公式等值、求主析取范式、主合取范式、设计电路、重言式或永真式、矛盾式或永假式、可满足式

五、习题一

命题符号化第6题、14题、16、17、18、19、20、21、22、23、;六、等值式

1、定义：对于命题变元的每组值真值完全相同

2、p?q(1个)、p?q(3个)

3、分配律(正用/逆用)、德摩、原=逆否

4、双否、幂等、交换、结合、A?0、A?1、A?0、A?1、A??A、A??A

5、局部等值变换后，整体仍等值。

例题某次研讨会及习题，写出表达式再等值变换

七、主析取范式与主合取范式

1、先给出真值表

2、公式=主析取=小项的析取=大项的合取

3、小项对应真值表中取值为1之行mo1=?p?q

大项………0之行M01=p??q

4、先给出真值表再给出公式，设计题;八、析取范式与合取范式

1、定义：主范式是每一项中每个变元均出现，范式那么不一定。

九、习题二

1、掌握用真值表证明公式等值

2、学会用真值表求主析取、主合取范式

3、掌握设计题第27题

4、某科研所派人出国、29、30题

变元不多时，可给出真值表主析取式范式

并且将明显不成立的取值组去掉

变元多时先等值变换再求析取范式

也可用归结法Robinson方法“对对碰”。

;十、推理的定义

1、定义：假设A1，A2，……为真时公式B为真，那么称{A1,A2,…,An}可推出B，记为{A1,A2,,…}?B。

2、证明方法：

(1)真值表法：A1?A2?…An?B为永真。

(2)利用范式：将??转换为???，将?进行到底，顺、逆用分配律，得到公式的范???，判断是否为永真。

(3)自然推理：从A1,A2,…An为真出发，推理判断B是否为1。

(4)附加条件法：

A1?A2?…An?(C?D)等价于A1?A2?…An?C?D

(5)反证法或归谬法

假设A1,A2,,…为1时，B不为1即为0，也即?B为1，那么可以推出矛盾的结论。;3、常用的等值式

p?q?(?p?q)??q??p

p?q??p?q逆用

p?q?(p?q)?(q?p)?(?p?q)?(p??q)

?(p?q)?(?p??q)主析取范式

?(p?q)??p??q顺、逆用

?(p?q)??p??q顺、逆用

p?(q?r)?(p?q)?(p?r)顺、逆用

p?(q?r)?(p?q)?(p?r)顺、逆用

p?(p?q)?pp?(p?q)?p吸收律多吃少

0?B?B，1?B?1

0?B?0，1?B?B;4、推理定律

1)A?A?B因为A为1时，A?B为1

2)A?B?A因为A?B为1时，A为1且B为１。

3)(A?B)?A?B左=1时右=1，假言推理或别离原那么

4)(A?B)?(B?C)?(A?C)附加条件再(3)传递律

可以不记，但要会推

5)(A?B)?(C?D)?(A?C)?(B?D)?到?附加再(3)

(A?B)?(?A?B)?B归谬法或反证法?B为1

6)(A?B)?(C?D)?(?B??D)?(?A??C)附加逆反再

7)(A?B)??B??A逆否再(3)。拒取式

8)(A?B)??B?A?到?转换再(3).析取三段论;5、Robinson证明法：机器证明法，归结法

假设p?q，?p?r为真，那么q?r为真。

用反证法证明，即假设q?r为假。

(1)q?r为0(假设)

(2)q为0，r为0(析取的定义)

(3)p?q为1()

(4)p?0为1((2)代入(3))

(5)p为