目录前言数理逻辑命题逻辑基本概念命题等价命题蕴含对偶与范式推理理论谓词逻辑基本概念谓词演算的等价式与蕴含式谓词演算的推理推论集合论基本概念特殊运算运算性质包容排斥原理（容斥原理）序偶与笛卡尔积关系关系