本节为 Obsidian 动态视图（自动关联列表），网页版暂不展示。
数理逻辑，在高中是个基础，不大不小的知识点。 ——不大，是因为，学不好，对总分、总体能力有影响，但影响不巨大。 ——不小，是因为，学好了，对理解很多复杂问题的逻辑结构，很有作用。
数理逻辑，在高中，学起来要比集合更难一点。 是属于新知识的难度，和不等式最值不一样，后者是综合应用的难度高。
数理逻辑学习的脉络是：
- 明白命题的类型划分。 这块，书上讲的不多，但是特别影响对后续知识的理解。
- 命题的否定形式，是其次需要理解的概念 命题的否定形式=命题的否定≠否命题 命题的否定形式，是后续学习否命题、逆否命题的基础。
- 充分条件、必要条件、充要条件 入门容易；学透需要下一点功夫。
- 否命题、逆命题、逆否命题 否命题、逆命题，仅仅是结构变化，无实际价值 逆否命题，是反证法的理论基础
- 反证法 需要数量掌握，在后续高中学习大量使用