离散-3-1-命题逻辑.pptVIP

  • 2
  • 0
  • 约小于1千字
  • 约 11页
  • 2017-04-27 发布于四川
  • 举报
离散-3-1-命题逻辑

主要内容:;§1.5 推理理论;§1.5 推理理论 1.推理规则;§1.5 推理理论 2.直接证法;§1.5 推理理论 3.附加前提法(CP规则) ;§1.5 推理理论 4.反证法(归谬法);应用: 逻辑电路设计(1);应用: 数字逻辑电路设计(2);作业:P31 1(1), 2(1), 3(1); 基本永真蕴涵式:; 基本逻辑恒等式(P9)

文档评论(0)

1亿VIP精品文档

相关文档