离散数学命题演算的推理理论假设推理系统公开课一等奖优质课大赛微课获奖课件

- 第二章 命题演算推理理论 - 2.1 命题演算公理系统 2.2 命题演算假设推理系统 2.2.1 假设推理系统构