离散数学及其应用+++重要名词中英对应以及重要概念解释与举例

离散数学及其应用  重要名词中英对应以及重要概念解释与举例1 The Foundations: Logic and Proofs （逻辑与证明）1.1 Propositional Logic（命题逻辑