第3章命题逻辑题材.ppt

数理逻辑（Mathematical Logic）是研究演绎推理的一门学科,是逻辑学的主要分支（辩证逻辑、形式逻辑）； 它的主要研究内容是推理，特别着重于推理过程是否正确； 它不是研究某个特定的语句是否正确，而是着重于语句之间的关系。 它的主要研究方法是采用数学的方法来研究数学推理、数学性质和数学基础； 所谓数学方法就是引进一套符号体系的方法，所以数理逻辑又叫符号逻辑（Symbolic Logic）。;什么是数理逻辑？ 用数学的方法来研究推理的规律统称为数理逻辑。 为什么要研究数理逻辑？ 程序＝算法＋数据 算法＝逻辑＋控制;主要研究内容;第3章 命题逻辑;3.0 内容提要;3.1 本章学习要求;3.2.1 命题 定义3.2.1 具有确切真值的陈述句称为命题,该命题可以取一个“值”，称为真值。;太阳是圆的； 成都是一个旅游城市； 北京是中国的首都； 1＋1＝10； 我喜欢看足球比赛； 3能被2整除； 地球外的星球上也有人； 中国是世界上人口最多的国家； 今天是晴天； ｘ+y０；;例3.2.1(续);四川不是一个国家； 3既是素数又是奇数； 张谦是大学生或是运动员； 如果周末天气晴朗，则我们将到郊外旅游； 2+2=4当且仅当雪是白的。;一般来说，命题可分两种类型： 原子命题(简单命题)：不能再分解为更为简单命题 的命题。 复合命题：可以分解为更为简单命题的命题。而且 这些简单命题之间是通过如“或者”、“并且”、 “不”、“如果...，则...”、“当且仅当”等这样的 关联词和标点符号复合而构成一个复合命题。;P：今天天气很冷。 Q：今天天气很冷并且刮风。 R：今天天气很冷并且刮风，但室内暖和。;3.2.2 命题联结词;合取联结词;析取联结词;蕴涵联结词;等价联结词;总结;说明;（1）合取联结词“∧”对应了自然语言的“既…又…”、“不仅…而且…”、“虽然…但是…”、“并且”、“和”、“与”等；;符号化下列命题 （1）四川不是人口最多的省份； （2）王超是一个德智体全面发展的好学生； （3）教室的灯不亮可能是灯管坏了或者是停电了； （4）如果周末天气晴朗，那么学院将组织我们到石 像湖春??； （5）两个三角形全等当且仅当三角形的三条边全部 相等。;为了不使句子产生混淆，作如下约定，命题联结词之 优先级如下：;设命题 P：明天下雨； Q：明天下雪； R：我将去学校。 符号化下述语句： 除非明天不下雨并且不下雪，否则我将不去学校。 只要明天不下雨或不下雪，我就去学校。 只有明天不是雨夹雪，我才去学校。 明天上午我将雨雪无阻一定去学校;例3.2.5;3.2.3 联结词理解难点;（4）联结词“→”是自然语言中的“如果…，则…”，“若…，才能…”、“除非…，否则…”等的逻辑抽象。主要描述方法有： （1）因为P 所以Q； （2）只要P 就 Q； （3）P 仅当 Q； （4）只有Q，才P； （5）除非Q，才P； （6）除非Q，否则非P； （7）没有Q，就没有P。 ;如：设 P：雪是白色的； Q：2+2=4。 将下列命题符号化： 因为雪是白色的，所以2+2=4； 如果2+2=4，则雪是白色的； 只有雪是白色的，才有2+2=4； 只有2+2=4，雪才是白色的； 只要雪不是白色的，就有2+2=4； 除非雪是白色的，否则2+2≠4； 雪是白色的当且仅当2+2=4；; 在自然语言中，前件为假，不管结论真假，整个语句的意义，往往无法判断。但在数理逻辑中，当前件P为假时，不管Q的真假如何，则P→Q都为真。此时称为“善意推定”；这里要特别提醒一下“→”的含义，在自然语言中，条件式中前提和结论间必含有某种因果关系，但在数理逻辑中可以允许两者无必然因果关系，也就是说并不要求前件和后件有什么联系；;（5）双条件联结词“?”是自然语言中的“充分必要条件”、“当且仅当”等的逻辑抽象； （6）联结词连接的是两个命题真值之间的联结，而不是命题内容之间的连接，因此复合命题的真值只取决于构成他们的各原子命题的真值，而与它们的内容、含义无关，与联结词所连接的两原子命题之间是否有关系无关；;（7）联结词“∧”、“∨”、“?”具有对称性，而联结词“┐”、“→”没有； （8）联结词“∧”、“∨”、“┐”同构成计算机的与门、或门和非门电路是相对应的，从而命题逻辑是计算机硬件电路的表示、分析和设计的重要工具。;3.2.4 命题联结词的应用;用复合命题表示如下图所示的逻辑电路：;3.3 命题公式、解释与真值表;3.3.1 命题公式;例3.3.1 符号串： ((P∧(Q∨R))→(Q∧(┐S∨R)))；