离散数学逻辑与证明.pptVIP

第1页，共27页，星期日，2025年，2月5日能力要求三大能力逻辑推理能力算法分析与设计能力表达与编程能力第2页，共27页，星期日，2025年，2月5日内容要求逻辑与证明算法计数方法递归树网络模型第3页，共27页，星期日，2025年，2月5日本讲内容命题命题逻辑逻辑联接词真值表第4页，共27页，星期日，2025年，2月5日命题逻辑－电路化简rqp第5页，共27页，星期日，2025年，2月5日命题逻辑－电路化简（二）XYZ000010100111与电路或电路XYZXYZXYZ000011101111第6页，共27页，星期日，2025年，2月5日命题逻辑－电路化简（三）rqprqpPQRO00000010010001101000101111011111第7页，共27页，星期日，2025年，2月5日命题逻辑－推理已知：（1）如果今天是星期一，则要进行英语或离散数学考试；（2）如果英语老师有会，则不考英语；（3）今天是星期一，英语老师有会。（1）考英语或离散数学今天是星期一英语老师有会（2）不考英语考离散数学第8页，共27页，星期日，2025年，2月5日小结使用自然语言表述的存在问题能否有一种语言，具有：高度的抽象性强大的表达能力完善的公理集合第9页，共27页，星期日，2025年，2月5日命题逻辑命题逻辑也称命题演算或语句演算，它研究由命题为基本单位构成的前提和结论之间的可推导关系组成：命题研究对象：推导关系第10页，共27页，星期日，2025年，2月5日命题命题(Proposition)，是指具有真假意义的单句或复句，命题通常都是陈述句．命题是能够确定或能够分辨其真假的陈述句，且真或假二者必居其一，也只居其一。简言之，命题非真必假。例1：P1(a)～(e)例2：在引例2中，有哪些命题？第11页，共27页，星期日，2025年，2月5日命题（二）一个命题的真或假称为命题的真值，简称值，真用T(True)或1表示；假用F(False)或0表示．由于命题只有真、假二个真值，所以命题逻辑也称二值逻辑．第12页，共27页，星期日，2025年，2月5日命题（三）应该注意，一个陈述句能否分辨真假，与是否知道它的真假，是两件事:大学城共有30013人我所说的是假的在数理逻辑中，不能去纠缠各种具体命题的真假问题，而是将命题当成数学概念来处理，看成一个抽象的形式化的概念，把命题定义成非真必假的陈述句。第13页，共27页，星期日，2025年，2月5日命题的表示一个原子命题，一般用大写字母或带下标的大写字母，如P,Q,R,…,或Pi,Qi,Ri,…,等表示，把表示原子命题的符号，称为命题标识符，简称命题符． P:今天是星期一 Q:英语老师有会……第14页，共27页，星期日，2025年，2月5日逻辑联接词逻辑联结词或命题联结词的简称，它是自然语言中连词的逻辑抽象.有了联结词，便可以用它和原子命题构成复合命题．逻辑联接词种类：否定、合取、析取、条件、等价第15页，共27页，星期日，2025年，2月5日否定(Negation)，??P?PTFFT第16页，共27页，星期日，2025年，2月5日合取(Conjunction)，∧PQP∧QTTTTFFFTFFFF第17页，共27页，星期日，2025年，2月5日析取(Disjunction)，∨PQP∨QTTTTFTFTTFFF第18页，共27页，星期日，2025年，2月5日判断真假PQ命题真假今天是星期一考英语今天是星期一不考试今天星期二考离散数学今天星期二学生放假如果今天是星期一，则要进行英语或离散数学考试P：今天是星期一Q：今天考了英语或离散数学TTTF第19页，共27页，星期日，2025年，2月5日