ch01命题逻辑(第一讲).pptVIP

数理逻辑概述 数理逻辑是用数学的方法研究思维规律的一门学科。由于它使用了一套符号，简洁的表达出各种推理的逻辑关系，因此数理逻辑一般又称为符号逻辑。 数理逻辑和计算机的发展有着密切的联系，它为机器证明、自动程序设计、计算机辅助设计等计算机应用和理论研究提供必要的理论基础。 第1章 命题逻辑 命题逻辑，也称命题演算，记为LS 。它与谓词逻辑构成数理逻辑的基础，而命题逻辑又是谓词逻辑的基础。数理逻辑，又名为符号逻辑，它是选用数学方法即通过引入没有二义性的表意符号，使用公认的与任一特定的论证无关的规则研究推理的学问。 命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。那么，什么是命题？如何表示和构成？如何进行推理的？下面逐一地进行讨论。 注：涉及命题的逻辑领域称为命题演算或命题逻辑。它最初是2300年前由古希腊哲学家亚里士多德系统地创建的。 1.命题的概念 所谓命题，是指具有非真必假的陈述句。而疑问句、祈使句和感叹句等因都不能判断其真假，故都不是命题。命题仅有两种可能的真值：真和假，且二者只能居其一。真用1或T表示，假用0或F表示。由于命题只有两种真值，所以称这种逻辑为二值逻辑。命题的真值是具有客观性质的，而不是由人的主观决定的。 命题与真值 命题的真值：作为命题的陈述句所表示的判断结果称为命题的真值。 真值的取值：真值只取两个值：真或假。通常用1（或字母T）表示真，用0（或字母F）表示假。 真命题与假命题：凡是与事实相符的陈述句是真命题，而与事实不符合的陈述句是假命题。 注意： 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论，判断结果不惟一确定的不是命题 命题概念 注意： 一个语句本身是否能分辨真假与我们是否知道它的真假是两回事。也就是说，对于一个句子，有时我们可能无法判定它的真假，但它本身却是有真假的，那么这个语句是命题，否则就不是命题。 悖论不是命题。 命题分类 命题的分类 原子命题（简单命题）Automic PRoPosition）：是指不能再分解为更简单命题的命题；例如“雪是白的”就是原子命题。 复合命题（ComPound PRoPosition）：是指由若干命题用联结词组成的新命题。 “昨天下雨，而且打雷”，“如果明天天晴我就去打球或者游泳”都是复合命题。 用大写英文字母 P, Q, R, …, Pi, Qi, Ri (i?1)表示简单命题 用“1”表示真，用“0”表示假 例如，令 P： 是有理数，则 P 的真值为0， Q：2 + 5 = 7，则 Q 的真值为1 引入命题联结词 如何从那些已有的命题产生新命题？ 例如：命题：今天是星期五 它的否定命题怎么表示？ 例如：命题1：今天是星期五 命题2：今天下雨 “今天是星期五且今天下雨”怎么表示？ “今天是星期五或者今天下雨”怎么表示？ 例如：“如果今天下雨，我们就不去踢球”怎么表示？ 否定词“?”（或“?”） 否定词（Negation） 是一元联结词。相当于自 然语言中的“非”、“不”等， 真值表如右图。 例1.1.2 举例说明如何构成命题的否定。 解 令命题 P：大连是一座美丽的城市。 于是命题的否定为 ?P：大连不是一座美丽的城市。 可见，“否定”修改了命题，它是对单个命题进行操作，称它为一元联结词。 合取词“∧” 合取词（Conjunction） 是二元联结词。相当于自然 语言中的“与” 、“并且” 、 “而且” 、“也”等，真值表 如右图。 合取联结词的实例 例2 将下列命题符号化. (1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3) 吴颖虽然聪明，但不用功. 解 令P:吴颖用功, Q:吴颖聪明 (1) P?Q (2) P?Q (3) ?P?Q (4) 张辉与王丽都是三好学生. 解 (4) 设P:张辉是三好学生, Q:王丽是三好学生 P?Q (5) 张辉与王丽是同学. 解 (5) P:张辉与王丽是同学（是简单命题） (1)—(3) 说明描述合取式的灵活性与多样性 (4)—(5) 要求分清 “与” 所联结的成分 析取词“∨” 析取词（Disjunction） 是二元联结词。相当于自然 语言中的“或”、“要么… 要么…”等，真值表如右图。 析取联结词的实例 例3 将下列命题符号化 2 或 4 是素数. 解 (1) 令P:2是素数, Q:4是素数, P?Q (2) 2 或 3 是素数. 解 (2) 令P:2是素数,