华工离散数学命题逻辑课件讲述.pptx

离散数学及其应用;离散数学;为什么要学习离散数学？;计算机科学与离散数学的关系;计算机科学与离散数学的关系;离散数学课程教学目标;离散数学的应用;离散数学的一些应用;离散数学的一些应用;学习内容;关于课程学习;参考资料;第一部分 数理逻辑;第1章 命题逻辑;1.1 命题与联接词 ;命题及其真值;例题;命题的表示;简单命题与复合命题;联结词;联结词;联结词;联结词;联结词;联结词;联结词;联结词;例题; ; ; ;联结词;例题;解 设p：1+1=2，q：2+3=6，r: 猴子是飞禽 1+1=2和2+3=6, p?q，真值为0， 1+1=2或猴子是飞禽, p?q，真值为1， 若2+3=6，则猴子是飞禽, q?r，真值为1 若猴子不是飞禽，则1+1=2和2+3=6。 ?r? p?q，真值为0， ;例题（续）;其它联结词;其它联结词;其它联结词;联结词的真值;逻辑关系的数字门电路实现;命题公式的门电路实现;联结词的应用;例题;例题;1.2 命题公式及其分类;命题公式;公式的赋值;命题公式的真值表;例题(续);例题(续);例题(续);命题公式的分类;命题公式的分类;1.3 命题演算的关系式;例题;例题;等价关系式;基本等值式(续);等价运算;例题;例题;例题;例题;例题;例题;全功能联结词集;例题;例题;对偶式;对偶式;例题;1.4 范式;析取范式与合取范式;范式存在定理;例题;主析取范式与主合取范式;主析取范式与主合取范式(续);主析取范式与主合取范式(续);主析取范式与主合取范式;例题;例题;主析取范式与主合取范式;例题;主析取范式的用途;主析取范式的用途(续);例题;例题;例题;例题（续）; 1.5 命题演算的推理;推理理论;例题;例题;推理定律;定理（CP规则）;推理证明方法;1、真值表法; ;2、等价演算法;3、演绎法;推理规则 ;例题;例题;例题;4、附加前提证明法;5、间接推演法(归谬法);例题;6、归结证明法;归结证明法;例题