DiscreteMath

离散数学的数理逻辑部分需要掌握的概念定义汇总

离散数学的命题逻辑中，蕴含关系经常让人迷惑，本文记录了博主在学习过程中感觉怪异的点，并尝试对其解释和探究。