天津理工大学《离散数学》教学教案(第一章).pdfVIP

天津理工大学本科《离散数学》教学教案 第 1 章 命题逻辑 学习目标： 1．理解命题、命题的真值、简单命题、复合命题、命题公式、真值表、等 价公式、重言式、矛盾式、蕴涵式、（主）析取范式、（主）合取范式等概念； 2 ．深刻理解九种联结词（否定, 合取, 析取, 条件 , 双条件 , 异或, 与非  或非  c ）的定义； , , 条件否定 3 ．熟练掌握命题公式的翻译、命题公式的类型的判别及命题定律； 4 ．熟练掌握命题公式的（主）析取范式、（主）合取范式的求法； 5 ．熟练掌握证明两个命题公式等价的真值表法、等值演算法和主范式方法； 6 ．熟练掌握推理证明的直接证法和间接证法。 主要内容： 1．命题及其表示 2 ．逻辑联结词（否定, 合取, 析取, 条件 , 双条件 , 异或, 与非 , 或非 , c ） 条件否定 3 ．命题公式与翻译 4 ．真值表与等价公式 5 ．命题公式的分类与蕴含式 6 ．最小功能完备联结词组 7 ．命题公式的范式 8．推理理论 重点： 1．五种逻辑联结词（否定,合取, 析取,条件 ,双条件 ）； 2 ．命题公式的主析取范式、主合取范式； 3 ．推理证明的直接证法和间接证法。 难点： 1．命题公式的主析取范式、主合取范式的求法； 2 ．推理证明的间接证法。 教学手段： 通过多个实例的精讲帮助同学理解重点和难点的内容，并通过大量的练习使 同学们巩固和掌握命题公式翻译的技巧、证明两个命题公式等价的方法、命题公 式的主析取范式、主合取范式的求法及推理证明的直接证法和间接证法。 习题： 习题1.1：2；习题1.2：2；习题1.3：2；习题1.4：1 （2）、（4），2 （2）、（4）， 4；习题1.5：1，2（2）、（4），3，6，8；习题1.6：2，4；习题1.7：2，4，6 （1）， 8；习题1.8：1，2，4，6。 1 天津理工大学本科《离散数学》教学教案 1.1 命题及其表示 1.1.1 命题的基本概念 数理逻辑研究的中心问题是推理（Inference) ，而推理就必然包含前提和结论，前提和 结论都是表达判断的陈述句，因而表达判断的陈述句就成为推理的基本要素。在数理逻辑中， 将能够判断真假的陈述句称为命题。因此命题就成为推理的基本单位。 定义 1.1.1 能够判断真假的陈述句称为命题（Proposition ）。命题的判断结果称为命题的 真值，常用 T(True) （或1）表示真，F(False) （或0 ）表示假。真值为真的命题称为真命题， 真值为假的命题称为假命题。 从上述的定义可知，判定一个句子是否为命题要分为两步：一是判定是否为陈述句，二 是能否判定真假，二者缺一不可。 例 1.1.1 判断下列句子是否为命题 （1） 北京是中国的首都。 （2 ） 请勿吸烟！ （3 ） 雪是黑的。 （4 ） 明天开会吗？ （5 ） x+y=5 。 （6 ） 我正在说谎。 （7 ） 9+5≤12。 （8 ） 1+101=110。 （9 ） 今天天气多好啊！ （10） 别的星球上有生物。 解 在上述的十个句子中，（2 ）、（ 9 ）为祈使句，（4 ）为疑问句，（5 ）、（6 ）虽然是陈述 句，但（5 ）没有确定的真值，其真假随 x 、y 取值的不同而有改变，（6 ）是悖论(Paradox) （即由真能推出假，由假也能推出真），因而（2 ）、（4 ）、（5 ）、（6 ）、（9 ）均不是命题。（1）、 （3 ）、（7 ）、（8 ）、（10）都是命题，其中（10）虽然现在无法判断真假，但随着科技的进步 是可以判定真假的。