学习要点 命题的概念:定义、逻辑值、符号化表示 2、从简单命题到复合命题: 逻辑联接词:运算方法、运算优先级 3、从命题常量到命题变量, 从复合命题到命题公式: 命题公式的真值描述:真值表 4、命题公式的分类: 永真公式、永假公式、可满足公式、一般公式 1212 学习要点 1、命题的概念：定义、逻辑值、符号化表示 2、从简单命题到复合命题： 逻辑联接词：运算方法、运算优先级 3、从命题常量到命题变量， 从复合命题到命题公式： 命题公式的真值描述：真值表 4、命题公式的分类： 永真公式、永假公式、可满足公式 、一般公式