离散数学 课件 02命题逻辑.pptx

离散数学

;命题逻辑的内容;问题;命题逻辑的历史;莱布尼兹的梦想;莱布尼兹的梦想;问题;命题逻辑的内容;命题;例1判断命题;例1判断命题;例1判断命题;例1判断命题;命题符号化;例2命题符号化;命题逻辑的内容;逻辑联结词;否定;合取;例3;析取;相容性或与排斥或;蕴涵;蕴涵取值;例题5;等价;例6;命题逻辑的内容;命题公式;例7;例8;命题公式的层次;例9;练习;公式的赋值;公式的类型;例10;命题逻辑的内容;命题符号化;例11;例11(2);例12：将下列命题符号化。;例12：将下列命题符号化。;命题逻辑的内容;命题演算;真值表;真值表;例13求真值表，指出成真赋值和成假赋值;例