《离散数学》第5-11章缺6、8、9、10 教学课件合集.pptx

第3章命题逻辑的推理理论离散;3.1推理的形式结构数理逻辑;定义3.1设A1,A2,…;关推理的说明?＝{A1，A2，;关推理的说明设A1，A2，…，;(1){p,p→q}├q?;定理3.1命题公式A1,A2;定理3.1的证明(1)证明必要;当推理正确时，形式（1）记为?;真值表法等值演算法主析;（1）下午去看电影或去游泳。;(1)A?(A∨B)??;小节结束关定律的几点说明A,B;3.2自然推理系统P判断推理;无标题;无标题;无标题;无标题;（4）假言推理规则 A?;（7）拒取式规则A;（10）构造性二难推理规则;在自然推理系统P中构造证