离  散  数  学Discrete Mathematics
曾庆田Email:qtzeng@163.com
山东科技大学信息科学与工程学院
三月
上次课内容回顾
析取范式
主析取范式
合取范式
主合取范式
小项
大项
第一章
第5讲 §1—8 推理理论
在数学和其它自然科学中，经常要考虑从一些前提A1，A2，…，An能够推导出什么结论。比如：从分子学说，原子学说，能够得到什么结论；从光波动学说，能得到什么结论。我们普通地要对“假设”内容作深入分析，并推究其间关系，从而得到结论。但也有一些推理，只需分析假设中真值和联结词，便可取得结论。