数理逻辑1的.ppt

第一部分 数理逻辑 逻辑学 是一门研究思维形式和规律的科学。分为辩证逻辑和形式逻辑两种。思维的形式结构包括了概念﹑判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对事物是否具有某种属性进行肯定或否定的回答，就是判断。由一个或几个判断推出另一判断的思维形式就是推理。 数理逻辑 用数学方法研究推理的规律称为数理逻辑。所谓数学方法就是引用一套符号体系的方法，所以数理逻辑又称作符号逻辑。 /21cn/%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%EF%BC%88%E5%8C%97%E5%A4%A7%EF%BC%89/ 第一部分 数理逻辑 现代数理逻辑 逻辑演算、逻辑演绎、模型论、证明论、递归函数论、公理化集合论等。 我们要介绍的是数理逻辑中最基本的内容：命题逻辑和谓词逻辑。即一般所谓的古典逻辑。 德国数学家莱布尼茨Leibniz（现代逻辑的首席创始人）；布尔Boole （奠基人，逻辑的数学分析）；弗雷格（数论的基础） 第一章 命题逻辑的基本概念 命题逻辑也称命题演算或语句逻辑。它研究以“命题”为基本单位构成的前提和结论之间的可推导关系，研究什么是命题？如何表示命题？怎样由一组前提推导一些结论。 1.1 命题与命题联结词 例1-1：命题示例。 (a):今天下雪 (b):3+3=6 (c):2是偶数而3是奇数 (d):陈胜起义那天，杭州下雨 (e):较大的偶数都可表为两个质数之和 (f):x+y4 (g):真好啊! (h):x=3 (i):你去哪里？ (j):我正在说谎。 注意：由定义知，一切没有判断内容的句子如命令，感叹句，疑问句，祈使句，二义性的陈述句等都不能作为命题。 1.1 命题与命题联结词 例1-2：下列句子哪些是命题，判断命题的真假。 (1):2是素数 (2):北京是中国的首都 (3):这个语句是假的 (4):x+y0 (5):我喜欢踢足球 (6):地球外的星球上也有人 (7):明年国庆节是晴天 (8):把门关上 (9):你要出去吗？ (10):今天天气真好啊！ 1.1 命题与命题联结词 注意 命题一定是通过陈述句来表达；反之，并非一切的陈述句都一定是命题。 命题的真值有时可明确给出，有时还需要依靠环境条件，实际情况，时间才能确定其真值。但其真值一定是唯一确定的。 1.1 命题与命题联结词 命题可分为两种类型： 简单命题：若一个命题已不能分解成更简单的命题，则该命题叫简单命题或原子命题或本原命题（Simple proposition） 复合命题（Compound proposition）：可以分解为简单命题的命题，而且这些简单命题之间是通过关联词（如“或者”,“并且”,“不”，“如果… 则…”,“当且仅当”等）和标点符号复合而构成一个复合命题。 例：呼市是内蒙古的首府当且仅当鸟会飞。 简单命题符号化 用小写英文字母 p, q, r, …, pi, qi, ri (i=1,2,...)表示简单命题 用“1”表示真，用“0”表示假 例如，令 p： 是有理数，则 p 的真值为0， q：2 + 5 = 7，则 q 的真值为1 1.1 命题与命题联结词 1.1.2 命题联结词 命题通常可以通过一些联结词复合而构成新的命题，这些联结词被称为命题联结词。用数学方法研究命题之间的逻辑关系时（也就是在命题演算中），这些联结词可以看作是运算符，因此也叫作逻辑运算符。 常用的联结词有以下5个： 定义1.2（否定联结词）：设p是任一命题，复合命题“非p”（或“p的否定”）称为p的否定式（Negation），记作?p，“?”为否定联结词。 ?p为真当且仅当p为假。 如：p：2是素数，则?p：2不是素数。 1.1 命题与命题联结词 定义1.3（合取联结词）：设p ﹑q是任意两个命题，复合命题“p并且q”（或“p和q”）称为p与q的合取式（Conjunction），记作p ∧ q，“∧ ”为合取联结词。 p ∧ q为真当且仅当p，q同为真。 例，p：2是素数，q：2是偶数。则p ∧ q：2是素数并且是偶数。 合取联结词的实例 例1-3 将下列命题符号化. (1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3) 吴颖虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解 令p:吴颖用功, q:吴颖聪明 (1) p?q (2) p?q (3) ?p?q (4) 设p:张辉是三好生, q:王丽是三好生 p?q (5) p:张辉与王丽是同学 (1)—(3) 说明描述合取式的灵活性与多样性 (4)—(5) 要求分清 “与” 所联结的成分 1.1 命题与命题联