第一部分:数理逻辑 第一章:基础:逻辑和证明 知识点:命题、简单命题、复合命题、五个联结词(否定、合取、析取、条件语句、双条件语句)、真值、个体词、个体域、全称量词、存在量词、约束变元、自由变元等; 重点:命题的符号化、命题等价式(证明与化简)、推理规则及其应用 不考部分:章节1.7,1.8 知识点:与非联结词、或非联结词