第一天__命题逻辑和证明

命题逻辑和证明 1.1命题 1.1.1命题 1.1.2联结词( ()优先级小于¬ ) 1.1.3逻辑运算符的优先级 1.2命题公式和真值表 1.2.1命题变元 1.2.2命题公式(通常用G表示) 1.2.3公式的解释(用 I 表示) 1.定义 2.例题 3.说明 1.2.4真值表 1.定义 2.说明 3.真值表的画法 1.3公式分类和逻辑等价 1.3.1命题公式的分类 1.定义： 2.三种公式之间

>>阅读原文<<