命题逻辑真值形式.docx

1、命题逻辑真值形式第一章命题逻辑一、真值形式1命题及其真值、原子命题和复合命题前题及其真值我们已经知道，作为逻辑研究主要对象的推理， 是一个命题序列，是从某个或某些命题得到某个命题的思维过程。那么，什么是命题呢？命题是表达判断的语句。所谓判断，就是人对思维对象有所断定。一切能被人思考的客体都构成思维对象， 简称对象。对象可以是有形的，也可以是无形的；可以是物质的，也可以是精神的； 可以是存在的，也可以是不存在的。 总之，包罗万象。 对象要能被思考，必须具有一定的性质， 处于定的关系之中。 对象的性质和对象之间的 关系统称对象的属性。没有属性的对象，是不存在的。判断对对象有所断定，就是断定对象具有

2、或不具有某种属性。判断用语句的形式表达出来，就是命题。例如：(1)所有不受外力作用的物体都作匀速直线运动。(2)上帝是万能的追物主。如果上帝是万能的造物主，那么他既能又不能造出一块他自己都无法举起的石头。这些都是命题。命题都有真假。没有真假的语切不表达确定的判断因而不是命题。命题的真或假，称为命题的真值。也就是说，命题的真值包括两个值，一个值是“真” ，另一个值是“假”。真命题的真值是“真”，假命题的真值是“假”。原子命题和复合命题原子命题是不包含和自身不同的命题的命题。例如：(1)癌症是遗传的。(2)癌症不是遗传的。(3)并非癌症是遗传的。(4)如果癌症是遗传的，那么老李患癌症是不可避免的。

3、(5)老李知道癌症是遗传的。其中，句 和句 是原子命题，因为其中不包合和自身不同的命题，而句 (3)、句和句(5)不是原子命题，因为这些命题中都包含了和自身不同的命题 (划横线的部分),这样的 命题称为支命题。像句(3)、句(4)和句(5)这样的命题，虽然都是包含支命题的非原子命题.但它们之间存 在重要的区别。句 和句的真值是由其支命题的真值惟一地确定的，而句 则不是。如果“癌症是遗传的”是真的，则句 (3)是假的；如果“癌症是遗传的”是假的，则句(3)是真的。如果“癌症是遗传的”是真的，并且“老李患癌症是不可避免的”是假的，则句 是假的；在支命题的其他真假情况下，句 (4)都是真的。句(5)

4、的真值却不是由其支题的真值性一地确定的：如果“癌症是遗传的”是真的，则句(5)可以是真的，也可以是假的。像句 和句 这样的命题，称为复合命题。在命题逻联中，复合命题指这样的命题：第一。它包含和自身不同的命题作为支命题； 第二，它的真值由其支命题的真值惟一地确定。复合命题的支命题可以是原子命题， 也可以是复合命题。 复合命题最终是出原子命题依据一定的逻辑关系构成，依据这种逻辑关系，原子命题的真值，惟一地确定由其构成的复合 命题的真值。表达这种逻辑关系的语词， 称为联结词。因此，复合命题的终极构成成分只有两个，一个是原子命题，另一个是联结词。例如，上例句 （3）中的联结向是“并非”；句（4）中的联

5、结词是“如果，那么” 。2 真值联结词真值形式常用真值联结词真值联结词和真值形式日常语言所表达的联结问，除了表达原子命题和复合真假关系之外，在特定的语境下， 还会表达其他某些意思。例如：（1） 小张和小李结了婚，并见有了孩子。如果交换句 中两个支命题的位置，得到：（2） 小张和小李有了孩子，并且结了婚。句（2）的含义显然较之句（1）有了变化。这说明，这里联结词“并且”除了断定两个支命 题都是真的以外，还表达了其他什么意思。如果只保留联结词中对于真假关系的断定，我们就从联结词得到了真值联结词。因此， 真值联结词是对联结词的一种抽象， 它刻画并且只刻画原子命题和由其构成的复合命题之间的真假关系。在

6、命题逻辑中，真值联结词用专门的符号表示。 由真值联结词构成的复合命题的形式结构，就是真值形式。例如，句 （1）的真值形式是p q，其中，“ ”是真值联结词，读作“合取”，表示“并且”；p和q称作命题变项，表示原子命题。因此，真值形式也就是 命题变项和真值联结词的合式构成。 单个命题变项也是真值形式， 真值联结词在其中零次出现。特殊地，如果命题变项和真值联结词都零次出现，这样的真值形式称为空式。 空式也是真值形式。在某些场合，空式的概念不可缺少。另外，真值形式必须是有限构成的，即是有 限长的符号串。，在以后的讨论中，p, q, r表示命题变项，A , B , C表示任意的真值形式。常用真值联结词

7、这里定义五个常用真值联结词，即“ 入”、“m”、“T ”、“”和“”及相关的五个基本真值形式。合取真值形式“ paq ”，读作“ p合取q”，断定：p和q都是真的。也就是说 p和q中， 只要有一个是假的，p q就是假的。“ p q ”可如下定义：pqp r111100010000上面这样的表格，称为真值表。其中， “1 ”表示真，“ o”表示假。真值表列出了在原子 命题的每一组真值组合下复合命题的真值。 因此，正如下面将要说明的，一个完整的真值表, 就定义了一个真值函数。不同的真值表，定义不同的真值函数。以上的真值表说明，关于 入的真值运算，下面的等式成立：1 1 = 1; 1 0 = 0 1

8、 = 0 0= 0。在日常语言中，“p代q”表述为“ P并且q”，“不但P,而且q”等等。合取式相当于 传统逻辑中的联言命题。析取真值形式“ p订q ”读作“ p析取q”断定：P和q中至少有一个是真的。也就是说, 只有当p和q都是假的，p q才是假的。“ p q ”可如下定义：pqP “q111101011000以上的真值表说明，关于 的真值运算，以下的等式成立：1 . 1 = 1 . 0 = 0 I 1 = 1 ; 0 I 0 = 0。在日常语言中，“ p vq 表述为“ p或者q”析取式相当于传统逻辑中的相容选言命 题。蕴涵真值形式“ pt q ”，读作“ P蕴涵q”断定：只有当p真和q假

9、时，pT q才是假 的；在其余情况下， p q都是真的。“ p q ”可如下定义：pqPT q111100011001如上定义的蕴涵.称为“实质蕴涵”。以上的真值表说明，关于 的真值运算，以下的等式成立：1一； 0= 0; 1一； 1=1 一； 0=0； 0=1。在日常语言中，“ PT q 表述为“如果 P,那么q” “只要P,就q”等等。蕴涵式 相当于传统逻辑中的充分条件假言命题。“ pT q ”和“如果P,那么q”的含义是有区别的。“如果P,那么q”除了表示“不会P真而q假”这种p和q之间的真假关系以外，根据具体的语境，还可能表示 P和q之间的其他联系；而“ p q ”除了表示“不会 P真

10、而q假”以外，不表示 P和q之 间的任何其他联系。因此，如果“如果 p,那么q”成立则“ p q ”成立：但反过来，如果“ p q ”成立，则“如果p,那么q”不一定成立。在后面的情况下就会出现所谓 的“蕴涵怪论”。根据“蕴涵”的定义，只有当一个真命题蕴涵一个假命题的时候，这个蕴涵式才是假 的，因此，假命题可以蕴涵任何命题，而真命题可以被任何命题蕴涵。这样，因为“废话是 财富”是个假命题，因此，它既可以蕴涵“夸夸其谈者可以成为百万富翁”，又可以蕴涵“夸 夸其谈者将一贫如洗”。事实上，我们可以接受“如果废话是财富，那么夸夸其谈者可以成 为百万富翁”为真命题，但不能接受“如果废话是财富。那么夸夸其

11、谈者将一贫如洗”为真 命题，特别是不能把这两个内容正好相悖的命题， 同时接受为真命题。像“如果废话是财富.那么夸夸其谈者将一贫如洗”这样的在实质蕴涵的意义上被确认为真， 在事实上难以成立或显然不能成立的条件命题。就称为“蕴涵怪论” 。为了排除蕴涵怪论，逻辑学家定义了一种有别于实质蕴涵的“ 严格蕴涵”，从而产牛了一个重要的逻辑分支一一模态逻辑。基于实质蕴涵的一阶逻辑不排除蕴涵怪论。 这里的关键问题是，“p)q”不完全等同于“如果p，那么q”，而只是对后者的一种真值抽象。推理和蕴涵有着密切的联系。 我们说从前提A能推出结论B,意思就是说，如果A是真的，那么B就不会是假的，这正是 A蕴涵B的意思。因

12、此，一个推理的真值形式就是一 个蕴涵式。等值真值形式“ pq”，读作“ p当且仅当q”，也读作“ p和q等值”，断定：p和q具有 相同的真值。“ p q可如下定义：pqPq111100010001以上的真值表说明，关于 的真值运算，以下的等式成立：1 1 = 0 0=1 ；仆 0=0， 1=0。在日常语言中，“pq”表述为“如果p，那么q ;并且只有p才q”。等值式相当于 传统逻辑中的充分必要条件假言命题。定义所表达的定义项和被定义项之间的关系就是一种常见的等价关系。 换句话说，如果两个命题之间具有等值关系，它们是可以互相定义的。显然，如果P蕴涵q,并且q蕴油p,则p和q就是等值的。反之亦然。

13、也就是说“pi q” 可定义为“ p_. qjq p ”。并非真值形式“”，读作“并非p”，断定p和p具有不同的真值。“ 一p ”可如下定义：Pp1001关于一的真值运算，以下的等式成立一1= 0； 0= 1。例完成以下的真值运算：-1 一0 0 尸 |：0 1解一 1 一0 r 0(0 1=一 1 1 一； 0 L 1=一 1 一； 0 1 11.1=13命题逻辑层次上的自然语言符号化复合命题的真值形式命题推理及其真值形式复合命题的真值形式基于上面所定义的常用真值联结词，就可以在命题逻辑的层次上对自然语言进行符号 化，也就是对自然语言所表达的复合命题和命题推理，抽象出它们的真值形式。把自然语

14、言所表达的复合命题翻译成相应的真值形式， 其步骤是：第一，确定复合命题所包含的所有不同的原于命题； 第二，用同一命题变项表示所有相同的原子命题， 用不同的命题变项分别表示所有不同的原子命题 (表示命题变项的符号是小写英文字母 p、q、r、s、t)；第三，确定复合命题所断定的支命题之间的逻辑关系，并用相应的真值联结词加以 表达；第四，依据确定的层次，写出整个复合命题的真值形式。下面通过实例加以说明。例1写出下列各复合命题的真值形式：(1)要么总经理辞职，要么董事长承担全部责任。令P表示总经理辞职，q表示董事长承担全部责任。 命题(1)断定p和q两个命题有且只有一个为真，因此，其真值形式是： p

15、q p q。p q表示传统逻辑中的相容选言命题；在传统逻辑中，表示不相容选言命题的联结词 是“要么，要么”。本例说明，不相容选言命题“ P,要么q”的真值形式是p q p q。(2)只有确保产品质量，企业才能具备起码的竞争力。令P表示(企业)确保产品质量，q表示企业具备起码的竞争力。命题 (2)断定p是q的必要条件，即无p则无q。因此，其真值形式是： p q。q和pi q分别表示传统逻辑中的充分条件和充分必要条件假言命题；在传统逻辑 中，表示必要条件假言命题的联结词是“只有才” 。本例说明,必要条件假言命题“只有P,才有q”的真值形式是 p、-q。命题(3)的真值3除非制定的法律都能得到有力的

16、实施，否则，依法治国就是一句空话。 令P表示制定的法律都能得到有力的实施， q表示依法治国是一句空话。形式是：p t q。明天将举行全校运动合，除非天下雨。令P表示明天将举行全校运动会,q表示(明)天下雨。是乞(4)的真值形式是：pT q。例2写出下列各复合命题的真值形式：(1)如果恐怖分子的要求能在规定期限内满足，则全体人质就能获释；否则，恐怖分子 就要杀害人质，除非特种部队能实施有效的营救。令p表示恐怖分子的要求能在规定期限内满足， q表示全体人质就能获释，r表示恐怖分子就要杀害人质，s表示特种部队能实施有效的营救。命题(1)的真值形式是：p- q 一卩一 ：r 。也可以写作 q i 1(

17、一p r)。事实上，以后将会看到，这两个形式真值是等值的。(2)如果大张在孩子落水的现场但没有参加营救，那么，或者他看到了孩子落水但却装 着看不见，或者他确实不会游泳。令P表示大张在孩子落水的现场， q表示大张参加了营救，r表示大张看到了孩子落水，s表示大张装着看不见孩子落水，t表示大张会游泳。命题的真值形式是：p-q ii：r s -t。大张看到了孩子落水，和大张装着看不见孩子落水，是两个没有真值关系的原子命题， 必须用不同的命题变项表示。 r表示大张看到了孩子落水， -r表示大张没看到孩子落水，而不表示大张装着看不见孩子落水。(3)如果光强调固结，不强调斗争，或者光强调斗争，不强调固结，就

18、不能达到既弄清 思想又团结同志的目的。令P表示强调团结，q表示强调斗争，r表示乔清思想，s表示团结同志(这里都省略了 主语)。命题的真值形式是： p -q q p - r s。命题推理及其真值形式命题逻辑的中心课题，是研究命题推理的形式结构及其有效性的判定。那么，什么是命题推理呢 ？看下面两个推理：(1)如果大张是作案者，那么他一定有作案动机大张没有作案动机所以，大张不是作案者(2)所有的作案者都有作案动机大张没有作案动机所以，大张不是作案者这两个推理都是有效的， 并且有着相同的内容。但是。它们之间有着实质性的区别：推理(1)的有效性的根据是命题之间的关系，而推理 (2)的有效性的根据是原子命

19、题内部的构成要素之间的关系。像推理(1)这样的推理，称为命题推理。任命题推理中，事实上在整个命题逻辑中，原 子命题作为最基本的单位，它的内部结构不再分析。求命题推理的真值形式的步骤是：第一，分别号出各个前提和结论的真值形式；第二， 用合取号把各个前提的真值形式联结起来，所得的合取式，即是前提的真值形式； 第三，用蕴涵号把前面提和结论的真值形式联结起来， 所得的蕴涵式，即是整个命题推理的真值形式。例3写出以下命题推理的真值形式：如果上帝不能创造出一块他自己都不能搬动的石头， 则他不是万能的；如果上帝能创造出一块他自己都不能搬动的石头， 则他同样不是万能的。 上帝或者能创造出一块他自己都不能搬动的

20、石头，或者不能，二者必居其一。因此，上帝不是万能的。令P表示上帝能创造出一块他自己都不能搬动的石头， q表示上帝是万能的。 则该推理的格式是：一卩一 qPT飞 P 一P _ q它的真值形式是：i) p；q p；qp 一p 丁一；q。4真值联结词的一般性质真值函数 n元真值函数的总数真值联结词的可定义性、完全性和独立性真值函数所谓函数，是指在两个集合的元素之间建立对应关系的一种运算。设A和B是两个集合，若对 A中的元素，或元素元组，依据某种运算，能惟一地确定 B中的某个元素与之对应，这就定义了一个从 A到B的(单值)函数。A称为该函数的定义域， B称为该函数的值域；定义域上的元素称为自变量，值域

21、上的元素称为函数值。显然，真值联结词也是一种函数，称为真值函数。它的定义域和值域都是由“真” “假”两个真值构成的集合。真值函数的自变量和函数值都是真值。对任一真值形式，如果其中命题变项的真值确定了， 那么真值形式的真值也就惟一地确定了。也就是说，真值形式的值，是真值函数的函数值。因此，真值形式也称为真值函项。在以上定义的五种常用真值联结词中， “-”由一个命题变项定义，是一元真值函数；其余的都有两个命题变项定义， 是二元真值函数。一般地，如果由n个命题变项定义的真值函数，称为n元真值函数，即 n元真值联结词。n元真值函数的总数上述五个常用真值联结词是从人们的日常思维中概括出来的。 现在的问题

22、是，它们是否穷尽了所有的一元、二元真值联结词？也就是说，包括 -在内的一元真值联结词共有多少个?包括 、一;和I在内的二元真值联结词共有多少个 ？一般地，n元真值联结词.即 n元真值函数共有多少个？前面已经提到，一个完整的真值表，定义了一个确定的真值函数；不同的真值表，定义 了不同的真值函数。 因此n元真值函数共有多少个， 也就是问，具有n个命题变项的不同的真值表共有多少个？一个完整的真值表，有两个构成要素：第一，要列出命题变项所有不同的真假情况， 即要列出所定义的真值函数自变量的所有取值； 第二，对命题变项所有不同的真假情况， 真值函数都有确定的真值作为函数值。例如，设f(p,q)为一二元真

23、值函数,函数并非都有确定的真值作为函数值。因此，要回答具有 n个命题变项的不同的真值表共有多少个，无非是要回答这样两个 问题：第一，n个命题变项所有不同的真假情况共是多少？第二，对应于 n个命题变项所有不同的真假情况，作为函数值共有多少种不同的真值排列？由于每个每个命题变项都可以取真或假， 因此，一个命题变项所有不同的真假情况是 2个，两个命题变项所有不同的真假情况是 4个，三个命题变项所有不同的真假情况是 8个，一般地，n个命题变项所有不同的真假情况共是 ，个。而对应于命题变项的 ，种的每一种，函数值可以取真或假，因此，对应于命题变项的 2“种不同的取值，真值函数共有2 2叮 ，:2 （连乘

24、 2“次）种不同的取值。 也就是说，n元真值函数， 共有2 2： : 2n , n A（连乘2次）=2个。这样，一元真值联接词，共有 4个，二元真值联接词，共有 16个。以下分别是所有一元和二元真值联接词的一览表。其中，表示 f一元真值联接词，g表示二元真值联接词。表1 一元真值联接词一览表pf1f2f3f41110001010表2 二元真值联接词一览表pqg1g2g3g4g5g6g7g8g9g10g11g12g13g14g15g16111111111100000000101111000011110000011100110011001100001010101010101010真值联接词的可定义

25、性在表i和表2中，f 3即是一，g是，g是，g是一；，g是。因为两个等值的真值形式是可以互相定义的，因此，fi可定义为p p。f4可定义为P 一卩。f2可定义为P。g3表示“只有p，才q”可定义为pTq。gio表示“要么p,要么q”可定义为（pqWLp/q ）。我们可以用构造真值表的方法来验证， 定义右边的真值形式的真值表， 和所要定义的真Pqg3Ptq111Ft1=1101Ft0=1010-0t F = 0001Ot0 = 1值函数的真值表是相同的。 这说明二者是等值的， 是可以互 相定义的。例如，以下的真值表说明， p q和g3具有相同的真值表，两者是可以互相定义的：真值联结词的完全性现在

26、的问题是，常用真值联结词是否能定义所有的一元和二元真值联结词 ？或者更一般地，常用真值联结词是否能定义所有的 n元真值联结词，回答是肯定的。定义4. 1 一组真值联结词是完全的，当且仅当由它能定义任一 n元真值联结词。定理4. 2 L, , 是完全的。在给出正式的证明以前先分析一个实例。不妨讨论如何用 一， 和 来定义表2中 的二元真值联结词 g4。g4的真值表显示，g4 (p, q)为真，当且仅当：p真且q真.或者p真且q假。因此，它显然可定义为： p q p -q。事实上，用这种方式，可以 一，和来定义任一 n元真值联结词。证明设f P!，心是任一 n元真值联结词。显然，它可以用一个 2n

27、行的真值表来定义。现在考虑在该真值表中函数值为真的那些行。设第 i行(1 v iv 2n )的函数值为真，构造合取式Ci : p； p； pn，每一 pj (j = 1，n)是命题变项Pj或其否定Pj ： 如果在第i行pj的值是真，则pj就是pj ；如果在第i行Pj的值是假，则pj就是一 Pj。 显然，当p；,，Pn取第i行的值时，G的值是真，与f p；,，Pn在第i行的值相同。令 D是所有这样构造的合取式 G的析取。如果f P；,，Pn的值为常真，即在真值表的每一 行都真，则D就有2n个析取支；如果f p；，,Pn的值为真的行数是k,则D就有k个析 取支；如果f 口，pn的值为常假，即在真值表的每一行都假，这时令 D为P _P。对 于这样构造的真值形式 D，如果它是真的，则由 的定义，可知存在某个 G(1w i 和二可定义 _和_，又因为1一,是完全的，所以， 匚厂.堤完全的。证毕。定理4. 4【-,是完全的。证明可定义为（pe1硏。这说明运用一1和a可定义M。又因为匕“是 完全的，所以，是完全的。证毕。定理4. 5 L,是完全的。证明|paq可定义为。与定理4. 4的证明同理，匕门 是完全的。证 毕。定理4. 6 ：一,1 ；不完全的。这里仅叙述证明的思路，严格的证明可运用数学归纳法完成。考虑一个仅包含 和两个不同的命题变项的真值形式。因为只包含两个