第5章 推理与证明技术 知识 电子科大离散数学内部.ppt

离 散 数 学;第5章 推理与证明技术 ;5.1 本章学习要求;5.2 命题逻辑的推理理论 ;推理的有效性和结论的真实性;判定定理;判定定理（续）;“?”与“→”的不同;5.2.2 判断有效结论的常用方法 ;1、真值表技术;例5.2.1 ;2 推理定律;2 推理定律(续);例子;例子(续1);例子(续2);3 演绎法 ;引入推理规则;演绎的定义;例5.2.2 ;例5.2.2 (续);例5.2.3;4 间接证明法（反证法） ;例5.2.4;例5.2.5;例5.2.5 证明（续） ;定义5.2.3 ;间接证明方法;例5.2.6;三种证明方法之间的关系;5.2.3 命题逻辑推理的难点 ;5.2.3 命题逻辑推理的难点 ;5.2.4 命题逻辑推理的应用 ;例5.2.7 证明;例5.2.8;例5.2.8 证明 ;例5.2.8 证明（续）;证明 令 P：马会飞； Q：羊吃草； R：母鸡是飞鸟； S：烤熟的鸭子还会跑。 符号化上述语句为：Г={P∨Q→R,R→S,┐S},G=┐Q。证明Г?G。;例5.2.8 证明 （续）;5.3 谓词逻辑的推理理论 ;定理5.3.1 ;一 推理规律;推理规律（续）;多个量词的蕴涵;二 推理规则;推理规则（续）;推理规则的正确使用(1);推理规则的正确使用（2）;推理规则的正确使用（3）;推理规则的正确使用（4）;5.3.2 谓词演算的综合推理方法;谓词演算的综合推理方法（续）;例5.3.1 ;例5.3.2 ;例5.3.2（２);例5.3.2(３);例5.3.3 ;例5.3.3(续1);例5.3.3(续2);例5.3.4 ;例5.3.4 证明（续） ;5.3.3 谓词逻辑推理的难点;谓词逻辑推理的难点（续）;谓词逻辑推理的难点（续）;5.3.4 谓词逻辑推理的应用;例5.3.5 证明（续） ;例5.3.5 证明（续） ;例5.3.6 ;请看下面推导：;例5.3.6 证明（续）;例5.3.7 ;例5.3.7 证明（续） ;例5.3.7 证明（续）;例5.3.8;例5.3.8的解决方案;例5.3.8 证明;例5.3.8 证明（续）;例5.3.8 证明（续）;例5.3.8 证明（续）;5.4 数学归纳法 ;数学归纳法原理;强形式数学归纳法原理 ;例5.4.1;例5.4.1;例5.4.2;例5.4.2;例5.4.2 证明 (续);例5.4.2 证明 (续);5.4.2 数学归纳法应用;例5.4.3 证明 ;例5.4.3 证明（续） ;铺瓦问题;铺瓦问题;铺瓦问题 证明（续）;5.5 按定义证明方法 ;5.5.1 按定义证明方法原理;5.5.2 按定义证明方法应用;例5.5.1 证明 （续）;例5.5.2 ;作业;Thank You !