离散数学Chap 1 命题逻辑 1.4,1.5.pptx

§1.4蕴含式?1

§1.4蕴含式?2

§1.4蕴含式(5)蕴含就是我们通常意义上的推理的主要形式。(6)如何证明A?B?常见有两种思路,下面举例说明。3

§1.4蕴含式?4

§1.4蕴含式?5

§1.4蕴含式注:第二种证明思路要求掌握一些常见的蕴涵式。一处来源于上节中的常见等价式,每个等价式都包含着两个蕴涵式,另一处参见课本P12.原则上,只要直观上比较容易理解的蕴涵式都可以记住,在证明过程中当作已知来使用。6

§1.4蕴含式?7

§1.4蕴含式?8

§1.4蕴含式例:0=10×2=1×20=20+3=2+33=59

文档评论(0)

1亿VIP精品文档

相关文档