命题逻辑（北京理工大学 刘琼昕）.pptVIP

第一章 命题逻辑 命题逻辑 1.1 命题及其表示方法 命题： 具有确定真值的陈述句。 真值： 一个命题的取值，真值只有“真”、“假”两种， 真：T或1 假：F或0。 命题的类型 原子命题： 不能分解为更简单的陈述句，称原子命题。 复合命题： 由联结词、标点符号和原子命题复合构成的命题。 例1 下列是否为命题 例1（续） 例1（续完） 命题语句的形式 命题的语句形式 陈述句 非命题语句 疑问句、祈使句 、感叹句 悖论语句(非命题陈述句) 命题的表示 命题标识符： 表示命题的符号，通常用大写英文字母A，B，…，P，Q，…表示。 命题常量： 一个命题标识符表示确定的命题，该标识符称为命题常量。 命题变元： 命题标识符如仅是表示任意命题的位置标志，就称为命题变元。 真值指派 真值指派： 当命题变元 P 用一个特定命题取代时，P 才能确定真值，这时称对 P 进行指派。 1-2 联结词 1. 否定 ? 否定的性质 2. 合取 ? (二元运算) 例 P ：今天下雨 Q：明天下雨 P ? Q：今天下雨而且明天下雨 今天与明天都下雨 这两天都下雨 P ：我们唱歌 Q：我们跳舞 P ? Q：我们一边唱歌一边跳舞 例 P ：他聪明 Q：他用功 他既聪明又用功. P ? Q 他虽然聪明，但不用功。 P ? ?Q 他不仅聪明，而且用功。 P ? Q 他不是不聪明，而是不用功。 ?（ ? P） ? ?Q 例 P：我去看电影 Q：房间里有十张桌子 P ? Q 在逻辑学中允许 张明与张华是兄弟。 （简单命题） 合取的性质 3. 析取 ? （可兼或） 例 他可能是100米或400米赛跑的冠军. P ? Q 今天晚上八点我在家看电视或去剧场看戏. （排斥或） ( P ? ? Q) ? (? P ? Q) 他昨天做了二十或三十道题. （大约） （原子命题） 析取的性质 析取的性质(续) 4. 条件 → 4. 条件 → ：是否履行合同 例 如果天气好，我就去游玩。 P → Q 如果我得到这本小说，我将读完它。 P → Q 如果雪是黑的，那么太阳从西方升起。 P → Q 如果月亮出来了，则3乘3等于9。 P → Q 例（续） 我将去旅游，仅当我有时间。 P: 我去旅游 Q: 我有时间 P → Q 除非你努力，否则你将失败。 P: 你努力 Q: 你失败 ? P → Q 例 P: 不下雨 Q: 我骑自行车上班 只要不下雨，我就骑自行车上班 P → Q 只有不下雨，我才骑自行车上班。 Q → P 例 如果今天是星期天，那么2+3=5. (永为真) 如果今天是星期天，那么2+3=6. (除星期天外，天天真） 逆换式、反换式、逆反式 P → Q 如果下雨，则地湿。 逆换式：Q → P 如果地湿，则下雨。 反换式：? P → ? Q 如果不下雨，则地不湿。 逆反式：? Q → ? P 如果地不湿，则不下雨。 条件运算的性质 条件运算的性质(续) 5. 双条件 ? 例 P ? Q 两个三角形全等,当且仅当它们的三组对应边相等. 燕子飞回北方, 春天来了. 2+2=4 当且仅当雪是白的. 1+1=10当且仅当数是二进制的. 骗子讲真理当且仅当太阳从西边出来. 双条件运算的性质 双条件运算的性质(续) 1-3 命题公式与翻译 命题公式 命题演算的合式公式(wff)，规定为： 单个命题变元本身是一个合式公式。 如果A是合式公式，则? A是合式公式。 如果A和B是合式公式，那么 (A ? B), (A ? B), (A → B), (A ? B)是合式公式。 命题公式