科数网数学题库数学试卷数学组卷在线学习电子教材

科数试题试卷学习教材 VIP

你好游客，登录注册

最后更新: 2025-01-21 20:25 ● 参与者查看: 19 次纠错分享参与项目词条搜索

第一章数理逻辑

子目录

1. 命题与联结词

2. 否定、合取、析取联结词

3. 蕴涵联结词

4. 命题变项与合式公式

5. 真值表

6. 公式的类型

7. 课堂练习

8. 等值式

9. 基本等值式

10. 析取范式与合取范式

11. 范式的性质

12. 极小项与极大项

13. 主析取范式与主合取范式

14. 主范式的应用

15. 用成真赋值和成假赋值确定主范式

16. 联结词的完备集

17. 公式与真值函数

18. 复合联结词

19. 消解规则

20. 消解算法

上一篇：没有了

下一篇：第二章集合论与二元关系

本文对您是否有用？有用 (0) 无用 (0)

初中数学高中数学高中物理高等数学线性代数概率论与数理统计复变函数离散数学实变函数数论群论

纠错题库高考考研关于下载

科数网是专业专业的数学网站。