博客 / 标签 / 离散数学

3.5 自由变元和约束变元

3.4 谓词合式公式

3.3 谓词符号化举例

3.2 量词的引入

3.1 谓词的引入

2.10 演绎法推理

2.9 命题蕴涵公式

2.8 主范式

2.7 范式

2.6 命题等价公式及应用

2.5 命题公式分类和等价

2.4 命题公式和真值表

2.3 命题符号化及其应用

2.2 命题联结词

2.1 什么是命题

1.5 可数集合与不可数集合

1.4 集合的运算定律

1.3 集合的运算

1.2 特殊集合与集合间的关系

1.1 集合的初见

离散数学 - 学习笔记（持续更新）