《离散数学》课件-第1章 命题逻辑.pptx

第1章 命题逻辑;1.1 命题符号化及联结词;1.1 命题符号化及联结词;“突击考试”悖论;命题的分类;简单命题符号化;联结词;联结词;例: 将下列命题符号化;联结词;联结词;联结词;联结词;例: 将下列命题符号化;联结词;联结词;联结词举例;联结词的应用;1.2 命题公式及分类;命题公式;命题公式的真值;公式的赋值;真值表;公式 A= (q?p) ?q;PowerPoint 演示文稿;PowerPoint 演示文稿;复习思考题1;复习思考题1;例题;第1章 命题逻辑;公式的类型;真值函数;二元真值函数对应的真值表;真值函数;1.3 等值演算;例1.8 判断下列命题公式是否;基本等值式(等价式);基本等值式(等价式);基本等值式(等价式);基本等值式(等价式)证明举例;等值演算与置换规则;几个重要的等值式;等值演算应用1—证明两个公式等;应用举例——证明两个公式不等值;证明两个公式不等值——真值表法;等值演算应用2——判断公式的类;等值演算应用2——判断公式的类;等值演算应用2——判断公式的类;等值演算应用3;等值演算应用4;[P11例1.11]等值式应用;等值式的应用举例;等值式的应用举例;等值式的应用举例;1.4 范 式;范 式;范式;命题公式的范式;求公式的范式举例1;求公式的范式举例2;复习思考题2;第1章 命题逻辑;1.4 范 式;范 式;范式;命题公式的范式;求公式的范式举例1;求公式的范式举例2;求公式的范式举例3;极小项;极小项;主析取范式;用等值演算法求主析取范式的步骤;求公式 ((p?q)?r)?p;求公式 ((p?q)?r)?p;PowerPoint 演示文稿;主析取范式的用途1;主析取范式的用途2;用主析取范式判断公式的类型;用主析取范式判断公式的类型;用主析取范式判断公式的类型;主析取范式的用途3;主析取范式的应用举例;主析取范式的应用举例;主析取范式的应用举例;主析取范式的应用举例;极大项;由p, q, r三个命题变项形;主合取范式;用等值演算法求主合取范式的步骤;求公式((p?q)?r)?p ;求公式((p?q)?r)?p的;PowerPoint 演示文稿;由主析取范式求主合取范式举例;复习思考题3;思考题;逻辑学家手指一门问身旁一名战士;第1章 命题逻辑;1.5 联结词的全功能集;联结词全功能集实例;复合联结词;联结词全功能集举例;1.7 推理理论;推理的形式结构;判断推理是否正确的方法;例???判断下面推理是否正确?;例：判断下面推理是否正确?;例：判断下面推理是否正确?;例：判断下面推理是否正确?;例：判断下面推理是否正确?;构造证明法及推理定律;构造证明法及推理定律;常用的推理定律;常用的推理定律(续);构造证明——直接证明法;写出对应下面推理的证明P27例;写出对应下面推理的证明;构造证明——附加前提证明法;附加前提证明法 ——举例;构造证明——归谬法（反证法）;归谬法证明法 ——举例