逻辑学_命题逻辑

《逻辑学_命题逻辑》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第五章命题逻辑上一章我们学习了词项逻辑，词项逻辑是以词项的研究为基础的，讨论的是简单命题和简单命题的推理。在这一章中，我们来学习在简单命题的基础上构成的复合命题以及复合命题推理。由于对复合命题和复合命题推理的研究是以命题为基本单位的，不再分析简单命题的内部结构，因此被称为命题逻辑。命题逻辑也叫联结词的逻辑，因为它是以命题联结词的研究为基础的。第一节复合命题复合命题是由一定的联结词（常称为命题联结词或逻辑联结词）将一个、两个或两个以上命题联结起来构成的命题。与简单命题不同，复合命题中包含着其他命题。作为复合

2、命题组成部分的命题称为支命题。复合命题按照其不同的逻辑含义，可分为负命题、联言命题、选言命题和假言命题。一、负命题（一）什么是负命题负命题是否定某种事物情况的命题。负命题由表示否定的联结词联结一个支命题构成。负命题只有一个支命题，这显然与其他复合命题不同。在日常语言中，表达负命题的联结词的语词有“并非”、“并不是”等，我们在表示负命题的形式时，以“并非”作为代表，即将负命题的形式表示为：并非p这里的p是表示任一命题（常表示任一简单命题）的符号，称为命题变项。负命题的联结词也可以用符号“Ø”表示。这样，上述

3、形式就可表示为：Øp这里的“Ø”称为否定词，Øp称为否定式，可读作“非p”。·34·负命题是否定某种事物情况，而不是否定事物具有某种性质，因而它不同于直言命题中的否定命题。直言命题中的否定命题的否定联项处于命题当中，而负命题的否定词则处于命题的最前端。不过，直言命题中的单称否定命题形式“s不是P”逻辑等值于“并非s是P”，而后者可表示为“并非p”的形式，因此，直言命题中的单称否定命题常被作为负命题处理。特别是在单称肯定命题与相应的单称否定命题同时出现，而又将单称肯定命题用某个命题变项符号（如p）代替时，为

4、反映出它们之间的逻辑联系，更需要将相应的单称否定命题直接表示为负命题的形式（如Øp）。这种处理方法在复合命题推理中是常用的。必须注意的是，直言命题中的否定命题能直接作为负命题对待的只有单称否定命题，全称否定命题和特称否定命题则不能直接作为负命题处理。显而易见，“所有S不是P”并不逻辑等值于“并非所有S是P”，“有S不是P”也并不逻辑等值于“并非有S是P”。（二）负命题的真假值负命题是对其支命题所断定的事物情况的否定，它的真假与其支命题的真假相反：如果一个负命题的支命题为真，那么这个负命题就是假的；如果一个

5、负命题的支命题为假，那么这个负命题就是真的。负命题与其支命题之间的真假值关系可概括为：Øp真，当且仅当p假。二、联言命题（一）什么是联言命题联言命题是断定两种或两种以上事物情况同时存在的命题。联言命题由两个或两个以上支命题经一定的联结词联结而成。构成联言命题的支命题称为联言支。在日常语言中，表达联言命题的语句是多种多样的，有并列复句、连续复句、递进复句、转折复句等。这些复句的关联词更是多种多样的，如“并且”、“而且”、“也”、“既……又……”、“可是”、“不但……而且……”、“虽然……但是……”等。这些语

6、词中，最符合联言命题的逻辑含义的是“并且”。其他一些语词则还带有更多的含义，如表示递进、转折等，这些含义不是逻辑上的。因此，我们选择“并且”作为联言命题的联结词的逻辑表达。这样，具有两个联言支的联言命题的形式可表示为：p并且q·34·具有三个联言支的联言命题的形式可表示为：p并且q并且r这里的p、q、r是表示任一命题（常表示任一简单命题）的符号，我们称之为命题变项。通常我们用来表示命题变项的字母是p、q、r和s，如果变项较多，字母不够用，可采取给这些字母加数字下标的办法。比如，具有n个联言支的联言命题的形

7、式可表示为：p1并且p2并且…并且pn我们也可以用一个特定的符号“∧”来代替“并且”作为联言命题的联结词，即将上述形式分别表示为：p∧qp∧q∧rp1∧p2∧…∧pn这里的“∧”称为合取词，p∧q称为合取式，可读作“p合取q”。尽管表达联言命题的复合句有着多种多样的关联词，但在表示联言命题的逻辑形式时联结词却是统一的。有些表达联言命题的复合句没有关联词或者省略了关联词，这对其逻辑形式并无影响。我们确定一个语句是否表达联言命题，主要是根据其表达的含义。另外，有一些简单句也可表达联言命题。（二）联言命题的真假

8、值联言命题断定的是若干事物情况同时存在，其真假取决于其各个联言支所表示的事物情况事实上是不是都存在，即其各个联言支是否同时都是真的。如果一个联言命题的每个联言支都是真的，那么，这个联言命题就是真的；如果有一个联言支是假的，或者有更多的联言支是假的，那么，这个联言命题就是假的。联言命题与其联言支之间的真假值关系可概括为：一个联言命题是真的，当且仅当其全部联言支都是真的。对于只有两个联言支的联言命题就是：p∧q真，当且仅当p和q皆