目录
- 一、命题及其表示方法
-
- 1、命题的定义
- 2、命题的3要素
- 3、命题的真值
- 4、命题标识符
- 5、命题常元、命题变元
- 6、原子命题、复合命题
- 二、联结词
-
- 1、否定词 “¬”
- 2、合取“∧”
- 3、析取“∨”
- 4、条件 “→”
- 5、双条件 “ ”
- 5、小技巧
- 三、命题公式与翻译
-
- 1、命题公式
- 2、翻译（符号化）
- 四、真值表与等价公式
-
- 1、真值表
- 2、等价公式
- 3、*基本等价式*
- 五、重言式与蕴含式
-
- 1、重言式和矛盾式
- 2、蕴含式定义
- 3、*基本蕴含式*
- 4、蕴含的几个常用的性质
- 六、其他联结词
- 七、对偶与范式
-
- 1、对偶式
- 2、范式
-
- 1.合取范式
- 2.析取范式
- 3.求析取范式和合取范式的步骤
- 3、主范式
-
- 1.小项
- 2.主析取范式
-
- 主析取范式的求法
- 3.大项
- 4.主合取范式
-
- 主合取范式的求法
- 八、推理推论
-
- 1、真值表法
- 2、直接证法
- 3、间接证法
-
- 1.归谬法/反证法
- 2.CP规则/附加前提证明法
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/120471.html