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

数理逻辑 数理逻辑的内容可分为五部分： 逻辑演算 证明论 公理集合论 递归论 模型论 介绍命题逻辑和谓词逻辑的逻辑演算 命题和联结词 命题 是指客观上能够判断真或假的陈述句。 (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不在日常生活这个集合中. 因此我们就可以考虑能否从代数角度来引进有关逻辑的概念.这就需要引进泛代数的概念. 第十九章　泛代数 §1 引言 A上的n元运算实质上就是An→A的函数，t: An→A，n称为函数t的元。 例如：在群G中，可以定义一个一元运算i: G→G用来求逆元，即i(a)=a-1。 集合A上的0元运算为从集合A0(由于A0只有一个元素, 规定A0={?})到集合A 的函数，即t0: {?}→A。 A上的0元运算实质上是唯一对应了A中的某个元素，即给出A上的一个0元运算就是给出了A中的一个元素。 例如：A={1,2,3,4},t0(1)=1, t0(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}，这时+和?同是二元函数R?R?R，但在环中应视为不同的运算 怎样既区分它们又表达它们共性的问题。 定义19.1:设ar为集合T到非负整数集N的函数，则称集合T和函数ar为一个类型(type)，记为T =(T,ar)，也可简记为T。 T既可表示类型T又可表示集合T。 构造T的子集Tn={t?T|ar(t)=n}。 定义19.2:设A是一个集合，T为一个类型，T中每个元素t对应于A上的一个函数 tA:Aar(t)→A，则称集合A和{tA|t?T}构成类型为T的一个代数A(Algebra)，或称为T-代数。元素t?Tn称为n元T-代数运算 注意: tA:Aar(t)→A,因此tA就是集合A上的ar(t)元运算。通常将函数即运算tA(a1,a2,?, aar(T)),简写为t(a1,a2,?, aar(T))，且用A同时表示集合A和类型T的一个代数A。 例:设T=({e,-,*},ar)。这里ar(e)=0,ar(-)=1, ar(*)=2 “e”可定义0元，“-”可定义逆元，“*”可定义乘运算。 群G可以看作为上述类型的代数。 当e所对应的G中的元素e满足: 对G中任意元