逻辑学 命题逻辑
逻辑学中最重要的两个分支是命题逻辑和一阶逻辑

逻辑学中最重要的两个分支是命题逻辑和一阶逻辑命题逻辑和一阶逻辑:逻辑学的两大分支逻辑学是研究人类思维规律和推理方法的学科,它是哲学中的一门重要分支。
逻辑学主要包括命题逻辑、一阶逻辑、高阶逻辑、模态逻辑等多个分支,其中最为重要的是命题逻辑和一阶逻辑。
一、命题逻辑命题逻辑是逻辑学中最基本的分支,它主要研究命题之间的关系,以及如何从一个命题推导出另一个命题。
命题是任何陈述或声明,它可以是真的也可以是假的,用语句表示时要有明确的主语和谓语,如“天空是蓝色的”,“数学是一门有用的学科”。
命题逻辑的符号系统包括命题符号、逻辑联结符(如“非”,“与”,“或”,“蕴含”等)和括号符号。
在命题逻辑中,命题符号用来表示句子中的命题,逻辑联结符则用来描述命题之间的逻辑关系,括号符号用来限定联结符的优先级。
通过将逻辑符号组合起来,命题逻辑可以描述复合命题的真假和逻辑关系。
二、一阶逻辑与命题逻辑不同,一阶逻辑是一种更为复杂和严格的逻辑体系,它不仅研究命题之间的关系,还研究事物之间的关系。
一阶逻辑可以用来描述一个领域中的对象、关系、函数和谓词等概念,因此具有更强的表达和演绎能力。
一阶逻辑的符号系统包括个体变量、谓词变量、量词和逻辑联结符等,其中个体变量用来表示领域中的对象,谓词变量用来描述对象之间的关系,量词则描述变量的范围和数量,逻辑联结符则描述命题之间的逻辑关系。
三、命题逻辑与一阶逻辑的比较命题逻辑和一阶逻辑虽然都是逻辑学的重要分支,但是它们具有不同的特点和应用范围。
1. 定义和表达能力命题逻辑主要用来描述命题之间的逻辑关系,因此它的表达能力与语义能力是有限的。
而一阶逻辑则可以描述更为复杂的概念和事物之间的逻辑关系,因此表达能力更强。
2. 形式化程度命题逻辑是一种较为简单的逻辑体系,因此它可以通过符号化的方式来实现形式化处理。
一阶逻辑则相对复杂一些,需要更为严格的语法和语义体系。
3. 应用范围命题逻辑主要应用于数学、哲学、计算机科学等领域的推理和证明中,而一阶逻辑则更为广泛,涵盖人工智能、形式语言、计算机程序验证、数据库管理等多个领域。
逻辑学:命题逻辑

第二章 命题逻辑
第二节 复合命题及其推理
负命题
负命题由否定联结词(如“并非”)联结支命题而形成的复合命 题。例如: (1)并非选修逻辑的学生都是文科生。 (2)这个班的学生不都学英语。 (3)如果它是三角形,则内角和等于180°,这个观点不对。 注:负命题的支命题可以是简单命题,也可以是复合命题。
20语句
任何命题都是通过语句来表达的,但语句和命题并非一一对应:
首先,有的语句不能直接表达命题,如: •(1)西南大学在重庆吗? •(2)请把门关上! 一般来讲:陈述句与反诘句可以直接表达命题。 其次,同一命题可以用不同的语句来表达,如: “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 此外,同一命题可用不同的民族语言的语句来表达。 再次,同一语句,可以表达不同的命题,如: 小张将书还给小王,因为他要回家了。
真值表的作用
•p •T •F •¬p F T
根据这个真值表,也可以给f(p)=p这个一元真值函数作如下定义: p为真当且仅当p为假; p为假当且仅当p为真。
2018年8月17日星期五
10
负命题
根据负命题的逻辑性质,可对¬p再否定得到¬¬p,其真值与 p相同,真值表如下:
•p •T •F •¬p •F •T •¬¬p •T •F
2018年8月17日星期五 4
命题的分类
简单命题
非模态命题 命 题
模态命题 复合命题
2018年8月17日星期五
5
命题分析的层次
将联结词所联结的命题作为一个完整的单位来看待
•
•
——研究关于联结词的推理(命题逻辑)
——研究关于量项和联项的推理(传统词项逻辑)
命题逻辑和一阶逻辑

命题逻辑和一阶逻辑逻辑学是哲学中的一个重要分支,它主要研究思维的规律,探讨推理和证明的方法。
命题逻辑和一阶逻辑是逻辑学最基础的两种逻辑系统,下面我们就来一一探讨。
1. 命题逻辑命题逻辑是研究命题及其关系的逻辑系统。
命题是一个陈述性语句,可以是真、假或未知的。
命题逻辑包括命题合取、命题析取、命题蕴含和命题等价等一系列逻辑运算符。
正是这些运算符使得我们能够对不同的命题进行组合和推理,并得出新的结论。
例如,如果我们有两个命题p和q,它们有如下的真假情况:p:今天是周一 => 真q:天气晴朗 => 真命题合取就是将这两个命题用“并且”的方式联系起来,得到新的命题。
“今天是周一并且天气晴朗”是一个命题,它的真假情况是:p ∧ q:今天是周一并且天气晴朗 => 真2. 一阶逻辑一阶逻辑是研究复杂命题及其关系的逻辑系统。
它扩展了命题逻辑,引入了量词和变元等概念。
在一阶逻辑中,我们可以用变元代表一个个体,用谓词表示个体的性质或关系,用量词表示个体的范围,用量词的限定揭示个体之间的关系,有助于我们表达更加复杂的命题。
例如,如果我们需要表达“对于所有的人而言,如果他今天没有打电话,那么他也没有发短信”,可以用一阶逻辑的方式表示成:∀x ( ¬Phone(x) → ¬Msg(x) )其中,x是变元,表示一个人;Phone(x)表示x今天是否打电话;Msg(x)表示x今天是否发短信;→表示蕴含;¬表示非;∀表示全称量词。
可以看出,一阶逻辑比命题逻辑更加强大,能够灵活地表达更加复杂的命题,因此在各个领域都有广泛的应用。
例如,在计算机科学中,语义网、人工智能、数据库等都需要使用一阶逻辑进行描述和推理。
综上所述,命题逻辑和一阶逻辑都是逻辑学中的基础理论,其分别适用于不同的问题领域。
熟练掌握这两种逻辑系统,对于我们的推理和思考能力都有很大的帮助。
命题逻辑基本推理公式

命题逻辑基本推理公式(1) P∧Q⇒P .(2)¬( P→Q)⇒P .(3)¬(P→Q)⇒¬Q.(4) P⇒P ∨Q.(5)¬P⇒P →Q.(6) Q⇒P →Q.(7) ¬P∧(P∨Q) ⇒Q.选言推理否定式(8) P∧(P→Q) ⇒Q. 假言推理肯定前件式(9) ¬Q∧(P→Q) ⇒¬P .假言推理否定后件式(10) (P→Q)∧(Q→R) ⇒P→R. 三段论(11) (P↔ Q)∧(Q↔R) ⇒P↔R. 双条件三段论(12) (P→R)∧(Q→R)∧( P ∨Q) ⇒R. 二难推理(13) (P→Q)∧(R→S) ∧(P ∨R)⇒Q∨S. 二难推理(14) (P→Q)∧(R→S) ∧¬(Q∨¬S)⇒¬P ∨¬R. 破坏二难推理(15) (Q→R) ⇒(( P∨Q)→(P ∨R)) .(16) (Q→R) ⇒(( P→Q)→(P→R)) .使用真值表法证明这些推理公式是容易的。
若从语义上给予直观说明也是不难的. 如公式(2), ¬(P →Q) ⇒P . 公式( 3), ¬(P →Q)⇒Q. 意思是说, 若P →Q 不成立( 取假), 必有 P 为真, 还有 Q 为假. 这从P →Q 的定义可知, 因只有当 P = T 而 Q = F 时, P →Q = F. 又如公式( 7), ¬P ∧(P ∨Q)⇒Q. 意思是说, P 不对, 而P ∨Q 又对, 必然有 Q 对.公式( 8) , P ∧(P →Q) ⇒Q 常称作假言推理, 或称作分离规则, 是最常使用的推理公式。
公式(10) , (P →Q) ∧(Q→R)⇒P →R 常称作三段论。
日常语言运用:(1) 此人既呆又笨为真,则此人笨为真。
(2)(3)并非“犯错蕴涵失败“,即是说,”如果犯错,那么失败“为假命题,则必有犯错且不失败的例子。
命题逻辑(联言、选言、负命题)

再次,同一语句,可以表达不同的命题。
命题和判断
• 判断:就是被断定者断定了的命题。 • 判断的主要特征:有所断定。
想想看
• 两个女学生走进一餐厅,翻开桌上的菜单,突 然眼前一亮,‚看,熊掌!每盘20元,来两盘 怎么样?‛‚人们都说熊掌名贵,价钱也不贵, ok!‛一会儿,她们吃完了,叫来招待员结帐, 招待员开出帐单:‚一共4025元‛‚什么?你 没搞错吧?‛学生几乎吓晕了。‚熊掌每盘 2000元,你看菜单。‛学生仔细一看,果然是 2000元,中间没有小数点。这下她们急得要哭 了。这时老板出来了,看了几眼付不起钱的学 生,‚没钱,就将证件留下。‛她们乖乖的将 证件交出。学生会出面交涉,老板斩钉截铁说: ‚一分也不能少,如果三天之内不把钱付清, 便立即向法院起诉。……学生只好自认倒霉, 一律师知道了,帮他们追回了所被敲诈的钱。 如何讨?
• 规则: 肯定前件就要肯定后件,否定后件就要否定前件 否定前件就要否定后件,肯定后件就要肯定前件 • 推理蕴涵式为: • (p↔q)∧p →q • (p↔q)∧q →p • (p↔q)∧ p → q • (p↔q)∧ q →p • 某甲犯了罪当且仅当某甲应受刑罚处罚; • 某甲是案犯当且仅当某乙是案犯;
• 负判断由支命题和联结词‚并非‛构成。负 命题的逻辑联结词‚并非‛可以用否定词 ‚‛来表示。 • 日常用语中,负命题的联结词还可以表达为 ‚没有‛、‚不‛、‚这是假的‛、‚这是 错误的‛等。被否定的命题称为支命题,它 可以是简单命题,也可以复合命题。 • 负命题的形式:并非p,也可表示为: p • 负命题的真假表:当支命题为真时,负命题 为假;当支命题为假时,负命题为真。
三段论和命题逻辑

三段论和命题逻辑
三段论和命题逻辑是形式逻辑中的两个重要概念,它们在逻辑推理中扮演着不同的角色。
三段论(Syllogism):
1、三段论是亚里士多德逻辑体系中的核心内容,它是一种古典的演绎推理形式。
一个完整的三段论包含三个直言命题:大前提、小前提和结论。
2、大前提是一个一般性的陈述或原则,例如:“所有哺乳动物都是温血动物”。
3、小前提是一个具体的事实或情况,例如:“猫是哺乳动物”。
结论是从这两个前提通过逻辑推导得出的必然结果,例如:“所以,猫是温血动物”。
命题逻辑(Propositional Logic):
1、命题逻辑则更加基础和抽象,它研究的是命题之间的逻辑关系以及如何通过逻辑联接词(如“与”、“或”、“非”等)将简单命题组合成复合命题。
2、在命题逻辑中,不关注命题内部的具体词项关系,而是关注命题之间的真值关系,即当原始命题为真或假时,整个复合命题会如何变化。
3、命题逻辑可以用来分析任何类型的陈述,而不局限于像三段论那样特定的结构,它可以构建更复杂的逻辑表达式,并通过真值表、等价性、蕴含关系等工具进行分析和证明。
尽管两者都属于逻辑学范畴,但三段论主要处理的是具有明确类比关系的简单命题间的推理,而命题逻辑则更多地关注命题本身的真假性质以及不同命题之间可能存在的各种逻辑联系。
在现代逻辑中,命题逻辑是形式系统的一个基本组成部分,而三段论则是其中一种具体的应用形式。
逻辑学的基本原理

逻辑学的基本原理一、引言逻辑学是研究思维和推理的学科,它的基本原理对于人类的思维和语言都有着重要的指导作用。
本文将介绍逻辑学的基本原理,包括命题逻辑、谓词逻辑、演绎推理和归纳推理等方面。
二、命题逻辑命题逻辑是研究命题之间关系的一种形式化方法。
命题是一个陈述句,它要么是真实的,要么是虚假的。
在命题逻辑中,我们用符号来表示命题,并且通过符号之间的连接来表示不同命题之间的关系。
1. 命题符号在命题逻辑中,我们用字母和符号来表示不同类型的命题。
例如:- P表示“今天会下雨”- Q表示“明天会晴天”- ¬P表示“今天不会下雨”- P∧Q表示“今天会下雨并且明天会晴天”2. 逻辑连接词在命题逻辑中,我们用符号来表示不同类型的逻辑连接词。
例如:- ¬表示否定- ∧表示合取(and)- ∨表示析取(or)- →表示蕴含- ↔表示等价通过这些连接词,我们可以将不同的命题组合起来,形成更复杂的命题。
三、谓词逻辑谓词逻辑是研究谓词之间关系的一种形式化方法。
谓词是一个描述性的语句,它通常包含一个主语和一个谓语,并且可以用量词来限定主语的范围。
在谓词逻辑中,我们用符号来表示不同类型的谓词,并且通过符号之间的连接来表示不同谓词之间的关系。
1. 谓词符号在谓词逻辑中,我们用字母和符号来表示不同类型的谓词。
例如:- P(x)表示“x是一个人”- Q(x)表示“x是一个学生”- R(x,y)表示“x喜欢y”2. 量化符号在谓词逻辑中,我们用量化符号来限定主语的范围。
例如:- ∀x表示“对于所有x”- ∃x表示“存在一个x”通过这些量化符号,我们可以将不同类型的命题组合起来,形成更复杂的命题。
四、演绎推理演绎推理是一种基于已知事实和规则进行推理和判断的方法。
在演绎推理中,我们根据已知事实和规则得出结论,并且可以通过证明来验证结论的正确性。
1. 假设和前提在演绎推理中,我们需要先假设一些前提,然后根据这些前提进行推理。
逻辑学的基本原理与概念

逻辑学的基本原理与概念逻辑学是一门研究思维和推理规律的学科,它关注的是我们如何正确地思考和推理。
逻辑学的基本原理和概念为我们提供了一种清晰、准确和合理的思维方式,帮助我们更好地理解和分析问题。
一、命题逻辑命题逻辑是逻辑学的基础,它研究的是命题之间的关系。
命题是陈述性语句,可以被判断为真或假。
命题逻辑的基本原理包括“与”、“或”、“非”和“蕴涵”等。
其中,“与”表示两个命题同时为真时整个命题为真,“或”表示两个命题中至少有一个为真时整个命题为真,“非”表示命题的否定,“蕴涵”表示如果前提为真,则结论也为真。
命题逻辑的概念还包括真值表、逻辑联结词和命题公式等。
二、谓词逻辑谓词逻辑是命题逻辑的扩展,它研究的是命题中的对象和属性之间的关系。
谓词逻辑引入了量词和谓词,量词包括全称量词和存在量词,用来表示命题在某个范围内是否成立。
谓词表示对象的性质或关系,它可以是单个对象的属性,也可以是多个对象之间的关系。
谓词逻辑的基本原理包括量词的分配律、量词的对偶律和量词的去范围律等。
三、推理推理是逻辑学的核心内容,它研究的是从已知命题出发得出新的结论的方法和规则。
推理可以分为演绎推理和归纳推理两种。
演绎推理是从一般到个别的推理过程,它基于命题逻辑和谓词逻辑的规则,通过逻辑推理得出结论的正确性。
归纳推理是从个别到一般的推理过程,它通过观察和实验得出一般性的结论。
推理的基本原理包括假言推理、拒取式推理、假设演绎和归谬法等。
四、谬误谬误是逻辑学研究的一个重要内容,它指的是推理过程中的错误和伪命题。
谬误可以分为形式谬误和实质谬误两种。
形式谬误是指推理过程中违反了逻辑规则,导致结论不正确。
实质谬误是指推理过程中出现了事实错误或逻辑错误,导致结论不可靠。
谬误的常见类型包括偷换概念、诉诸个人攻击、虚假二选一和滥用类比等。
了解和识别谬误有助于我们避免在思考和推理过程中犯错。
总结起来,逻辑学的基本原理和概念为我们提供了一种清晰、准确和合理的思维方式。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第五章命题逻辑上一章我们学习了词项逻辑,词项逻辑是以词项的研究为基础的,讨论的是简单命题和简单命题的推理。
在这一章中,我们来学习在简单命题的基础上构成的复合命题以及复合命题推理。
由于对复合命题和复合命题推理的研究是以命题为基本单位的,不再分析简单命题的内部结构,因此被称为命题逻辑。
命题逻辑也叫联结词的逻辑,因为它是以命题联结词的研究为基础的。
第一节复合命题复合命题是由一定的联结词(常称为命题联结词或逻辑联结词)将一个、两个或两个以上命题联结起来构成的命题。
与简单命题不同,复合命题中包含着其他命题。
作为复合命题组成部分的命题称为支命题。
复合命题按照其不同的逻辑含义,可分为负命题、联言命题、选言命题和假言命题。
一、负命题(一)什么是负命题负命题是否定某种事物情况的命题。
负命题由表示否定的联结词联结一个支命题构成。
负命题只有一个支命题,这显然与其他复合命题不同。
在日常语言中,表达负命题的联结词的语词有“并非”、“并不是”等,我们在表示负命题的形式时,以“并非”作为代表,即将负命题的形式表示为:并非p这里的p是表示任一命题(常表示任一简单命题)的符号,称为命题变项。
负命题的联结词也可以用符号“⌝”表示。
这样,上述形式就可表示为:⌝p这里的“⌝”称为否定词,⌝p称为否定式,可读作“非p”。
负命题是否定某种事物情况,而不是否定事物具有某种性质,因而它不同于直言命题中的否定命题。
直言命题中的否定命题的否定联项处于命题当中,而负命题的否定词则处于命题的最前端。
不过,直言命题中的单称否定命题形式“s不是P”逻辑等值于“并非s是P”,而后者可表示为“并非p”的形式,因此,直言命题中的单称否定命题常被作为负命题处理。
特别是在单称肯定命题与相应的单称否定命题同时出现,而又将单称肯定命题用某个命题变项符号(如p)代替时,为反映出它们之间的逻辑联系,更需要将相应的单称否定命题直接表示为负命题的形式(如⌝p)。
这种处理方法在复合命题推理中是常用的。
必须注意的是,直言命题中的否定命题能直接作为负命题对待的只有单称否定命题,全称否定命题和特称否定命题则不能直接作为负命题处理。
显而易见,“所有S不是P”并不逻辑等值于“并非所有S是P”,“有S不是P”也并不逻辑等值于“并非有S是P”。
(二)负命题的真假值负命题是对其支命题所断定的事物情况的否定,它的真假与其支命题的真假相反:如果一个负命题的支命题为真,那么这个负命题就是假的;如果一个负命题的支命题为假,那么这个负命题就是真的。
负命题与其支命题之间的真假值关系可概括为:⌝p真,当且仅当p假。
二、联言命题(一)什么是联言命题联言命题是断定两种或两种以上事物情况同时存在的命题。
联言命题由两个或两个以上支命题经一定的联结词联结而成。
构成联言命题的支命题称为联言支。
在日常语言中,表达联言命题的语句是多种多样的,有并列复句、连续复句、递进复句、转折复句等。
这些复句的关联词更是多种多样的,如“并且”、“而且”、“也”、“既……又……”、“可是”、“不但……而且……”、“虽然……但是……”等。
这些语词中,最符合联言命题的逻辑含义的是“并且”。
其他一些语词则还带有更多的含义,如表示递进、转折等,这些含义不是逻辑上的。
因此,我们选择“并且”作为联言命题的联结词的逻辑表达。
这样,具有两个联言支的联言命题的形式可表示为:p并且q具有三个联言支的联言命题的形式可表示为:p并且q并且r这里的p、q、r是表示任一命题(常表示任一简单命题)的符号,我们称之为命题变项。
通常我们用来表示命题变项的字母是p、q、r和s,如果变项较多,字母不够用,可采取给这些字母加数字下标的办法。
比如,具有n个联言支的联言命题的形式可表示为:p1并且p2并且…并且p n我们也可以用一个特定的符号“∧”来代替“并且”作为联言命题的联结词,即将上述形式分别表示为:p∧qp∧q∧rp1∧p2∧…∧p n这里的“∧”称为合取词,p∧q称为合取式,可读作“p合取q”。
尽管表达联言命题的复合句有着多种多样的关联词,但在表示联言命题的逻辑形式时联结词却是统一的。
有些表达联言命题的复合句没有关联词或者省略了关联词,这对其逻辑形式并无影响。
我们确定一个语句是否表达联言命题,主要是根据其表达的含义。
另外,有一些简单句也可表达联言命题。
(二)联言命题的真假值联言命题断定的是若干事物情况同时存在,其真假取决于其各个联言支所表示的事物情况事实上是不是都存在,即其各个联言支是否同时都是真的。
如果一个联言命题的每个联言支都是真的,那么,这个联言命题就是真的;如果有一个联言支是假的,或者有更多的联言支是假的,那么,这个联言命题就是假的。
联言命题与其联言支之间的真假值关系可概括为:一个联言命题是真的,当且仅当其全部联言支都是真的。
对于只有两个联言支的联言命题就是:p∧q真,当且仅当p 和q皆真。
需要注意的是,联言命题的真假值仅是就其逻辑含义而言的,它忽略了联言命题在语言表达上的特点。
从语言表达上说,人们实际运用的联言命题还具有以下特点:第一,联言支之间有一定的内容、意义上的联系。
第二,联言支可能具有一定的顺序性。
例:(1)屡战屡败(2)情有可原,理无可恕这些特点我们在进行逻辑分析时虽可暂时抛开,但在实际表达和运用联言命题时却是不能不考虑的。
三、选言命题(一)什么是选言命题选言命题是断定两种或两种以上事物情况中至少有一种情况存在,或者只有一种情况存在的命题。
选言命题由两个或两个以上支命题经联结词“或者”或“要么……要么……”之类联结而成。
构成选言命题的支命题,称为选言支。
选言命题按其断定的是若干事物情况中至少有一种情况存在,还是只有一种情况存在,可分为相容的选言命题和不相容的选言命题。
(二)相容的选言命题1.什么是相容的选言命题相容的选言命题是断定两种或两种以上事物情况中至少有一种情况存在的命题。
所谓至少有一种情况存在,即并不排除这些事物情况有同时存在的可能,换言之,它容许其选言支同真。
相容的选言命题由“或者”联结若干支命题构成。
当其具有两个选言支时,其形式可表示为:p或者q当其具有三个选言支时,其形式可表示为:p或者q或者r具有n个选言支的相容的选言命题的形式可表示为:p1或者p2或者…或者p n我们也可以用一个特定的符号“∨”来代替“或者”作为相容的选言命题的联结词,即将上述形式分别表示为:p∨qp∨q∨rp1∨p2∨…∨p n这里的“∨”称为析取词,p∨q称为析取式,可读作“p析取q”。
由于相容的选言命题的形式可表示为析取式,相容的选言命题也可以称为析取命题(选言支可相应地称为析取支)。
在日常语言中,“不是……就是……”的含义与“或者”接近,前者表达的命题一般可看作相容的选言命题。
2.相容的选言命题的真假值相容的选言命题断定的是若干事物情况中至少有一种情况存在,其真假取决于其各个选言支所表示的事物情况事实上是不是至少有一种存在,即其各个选言支中是否至少有一个是真的。
如果一个相容的选言命题有一个或更多的(直至全部)选言支为真,那么,这个相容的选言命题就是真的;如果全部选言支都是假的,那么,这个相容的选言命题就是假的。
相容选言命题与其选言支之间的真假值关系可概括为:一个相容选言命题是假的,当且仅当其全部选言支都是假的。
对于只有两个选言支的相容选言命题就是:p∨q假,当且仅当p和q皆假。
与联言命题一样,相容的选言命题的真假值也仅是就其逻辑含义而言的,它也忽略了选言命题在语言表达上的特点。
从语言表达上说,人们实际运用的选言命题还具有以下特点:第一,选言支之间有一定的内容、意义上的联系。
第二,每个选言支所表示的事物情况都是有可能存在的。
不符合以上特点的选言命题通常不被认为是有意义的。
(三)不相容的选言命题1.什么是不相容的选言命题不相容的选言命题是断定两种或两种以上事物情况中只有一种情况存在的命题。
所谓只有一种情况存在,即在这些事物情况中除了某一种情况外,不能再有其他情况存在,换言之,它不容许其选言支同真。
不相容的选言命题由“要么……要么……”(或更多的“要么”)联结若干支命题构成。
当其具有两个选言支时,其形式可表示为:要么p,要么q当其具有三个选言支时,其形式可表示为:要么p,要么q,要么r具有n个选言支的不相容的选言命题的形式可表示为:要么p1要么p2要么…要么p n不相容的选言命题的联结词可用符号“∨·”表示。
这样,上述形式也可分别表示为:p∨·qp∨·q∨·rp1∨·p2∨·…∨·p n这里的“∨·”可称为不相容析取词,p∨·q称为不相容析取式,可读作“p不相容析取q”。
区别相容的选言命题和不相容的选言命题,可根据其联结词。
从逻辑含义上说,不相容的选言命题比相容的选言命题多了一层含义,即选言支不同真。
“或者”没有表示这层含义(“或者”本身并未表明选言支表示的事物情况事实上能否同真),而“要么”则表明了这层含义。
在日常语言中,“或者……或者……,二者不可得兼”的含义相当于“要么……要么……”,前者表达的命题与后者表达的命题是逻辑等值的。
2.不相容的选言命题的真假值不相容的选言命题断定的是若干事物情况中只有一种情况存在,其真假取决于其各个选言支所表示的事物情况事实上是不是只有一种存在,即其各个选言支中是否只有一个是真的。
如果一个不相容的选言命题只有一个选言支为真,那么,这个不相容的选言命题就是真的;如果有不止一个选言支为真,或者全部选言支都是假的,那么,这个不相容的选言命题就是假的。
不相容选言命题与其选言支之间的真假值关系可概括为:一个不相容选言命题是真的,当且仅当其有一个选言支为真,而其他选言支都是假的。
对于只有两个选言支的不相容选言命题就是:p∨·q真,当且仅当p和q一真一假。
与相容的选言命题一样,不相容的选言命题的真假值也仅是就其逻辑含义而言的,它同样忽略了选言命题在语言表达上的特点。
这些特点前面已说过,不再重复。
(四)运用选言命题时需注意的问题1. 关于两种选言命题的区分问题关于如何区分两种不同的选言命题,目前在逻辑界有两种不同意见:一是完全按照联结词来区分,联结词为“或者”的是相容的选言命题,联结词为“要么……要么……”的是不相容的选言命题。
二是部分地按照联结词但不完全按照联结词来区分,联结词为“要么……要么……”的是不相容的选言命题,但联结词为“或者”的是哪一种选言命题要根据选言支的内容决定(选言支从内容上看可能同真的为相容的选言命题,选言支从内容上看不可能同真的为不相容的选言命题)。
以上两种意见分歧的焦点是:联结词为“或者”时,能否按照选言支的内容来确定选言命题的种类。
我认为,按照选言支的内容来确定选言命题的种类的做法是不可取的。