科数网题库在线学习高中数学高等数学线性代数概率统计高中物理复变函数离散数学实变函数数论群论

你好游客，登录注册

最后更新: 2025-01-21 20:25 查看: 94 次反馈刷题

第一章数理逻辑

子目录

1. 命题与联结词

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

3. 蕴涵联结词

4. 命题变项与合式公式

5. 真值表

6. 公式的类型

7. 课堂练习

8. 等值式

9. 基本等值式

10. 析取范式与合取范式

11. 范式的性质

12. 极小项与极大项

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

14. 主范式的应用

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

16. 联结词的完备集

17. 公式与真值函数

18. 复合联结词

19. 消解规则

20. 消解算法

刷题

做题，是检验是否掌握数学的唯一真理

上一篇：没有了

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

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

纠错高考考研关于赞助公式

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