离散数学命题演算的推理理论假设推理系统省公共课一等奖全国赛课获奖课件

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