GCT逻辑02直言命题及其推理.ppt

《GCT逻辑02直言命题及其推理.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、性质命题及推理直言命题的真假对当关系直言命题的周延性直言命题的推理公式直言命题的负命题及其等价命题开篇例题直言命题也叫性质命题，它是断定事物对象是否具有某种性质的命题。我们可以先从一个例子，来看看直言命题的结构和种类。例：这个单位已发现有育龄职工违纪超生。如果上述断定是真的，则在下述三个断定中：Ⅰ．这个单位没有育龄职工不违纪超生。Ⅱ．这个单位有的育龄职工没违纪超生。Ⅲ．这个单位所有的育龄职工都未违纪超生。不能确定真假的是？A．只有Ⅰ和ⅡB．Ⅰ、Ⅱ和ⅢC．只有Ⅰ和ⅢD．只有Ⅱ这个例子中，题干部分表达了一个特称肯定命题。题目的意思就是让我们以这个特称肯定命题为前提，看看能推导出什么样的结论。要解

2、决这个问题，我们先要了解直言命题的种类、各种直言命题之间的真假对当关系、以及它们之间的推理。例题解说题干是(SIP)，断定Ⅰ是(SAP)，断定Ⅱ是SOP），断定Ⅲ是(SEP)。根据直言判断的真假对当关系，SIP和SAP构成从属关系，此时特称判断真，全称判断真假不定。所以，断定Ⅰ真假不定。SIP和SOP构成下反对关系，此时，它们可以同真但不能同假，也就是说当两者有一假时，另一判断必真，但其中一判断为真时，另一判断真假不定。故判断Ⅱ真假不定。SIP和SEP构成矛盾关系，两者不能同真，不能同假，故在题干真的情况下，判断Ⅲ必假。因此，这个题目的答案是A。当然，这个问题我们也可以凭我们的知觉的常识做出

3、判断，但是，如果你掌握住真假对当关系及其推理，就可以马上找到答案。1直言命题的结构分析直言命题在结构上由主项、谓项、联项和量项组成。主项是表示直言命题中事物对象的概念。如例子中的“育龄职工”，通常用大写的“S”表示。谓项是表示直言命题中事物性质的概念。如例子中的“违纪超生”，通常用大写的“P”表示。联项是表示直言命题中联结主项和谓项的概念，包括肯定联项和否定联项。前者为“是”，后者为“不是”。量项是表示直言命题中主项的数量范围的概念，包括全称量项、特称量项和单称量项。全称量项通常用“所有”、“一切”、“凡”等表示；特称量项通常用“有些”、“某些”、“有的”等表示；单称量项通常用“某个”、“这

4、个”、“那个”等表示。Tobecontinued直言命题的结构分析（续）值得注意的是，特称量项“有些”与日常用语中的“有些”，在含义上有所不同。日常用语中的“有些”，大多指“仅仅有些”，因而当讲“有些是什么”的时候，往往意味着“有些不是什么”。特称量项的“有些”，则是指“至少有些”，“至少有一个”，究竟有多少不确定。也许有“一个”，也许是“几个”，也许“所有”。日常语言中的“大多数”、“绝大多数”、“少数”等都属于“有些”情形。特称量项“有些”只表示一类事物中有对象被断定具有或不具有某种性质，而这类对象的具体数量，则没有作出断定。（Tobecontinued）直言命题的结构分析（续）根据直言

5、命题的量项和联项的组合，可以把直言命题分为六种：全称肯定命题：所有S是P。用SAP表示。全称否定命题：所有S不是P。用SEP表示。特称肯定命题：有些S是P。用SIP表示。特称否定命题：有些S不是P。用SOP表示。单称肯定命题：某个S是P。用SaP表示。单称否定命题：某个S不是P。用SeP表示。2直言命题的真假对当关系直言命题的真假关系，主要是看该命题所断定的情况是否与实际相符合。若相符合则真，反之则假。这种真假关系主要由其主项和谓项的外延之间的关系来确定。主项和谓项的外延之间的关系主要有：对当关系(1)矛盾关系。这是SAP和SOP、SEP和SIP之间存在的不能同真（必有一假）、不能同假（必有

6、一真）的关系。例如：SAP：所有事物都是运动的(真)SOP：有些事物不是运动的(假)SOP：有些工商干部不是大学毕业生(真)SAP：所有的工商干部都是大学毕业生(假)SIP：有些物体是固体(真)SEP：所有物体都不是固体(假)SEP：语言都不是上层建筑(真)SIP：有些语言是上层建筑(假)(2)差等关系(又称从属关系)。这是SAP和SIP、SEP和SOP之间的关系。如果全称判断真，则特称判断真；如果特称判断假，则全称判断假；如果全称判断假，则特假不定；如果特称判断真，则全称判断真假不定。例如：已知SAP：所有事物都是运动的(真)，则SIP：有些事物是运动的(真)。已知SIP：有的单位参加了义

7、务献血(假)，则SAP：所有的单位都参加了义务献血(假)。已知SAP：我班同学都学过日语(假)，则SIP：我班有些同学学过日语(真假不定)。已知SIP：我班有些同学学过日语(真)，则SAP：我班同学都学过日语(真假不定)。类似地，可举例说明SEP和SOP判断之间的差等关系。对当关系（续）(3)反对关系。这是SAP和SEP之间不能同真，可以同假的关系。在SAP、SEP两个判断中，如果我们知道其中一个是真的，就可