离散数学第2版（上篇，共上中下3篇）.pptxVIP

第1章命题逻辑Propo;数理逻辑Mathematica;数理逻辑简史;数理逻辑简史;数理逻辑中的语言;学历类考试MBA(MPA);公务员考试行测;命题逻辑/命题演算Prop;学习要点;PowerPointPres;§1-1-1命题真值P;PowerPointPres;§1-1-2原子命题复;复合命题CompoundPr;§1-2-1否定联结词Ne;§1-2-1否定联结词;§1-2-2合取联结词Con;PowerPointPres;命题符号化之练习;§1-2-3析取联结词Dis;PowerPointPres;命题符号化之练习;§1-2-4蕴含联结词Imp;PowerPointPres;PowerPointPres;命题符号化之练习;命题符号化之练习;总结;§1-2-5等价联结词Bic;PowerPointPres;命题符号化之练习;练习答案;逻辑联结词的优先级Preced;§1-3-2命题符号化;PowerPointPres;PowerPointPres;思考;§1-3-1命题公式的概念;§1-3-1命题公式的概念;合式公式的递归式定义;PowerPointPres;关于括号的约定;§1-3-2命题公式的指派A;§1-3-3命题公式真值表;构造真值表的步骤;PowerPointPres;§1-3-4命题公