Chapt-14课品.pptVIP

第三篇 数理逻辑 数理逻辑是一门用数学方法来研究推理过程的数学分支，包含着逻辑演算、证明论、递归论、模型论、公理集合论等丰富的内容。逻辑方法在数学中用于定理证明，在计算机科学中，用来证明程序是在做它应该做的事。 本篇只介绍数理逻辑中最基础的逻辑演算部分，主要包括命题逻辑和一阶逻辑。 第十四章 命题逻辑 14.1 命题与逻辑连接词 14.2 命题公式与等值演算 14.3 对偶与范式 14.4 推理理论 14.5 命题演算的公理系统 14.1 命题与逻辑连接词 本节的知识点： 命题的概念 简单命题与复合命题 命题与命题变元 五种常用的连接词 命题的概念—— 自然语言是人交流思想的工具，由于其歧义性，不利于作为严格推理的工具。为此，要建立一种形式化的语言，把它称之为对象语言，把自然语言称之为元语言。在对象语言中需要引进一种类似于元语言中“语句”的基本单元—命题。 朴素直观的立场上的解释：从逻辑上看命题就是判断，从思维形式对客观世界的反映看，它具有表述、报道的作用，并通过表述，显示一种肯定与否定的功能。判断在自然语言中通常是用陈述句来表示的，因此， 凡具有真假意义的陈述句均称为命题。 举例说明： 地球绕着月亮转。 1+1=3。 禁止烟火！ 地球会爆炸。 明天会下雨吗？ 如果明天天气晴朗，我就出去散步。 命题的取值 若一个命题是真的，则称该命题的真值为“真”，用Ｔ或１表示；如果一个命题是假的，则称为该命题的真值为“假”，用Ｆ或０表示。 由于一个命题的真值只可能取“真”或“假”两种值，因此，命题逻辑又称为“二值逻辑”。 简单命题与复合命题 复合命题——　命题可以通过命题逻辑连接词构成新的命题，即复合命题。复合命题的子命题也可以是复合命题。 简单命题——　不是复合命题的命题。它不含任何连接词。在命题逻辑中，简单命题被看作是一个整体，不再分析其内部的逻辑形式。 显然，复合命题的真值依赖于其中简单命题的真值。 五种常用的联结词 否定联结词“?”的定义(14.1.1) 　设Ｐ是命题，复合命题“?Ｐ”是Ｐ的否定，规定?Ｐ为真当且仅当Ｐ为假。即 　Ｐ为１，则?Ｐ为０； 　Ｐ为０，则?Ｐ为１。 例：Ｐ：今天出太阳。 ?Ｐ：今天不出太阳。 　　 合取联结词“∧”的定义(14.1.2) 　 设Ｐ，Ｑ是命题，复合命题“Ｐ并且Ｑ”称为Ｐ和Ｑ的合取。规定Ｐ∧Ｑ为真当且仅当Ｐ与Ｑ同时为真。真值表如下： 例： Ｐ：２是偶数。 　　 Ｑ：２是质数。 　　Ｐ∧Ｑ：２既是偶数又是质数。 自然语言中的： 并且、以及、和、不仅…而且、虽然…但是、尽管…仍然等词汇的意义都与合取词“∧”相当。但不要完全等同起来,合取词“∧”只是保留了这些词汇的逻辑内容. 析取联结词“∨”的定义(14.1.3) 　 设Ｐ，Ｑ是命题，复合命题“Ｐ或者Ｑ”称为Ｐ和Ｑ的析取。规定Ｐ∨Ｑ为真当且仅当Ｐ与Ｑ至少有一个为真。真值表如下： 例：Ｐ：下午我看书。 　　Ｑ：下午我玩电游。 　　Ｐ∨Ｑ：下午我看书，或者玩电游。 本定义表示的是一种“可兼式”,但在自然语言中,有时“或”表示的是“不可兼或”.对于“不可兼或”可以用另外的联结词表示. 蕴涵联结词“?”的定义(14.1.4) 　 设Ｐ，Ｑ是命题，复合命题“如果Ｐ，则Ｑ”称为Ｐ蕴涵Ｑ。称Ｐ为条件，Ｑ为结论。规定Ｐ?Ｑ为假当且仅当Ｐ为真而Ｑ为假。真值表如下： 例：Ｐ：他晚上有事。 　　Ｑ：他不参加会议。 　Ｐ?Ｑ：如果他晚上有事,他就不参加会议。 复合命题Ｐ?Ｑ在自然语言中有多种表示方式： 如果P，则Q；若P，则Q；P是Q的充分条件；Q是P的必要条件；Q，如果P；Q，只要P；P蕴涵Q；P推出Q；Q是P的逻辑结论。 等价联结词“?”的定义(14.1.5) 　 设Ｐ，Ｑ是命题，复合命题“Ｐ当且仅当Ｑ”称为Ｐ等价于Ｑ。规定Ｐ?Ｑ为真当且仅当Ｐ与Ｑ同时为真或同时为假。真值表如下： 例：Ｐ：彗星撞地球。 　　Ｑ：太阳从西边升起。 　Ｐ?Ｑ：彗星撞地球当且仅当太阳从西边升起。 要注意的是，命题符号化的过程中，使用联结词构成复合命题时，并不顾及命题的含义，而只考虑命题之间的形式关系。例如： P：1+1=3 Q：太阳绕着地球转 P ?Ｑ：如果1+1=3，则太阳绕着地球转 按定义命题P ?Ｑ为真，而日常生活中可以说P和Q是风