离散数学概论_田秋红PPT完整全套教学课件.pptx

离散数学概论_田秋红PPT完整全套教学课件.pptx

13;2.命题符号化–联结词与复合;3.真值表;PowerPointPres;PowerPointPres;PowerPointPres;第2章一阶逻辑;§2命题等值演算;PowerPointPres;2.基本等值式;2.基本等值式(续);2.基本等值式(续);3.等值演算与置换规则;4.应用举例——证明两个公式等;4.应用举例——证明两个公式不;4.应用举例——判断公式类型;4.应用举例——判断公式类型;PowerPointPres;第2章一阶逻辑;§3范式;1.析取范

第一章命题逻辑;PowerPointPres;§1命题及符号化;一、基本概念;1.命题的分类;2.命题符号化–简单命题;2.命题符号化–简单命题;2.命题符号化–联结词与复合;2.命题符号化–联结词与复合;2.命题符号化–联结词与复合;2.命题符号化–联结词与复合;2.命题符号化–联结词与复合;13;2.命题符号化–联结词与复合;3.真值表;PowerPointPres;PowerPointPres;PowerPointPres;第2章一阶逻辑;§2命题等值演算;PowerPointPres;2.基本等值式;2.基本等值式(续)

文档评论(0)

1亿VIP精品文档

相关文档