数理逻辑数理逻辑的内容可分为五部分.pptVIP

第十七章 数理逻辑预备知识 § 1 命题和联结词 ? ? ? ? ? ? ? ? 命题 是指客观上能够判断真或假的陈述 句。 (2)3 + 4 = 8 。 (4) 明天是晴天。 (5) 本句话是错的。 (7) 走，到图书馆去！ (8) 你明天下午出去吗 ? (9)2 既是素数又是偶数。 (10) 雪不是白的。 ? 基本的，原始的命题称为 原子命题 ? 语句 (9) 可由“ 2 是素数”与“ 2 是偶数” ? 这两个命题用“与”这个词联结组合而 成 ? 由更小的命题组合而成的命题称为 复合 命题 。 ? 将几个命题联结组合起来的方式称为 联 结词 。 ? 常用的联结词有下列 5 个 : ? (1) 联结词“非”，记为“ ? ”，表示“否定” ? ? ? ? 的意思。 (2) 联结词“合取”，记为“ ? ”，表示“并 且”的意思。 (3) 联结词“析取”，记为“ ? ”，表示“或” 的意思。 (4) 联结词“蕴含”，记为“ → ”，表示 “如果 … ，则 … ”的意思。 (5) 联结词“等价”，记为“ ? ”，表示 “当且仅当”的意思。 ? 由于命题是能够判断真假的陈述句，因 ? ? ? ? ? 此给定一个命题就可确定其是真或假。 真和假是命题的 值 ( 或 真假值 ) 。 ? P 为真当且仅当 P 为假； P ? Q 为真当且仅当 P 、 Q 皆为真； P ? Q 为真当且仅当 P 、 Q 中至少有一个为 真； P→Q 除 P 为真且 Q 为假这种情况外，皆为 真； P ? Q 为真当且仅当 P 、 Q 有相同真假值。 ? 把组成一个复合命题的若干个原子命题 用符号表示，那么就可用这些符号和联 结词符号一起来表达该复合命题，这样 的方式称为 命题符号化 。 ? 例 : 李明今天下午看电影或者看录像”， 用 P 表示“李明今天下午看电影”，用 Q 表示“李明今天下午看录像”，则原语 句应表示成： P ? Q ? 明天中午 12:00, 他或者去北京或者去广州 ? 只有在天晴时，我们才去郊游 ? 利用联结词 , 我们可以把日常的命题写成 ? ? ? ? ? 符号串 . 那么是否任何符号串都是某个日 常命题的符号化呢 ? 回答是否定的 . 例如 :p ? , ? q 就不是 . 那么什么样的符号串才是合适的呢 ? 通常采用递归的方式 : p,q 是命题 , 则 ? p,p ? q,p ? q , p→q,p ? q 也 是命题 我们希望能够找到其他方式来定义 . ? 如果把联结词看作为运算 , 把 p,q 看作为日 常生活这个集合中的元素 , 那么利用运算 的封闭性 , 可以发现所谓 p ? , ? q 不对应某 个日常命题 , 实质是 p ? , ? q 不在日常生活 这个集合中 . ? 因此我们就可以考虑能否从代数角度来 引进有关逻辑的概念 . 这就需要引进泛代 数的概念 . § 2 泛代数 ? n A 上的 n 元运算实质上就是 A →A 的函数， t: A n →A ， n 称为函数 t 的 元 。 ? 例如：在群 G 中，可以定义一个一元运 -1 算 i: G→G 用来求逆元，即 i(a)=a 。 ? 集合 A 上的 0 元运算为从集合 A 0 ( 由于 A 0 0 只有一个元素 , 规定 A ={ ? }) 到集合 A 的 函数，即 t 0 : { ? }→A 。 ? A 上的 0 元运算实质上是唯一对应了 A 中 的某个元素，即给出 A 上的一个 0 元运算 就是给出了 A 中的一个元素。 ? 例如： A={1,2,3,4},t 0 (1) =1, t 0 (2) =2 ? 把 0 元运算看作为 A 中的一个特定元素。 ? 例如在群 G 中，定义 0 元运算 e*:{ ? }→G ， 使得 e*( ? )=e( 这里 e 为群 G 的单位元 ) ? 0 元运算 e* 实际上就给出了群 G 的单位元 ? 不加区分地把 0 元运算 e* 就看作为单位元 e ，同样把 e 看作为 0 元运算。 ? 必须说明的是 : 0 元运算实质上是一 个函 数 , 但因唯一对应了 A 中某个元素 a, 才把 该 0 元运算等同于元素 a. ? 运算的定义存在一些缺陷。 ? 设群 G ， H 的乘法运算分别为： ? ? ? ? * G :G ? G ? G ， * H :H ? H ? H ， 实际使用时通常用同一记号 * 来表示 环 R 是一种带两个二元运算 +, ? 的代数系 统 零环就是 R={0} ，