第一章  命题逻辑 1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法 ⅱ)分子命题（复合命题）：若干个原子命题使用适当的联结词所组成的新命题 例：我是一位学生和他是一位工人 (3)命题所用符号：常用大写２６个英文字母表示命题。用Ａ、Ｂ、Ｃ．．．．Ｚ表示。 (4)命题中所有的“真”用“Ｔ”表示， 　 命题中所有的“假”用“Ｆ”表示。 在命题演算中也有类似的日常生活中的联结词称做：“命题联结词”下面先介绍五个常用的命题联结词。 １．否定词：（否定运算、非运算） （１）符号 ¬ ,读作“非”，“否定” 设命题为Ｐ，则在Ｐ的前面加否定词¬ ，变成¬Ｐ， ¬Ｐ读做“Ｐ的否定”或“非Ｐ” ........