【快乐离散数学】命题逻辑 | 复合命题 | 等价命题 | Propositional Logic | Propositional Equivalences

WEEK1：Propositional Logic, Propositional Equivalences, Predicates and Quantifiers, Nested Quantifiers.

写在前面：本系列博客为复习离散的学习笔记，内容主要参考自 Kenneth Rosen 的 《Discrete Mathematics and Its Applications》和重庆大学刘然老师的《离散数学及其应用》课程。