8.1命题与逻辑连接词题稿.ppt

今晚我去书店或者去打球。 设P：今晚我去书店， Q：今晚我去打球， 则该命题可表示为P∨Q。 条件词(condition 如果……，那么……” （if…then） 用符号→表示。 设P，Q表示两命题， 则P→Q表示命题“如果P,那么Q”， 并且P称为前件，Q称为后件。 当P真而Q假时，命题P→Q为假 否则均认为P→Q为真。 P→Q常读作“若P则Q”。 其真值状况 0 1 0 1 Q 1 1 0 1 0 0 1 1 P→Q P 如果有辆车,那么我去接你。 设P：我有辆车， Q：我去接你， 则该命题可表示为P→Q。 注意： P→Q中允许前件P为假， 且此时无论后件Q是真还是假， P→Q的真值都为真。 许多程序设计语言中用if…then… 结构，与逻辑中使用的不同。 在程序设计中往往是if p then S ， 其中p是命题，而S是一段程序。 当程序运行到这条语句时， 如果p为真，就执行S， 但若P为假，则S不执行。 “如果2+2=5，那么雪是黑的” “如果我是美国总统， 我就不那样对待萨达姆” 都是真值为“真”的命题。 双条件词(bicondition)“当且仅当” （if and only if） 用符号?表示之。 设P，Q为两命题， 则P?Q表示命题“P当且仅当Q”， 且当P与Q同真值时P?Q为真， 否则为假。 P?Q读作“P双条件Q” 或“P当且仅当Q”。 其真值状况 0 1 0 1 Q 1 0 0 1 0 0 1 1 P? Q P 偶数a是质数,当且仅当a=2. 设P：偶数a是质数， Q：a=2， 则该命题可表示为P ? Q。 这五个联接词可看成是逻辑运算， 其中? 是一元运算， ∧，∨，?，?是二元运算。 上述五个联结词来源于日常使用 的相应词汇,但并不完全一致，在 使用时要注意： 以上联结词组成的复合命题的真 假值一定要根据它们的定义去理 解, 而不能据日常语言的含义去理 解。 不能“对号入座”，如见到“或”就 表示为“∨”。 在今后我们主要关心的是命题间 的真假值的关系, 而不讨论命题的 内容. 8.1.3 命题公式与真值表 当P,Q,R为命题常元即分别表示 某个确切的命题时,(?P∧Q)? R 可表示一个更复杂的命题，而且 可根据P,Q,R的真值来确定这个 复杂命题的真值；而当P，Q，R 为命题变元时，由于P，Q，R的 真值不确定因而（?P∧Q）? R 真值不确定因而（?P∧Q）? R 的真值也就无法确定，这个符号串 也就不能再是命题，我们称它为 命题公式，而且随着我们赋值给 P，Q，R即对它们进行真值指派, 这个符号串就会对应有一个真值， 而这个所谓命题公式的真值往往 要随它所含命题变元的真值变化 而变化。 定义 一个命题公式按如下规则生成： （1）命题常元和命题变元是命题 公式，也称为原子公式或原子。 （2）如果A，B是命题公式， 那么?A,(A∧B),(A∨B) (A→B),(A?B)也是命题公式。 （3）只有有限步使用规则(1),(2) 所组成的符号串是命题公式。 一个命题公式就是一个合法的 符号串:(?P∨R),(? (P→(Q∧R)) (Q??P)都是命题公式， 但(PQ), P→∧R很明显都不合法， 因而都不是命题公式。 * 第八章 命题逻辑基础 我们在日常生活中经常会遇到推 理.日常生活中使用的语言常称为 自然语言或元语言，而自然语言 含义丰富，有时甚至含糊多义。 例如我们说三句带“是”的语句： 孔子是孔仲尼； 孔子是人； 人是动物。 这三句中 “是”的符号含义分别为 “=”、“∈”、“?”。 因此用自然语言进行的推理非常 灵活，结论不定。 数理逻辑（mathematical logic） 是用数学的方法来研究推理的一 门学科，它采用一套符号来简洁 地表达命题及其间的关系。 因此它表示的含义单一、明确， 在给定前提下会有确切的结论。 计算机科学中有两个常用的公式： 程序 = 算法 + 数据； 算法 = 逻辑 + 控制。 著名计算机软件设计大师戴克斯 特拉（E.W.Dijkstra）曾经这样 说：“我现在年纪大了，搞了这 么多年软件,错误不知犯了多少， 现在觉悟了。我想，假如我早年 在数理逻辑上好好下点功夫的话 我就不会犯这么多的错误。不少 东西逻辑学家早就说了，可我不 知道。要是我能年轻20岁的话， 就要回去学逻辑。” 我国著名数理逻辑学家甚至说得 更加直截了当：“事实上，程序设 计或者就是数理逻辑，或者是用 计算机语言书写的数理逻辑，或 者是数理逻辑在计算机上的应用”. 可以说计算机的本质结构就是逻 辑结构。 数理逻辑是计算机程序设计、硬 件逻辑设计以及人工智能等学科 的重要理论基础。有趋势表明： 微积分在人类体力劳动自动化的 过程中扮演了重要角色，数理逻 辑在人类脑