《命题逻辑真值形式》由会员分享,可在线阅读,更多相关《命题逻辑真值形式(12页珍藏版)》请在金锄头文库上搜索。
1、第一章命题逻辑一、真值形式1. 命题及其真值、原子命题和复合命题前题及其真值我们已经知道,作为逻辑研究主要对象的推理,是一个命题序列,是从某个或某些命题 得到某个命题的思维过程。那么,什么是命题呢?命题是表达判断的语句。所谓判断,就是人对思维对象有所断定。一切能被人思考的客体都构成思维对象,简称对象。对象可以是有形的,也可以是无形 的;可以是物质的,也可以是精神的;可以是存在的,也可以是不存在的。总之,包罗万象。 对象要能被思考,必须具有一定的性质,处于定的关系之中。对象的性质和对象之间的 关系.统称对象的属性。没有属性的对象,是不存在的。判断对对象有所断定,就是断定对象具有或不具有某种属性。
2、判断用语句的形式表达出来,就是命题。例如:(1) 所有不受外力作用的物体都作匀速直线运动。(2) 上帝是万能的追物主。(3) 如果上帝是万能的造物主,那么他既能又不能造出一块他自己都无法举起的石头。这些都是命题。命题都有真假。没有真假的语切不表达确定的判断.因而不是命题。命题的真或假,称为命题的真值。也就是说,命题的真值包括两个值,值是真”,另一个值是“假”。真命题的真值是“真”,假命题的真值是“假”。原子命题和复合命题原子命题是不包含和自身不同的命题的命题。例如:(1) 癌症是遗传的。(2) 癌症不是遗传的。(3) 并非癌症是遗传的。(4) 如果癌症是遗传的,那么老李患癌症是不可避免的。(5
3、) 老李知道癌症是遗传的。其中,句(1)和句(2)是原子命题,因为其中不包合和自身不同的命题,而句(3)、句(4)和 句(5)不是原子命题,因为这些命题中都包含了和自身不同的命题划横线的部分),这样的命 题称为支命题。像句(3)、句(4)和句(5)这样的命题,虽然都是包含支命题的非原子命题.但它们之间存 在重要的区别。句(3)和句(4)的真值是由其支命题的真值惟一地确定的,而句(5)则不是。如果“癌症是遗传的”是真的,则句(3)是假的;如果“癌症是遗传的”是假的,则句3)是真 的。如果“癌症是遗传的”是真的,并且“老李患癌症是不可避免的”是假的,则句4)是假的; 在支命题的其他真假情况下,句(
4、4)都是真的。句的真值却不是由其支题的真值性一地确定的:如果“癌症是遗传的”是真的,则 句(5)可以是真的,也可以是假的。像句(2)和句(4)这样的命题,称为复合命题。在命题逻联中,复合命题指这样的命题:第一。它包含和自身不同的命题作为支命题; 第二,它的真值由其支命题的真值惟一地确定。复合命题的支命题可以是原子命题,也可以是复合命题。复合命题最终是出原子命题依 据一定的逻辑关系构成,依据这种逻辑关系,原子命题的真值,惟一地确定由其构成的复合 命题的真值。表达这种逻辑关系的语词,称为联结词。因此,复合命题的终极构成成分只有 两个,一个是原子命题,另一个是联结词。例如,上例句3)中的联结向是“并
5、非”;句(4)中的 联结词是“如果,那么”。2. 真值联结词.真值形式.常用真值联结词真值联结词和真值形式日常语言所表达的联结问,除了表达原子命题和复合真假关系之外,在特定的语境下, 还会表达其他某些意思。例如:(1) 小张和小李结了婚,并见有了孩子。如果交换句(1)中两个支命题的位置,得到:(2) 小张和小李有了孩子,并且结了婚。句(2)的含义显然较之句(1 )有了变化。这说明,这里联结词“并且”除了断定两个支命题都 是真的以外,还表达了其他什么意思。如果只保留联结词中对于真假关系的断定,我们就从联结词得到了真值联结词。因此, 真值联结词是对联结词的一种抽象,它刻画并且只刻画原子命题和由其构
6、成的复合命题之间 的真假关系。在命题逻辑中,真值联结词用专门的符号表示。由真值联结词构成的复合命题 的形式结构,就是真值形式。例如,句(1)的真值形式是P a q,其中,小”是真值联结词, 读作“合取”,表示“并且”;p和q称作命题变项,表示原子命题。因此,真值形式也就是命 题变项和真值联结词的合式构成。单个命题变项也是真值形式,真值联结词在其中零次出现。 特殊地,如果命题变项和真值联结词都零次出现,这样的真值形式称为空式。空式也是真值 形式。在某些场合,空式的概念不可缺少。另外,真值形式必须是有限构成的,即是有限长 的符号串。,在以后的讨论中,p,q,表示命题变项,A,B,C表示任意的真值形
7、式。常用真值联结词这里定义五个常用真值联结词,即“a ”、“v ”、“t ”、“”和J”及相关的五个基本真 值形式。合取真值形式“ P a q ”,读作“p合取q”,断定:p和q都是真的。也就是说p和q中,只要 有一个是假的,p a q就是假的。“ p a q ”可如下定义:上面这样的表格,称为真值表。其中,“1”表示真,“o”表示假。真值表列出了在原子命 题的每一组真值组合下复合命题的真值。因此,正如下面将要说明的,一个完整的真值表, 就定义了一个真值函数。不同的真值表,定义不同的真值函数。以上的真值表说明,关于八的真值运算,下面的等式成立:1 A 1 = 1; 1 A 0 = 0 A 1
8、= 0 A 0 = 0。在日常语言中,“pA q”表述为“P并且q”,“不但P,而且q”等等。合取式相当于传统 逻辑中的联言命题。析取真值形式“ P V q ”,读作“p析取q”,断定:P和q中至少有一个是真的。也就是说,只 有当p和q都是假的,p V q才是假的。“ P v q ”可如下定义:以上的真值表说明,关于V的真值运算,以下的等式成立:1 V 1 = 1 V 0 = 0 V 1 = 1;0 V 0 = 0。在日常语言中,“P V q ”表述为“p或者q”。析取式相当于传统逻辑中的相容选言命题。蕴涵真值形式“ P T q ”,读作“P蕴涵q”,断定:只有当p真和q假时,P T q才是假
9、的; 在其余情况下,P T q都是真的。“ P T q ”可如下定义:如上定义的蕴涵.称为“实质蕴酒。以上的真值表说明,关于T的真值运算,以下的等式成立:1 T 0 = 0;1 T | = 1 T 0 = 0 T 0 = |。在日常语言中,“P T q ”表述为“如果P,那么q”,“只要P,就q”,等等。蕴涵式相当 于传统逻辑中的充分条件假言命题。“ P T q ”和“如果P,那么q”的含义是有区别的。“如果P,那么4”除了表示“不会P 真而q假”这种p和q之间的真假关系以外,根据具体的语境,还可能表示P和q之间的其 他联系;而“P T q ”除了表示“不会P真而q假”以外,不表示P和q之间的
10、任何其他联系。 因此,如果“如果p,那么q”成立.则“P T q ”成立:但反过来,如果“P T q ”成立,则“如 果p,那么q”不一定成立。在后面的情况下.就会出现所谓的“蕴涵怪论”。根据“蕴涵”的定义,只有当一个真命题蕴涵一个假命题的时候,这个蕴涵式才是假的, 因此,假命题可以蕴涵任何命题,而真命题可以被任何命题蕴涵。这样,因为废话是财富” 是个假命题,因此,它既可以蕴涵“夸夸其谈者可以成为百万富翁”,又可以蕴涵“夸夸其谈 者将一贫如洗”。事实上,我们可以接受“如果废话是财富,那么夸夸其谈者可以成为百万富 翁为真命题,但不能接受“如果废话是财富。那么夸夸其谈者将一贫如洗为真命题,特别 是
11、不能把这两个内容正好相悖的命题,同时接受为真命题。像“如果废话是财富.那么夸夸 其谈者将一贫如洗这样的在实质蕴涵的意义上被确认为真,在事实上难以成立或显 然不能成立的条件命题。就称为“蕴涵怪论”。为了排除蕴涵怪论,逻辑学家定义了一种有别于实质蕴涵的“严格蕴涵_从而产生了一 个重要的逻辑分支模态逻辑。基于实质蕴涵的一阶逻辑不排除蕴涵怪论。这里的关键问题是,华r q-不完全等同于“如果p,那么q”,而只是对后者的一种真值抽象。推理和蕴涵有着密切的联系。我们说从前提A能推出结论B,意思就是说,如果A是 真的,那么B就不会是假的,这正是A蕴涵B的意思。因此,一个推理的真值形式就是一 个蕴涵式。等值真值
12、形式“ P Iq”,读作“p当且仅当q”,也读作“p和q等值”,断定:p和q具有相同 的真值。“p I q”可如下定义:以上的真值表说明,关于I的真值运算,以下的等式成立:111 = 010=1 ; 110=011=0。在日常语言中,“pIq”表述为“如果p,那么q ;并且只有p才q”。等值式相当于传 统逻辑中的充分必要条件假言命题。定义所表达的定义项和被定义项之间的关系就是一种常见的等价关系。换句话说,如果 两个命题之间具有等值关系,它们是可以互相定义的。显然,如果P蕴涵q,并且q蕴油p,则p和q就是等值的。反之亦然。也就是说“pI q”可定义为“(P r q)A(q r p)”。并非真值形
13、式“p ”,读作“并非p”,断定p和p具有不同的真值。P ”可如下定义:Pp1001关于-的真值运算,以下的等式成立1 = 0;0 = 1。例完成以下的真值运算:(G A0)T 0).(0 V 1)解(1 A。)T 0). (0 V 1)二(1 A 1)t 0). 1二G T 0). 1二0.1二 1 . 1二13 .命题逻辑层次上的自然语言符号化复合命题的真值形式命题推理及其真值形式复合命题的真值形式基于上面所定义的常用真值联结词,就可以在命题逻辑的层次上对自然语言进行符号 化,也就是对自然语言所表达的复合命题和命题推理,抽象出它们的真值形式。把自然语言所表达的复合命题翻译成相应的真值形式,
14、其步骤是:第一,确定复合命题 所包含的所有不同的原于命题;第二,用同一命题变项表示所有相同的原子命题,用不同的 命题变项分别表示所有不同的原子命题(表示命题变项的符号是小写英文字母p、q、r、s、 t);第三,确定复合命题所断定的支命题之间的逻辑关系,并用相应的真值联结词加以表 达;第四,依据确定的层次,写出整个复合命题的真值形式。下面通过实例加以说明。例1写出下列各复合命题的真值形式:(1)要么总经理辞职,要么董事长承担全部责任。令P表示总经理辞职,q表示董事长承担全部责任。命题(1)断定p和q两个命题有且 只有一个为真,因此,其真值形式是 :(p aq)v Qp a q)。pvq表示传统逻
15、辑中的相容选言命题;在传统逻辑中,表示不相容选言命题的联结词 是“要么,要么”。本例说明,不相容选言命题|“要么P,要么q”的真值形式是(2)只有确保产品质量,企业才能具备起码的竞争力。令P表示(企业)确保产品质量,q表示企业具备起码的竞争力。命题2)断定p是q的必 要条件,即无p则无q。因此,其真值形式是:P Tq。p T q和p . q分别表示传统逻辑中的充分条件和充分必要条件假言命题;在传统逻辑 中,表示必要条件假言命题的联结词是“只有才”。本例说明,|必要条件假言命题“只有P,才有q”的真值形式是p Tq。3除非制定的法律都能得到有力的实施,否则,依法治国就是一句空话。令P表示制定的法律都能得到有力的实施,q表示依法治国是一句空话。命题(3)的真值(4)明天将举行全校运动合,除非天下雨。令P表示明天将举行全校运动会,q表示(明)天下雨。题(4)的真值形式是:p T q。例2写出下列各复合命题的真值形式:(1)如果恐怖分子的要求能在规定期限内满足,则全体人质就能获释;否则,恐怖分子 就要杀害人质,除非特种部队能实施有效的营救。令p表