离散数学 课件 13总结.pptx

离散数学

主讲人：

第十三章：总结

离散数学总结内容逻辑集合代数图论知识技术能力

一、逻辑

1.1、命题逻辑

1.1.1命题逻辑符号化

1.1.1命题逻辑符号化知识点内容方法要点符号化命题定义(陈述句,真值)记忆(陈真)，理解(能用作推理元素)陈述句的关键是陈述而非句子(疑问、表格、图)；真值要有不一定现在有(悖论、未来、外部、变量)连接词(否定、合取、析取、蕴含、等价)意：内容要表达的含义；形：特定的关键词（）析取蕴含公式定义递推定义括号陪对；连接词的位置和关系性质层次从低到高赋值命题变项到0,1公式赋值可以由0,1直接排列类型重言、矛盾、可满足全1,全0,有1有0

1.1.2推理方