离散数学【笔记】{命题逻辑、范式、基本推理、自然演绎}

基本术语

范式

范式存在定理

证明

范式总结

极小项和极大项

极小项的性质

极大项的性质

 极小项与极大项的编码

极大项极小项的性质

主析取范式和主合取范式

 主范式求解定理

公式转换法

真值表技术

范式的相互转化

主范式的应用

推理形式

推理的判定定理 

 

推理定律——基本蕴涵关系 

 基本蕴涵关系举例

推理规则

自然演绎法

演绎——直接证明法

一般从结论倒推

演绎——规则CP证明法

演绎——间接证明法（反证法，归谬法）

 命题演绎举例一

命题演绎举例二