离散第1-3讲.docVIP

离散数学教案 编 号： 1 课时安排： 2学时 教学课型：理论课□ 实验课□ 习题课□ 实践课□ 其它□ 第1-3讲 蕴含式 学时：2学时 班级：计本08计科1班-------4班 重点：证明蕴含式的方法，等价式和蕴含式的联系 难点：蕴含式的证明 教学目标：要求运用基本的蕴含式进行证明，理解等价式和蕴含式的联系 教学内容 教学内容 1. 蕴含式 2.证明蕴含式的方法 3.证明蕴含式的例子 4.基本蕴含式 5.蕴含式的性质 6.等价式和蕴含式的联系 7. 作业 教学方式、手段、媒介：讨论，板书、讲授 1、蕴含式 定义１设Ｐ、Ｑ为命题公式，当且仅当Ｐ→Ｑ是一个重言式，称“Ｐ蕴含Ｑ”，记作Ｐ(Ｑ 对Ｐ→Ｑ而言，称Ｑ→Ｐ为逆换式，(Ｐ→(Ｑ为反换式，(Ｑ→(Ｐ为逆反式 由上表中可以看出：P→Q((Q→(P；Q→P((P→(Q。 如同等价(一样，(也不是逻辑联结词。Ａ(Ｂ仅仅表示Ａ→Ｂ是永真式。 2、证明蕴含式的方法 分析：要证Ｐ(Ｑ，即要证Ｐ→Ｑ为重言式。对Ｐ→Ｑ来说，除Ｐ为真、Ｑ为假时，Ｐ→Ｑ的真值为假外，其余情况Ｐ→Ｑ的真值皆为真。故要证Ｐ(Ｑ，只须对条件命题Ｐ→Ｑ的前提Ｐ指定其真值为真，若由此推出后件Ｑ亦为真，则 Ｐ→Ｑ为重言式。即Ｐ(Ｑ成立。 另一方面，由Ｐ→Ｑ((Ｑ→(Ｐ，要证Ｐ→Ｑ为重言式，只需证(Ｑ→(Ｐ为重言式。即证(Ｑ