总复习 复习重点 第一章命题逻辑 1联结词的定义(含义及真值表定义) 2会命题符号化 3永真式的证明 4永真蕴涵式的证明,记住并能熟练应用常用公式 5等价公式的证明,记住并能熟练应用常用公式 6.会写命题公式的范式,能应用范式解决问题 7.熟练掌握命题逻辑三种推理方法总 复 习 复习重点 第一章 命题逻辑 1.联结词的定义(含义及真值表定义). 2.会命题符号化. 3.永真式的证明. 4.永真蕴涵式的证明,记住并能熟练应用常用公式. 5.等价公式的证明,记住并能熟练应用常用公式. 6.会写命题公式的范式, *能应用范式解决问题. 7.熟练掌握命题逻辑三种推理方法