形式逻辑(第5版)课后练习参考答案 第6章
- 格式:docx
- 大小:26.78 KB
- 文档页数:4
《形式逻辑》课后习题参考答案第四章简单命题及其推理(下)一、指出下列三段论的格和式,并指出其中的大项、中项和小项,以及大前提、小前提和结论。
1.第一格AAA式。
大项:一定要胜利的;中项:正义的事业;小项:我们的事业。
大前提:一切正义的事业都是一定要胜利的;小前提:我们的事业是正义的事业;结论:我们的事业是一定要胜利的。
2.第三格AAI式。
大项:能导电;中项:石墨;小项:非金属。
大前提:石墨能导电;小前提:石墨是非金属;结论:有的非金属能导电。
3.第二格AEE式。
大项:文学作品;中项:需要创造艺术形象;小项:学术论文。
大前提:一切文学作品都需要创造艺术形象;小前提:学术论文不需要创造艺术形象;结论:学术论文不是文学作品。
4.第二格AEE式。
大项:鱼;中项:用鳃呼吸;小项:鲸。
大前提:鱼都是用鳃呼吸的;小前提:鲸不是用鳃呼吸的;结论:鲸不是鱼。
二、下列三段论是否正确?如果不正确,违反了什么规则?1.不正确。
大项扩张(大项“青年”在前提中不周延,但在结论中周延。
注:按照对当关系,并非所有的青年工人都是共青团员=有的青年不是共青团员)。
2.不正确。
中项两次不周延。
3.不正确。
四概念错误(大小前提中的两个“物质”不是一个概念)4.不正确。
两前提都是特称命题,或者中项两次不周延。
5.不正确。
中项两次不周延(不是快车是不带邮件的=带邮件的是快车)带邮件的是快车)6.不正确。
中项两次不周延。
不正确。
中项两次不周延。
三、在下列括号内填入适当的符号,构成一个正确的三段论,并写出解题过程。
1.它的限制条件少,很多三段论都满足要求,第一格的有AAA, AAI, AII,,第四格的有AAI, 第二格的有AEE, AEO, AOO,第三格的有AAI, AII,第四格的有AEE。
例如,对于第一格的AAA式,即MAP, SAM/SAP,假设结论为SAP,那么S在结论中是周延的。
根据三段论规则3,S在前提中也必须周延。
按照规则4,前提不能出现否定。
《形式逻辑》(金岳霖)课后习题目录《形式逻辑》(金岳霖)课后习题............................................................................第二章概念....................................................................................................................1.01说明概念的特征和作用。
......................................................................................1.02形式逻辑为明确概念和准确地使用概念提出了那些方法?明确概念和准确地使用概念要注意那些问题?..............................................................................................................1.03说明概念与语词的关系。
......................................................................................1.04为什么说概念的内涵是对事物特有属性的反映,而不是事物特有属性本身?1.05指出下列各概念的内涵和某些外延:..................................................................1.06指出下列各句中,括号里的话是由内涵方面或外延方面,来说明标有横线的概念的:..........................................................................................................................................1.07对下列各概念进行一次限制和一次扩大:..........................................................1.08下列各组概念从前到后,作为连续的限制或扩大,是否正确,为什么?......1.09说明下列各句中带括号的概念是哪一种概念:..................................................1.10什么是形式逻辑所研究的概念之间的关系?说明下列各句子中带括号的概念间有什么关系,为什么?..................................................................................................................1.11指出下列各概念的矛盾概念和反对概念:..........................................................1.12什么是论域?下列各句中带括号的概念的论域是什么?..................................1.13说明真实定义和语词定义的区别和作用。
编写组《普通逻辑》(第5版)笔记和课后习题详解目录内容简介目录第1章引论1.1复习笔记1.2课后习题详解第2章复合命题及其推理2.1复习笔记2.2课后习题详解第3章命题的判定与自然推理3.1复习笔记3.2课后习题详解第4章简单命题的基本要素——概念4.1复习笔记4.2课后习题详解第5章性质命题及其推理5.1复习笔记5.2课后习题详解第6章关系命题及其推理6.1复习笔记6.2课后习题详解第7章谓词自然推理7.1复习笔记7.2课后习题详解第8章模态命题及其推理8.1复习笔记8.2课后习题详解第9章普通逻辑的基本规律9.1复习笔记9.2课后习题详解第10章归纳推理第第1章引论1.1复习笔记一、“逻辑”辨义在现代汉语里,“逻辑”是个多义词。
1.指客观事物发展的规律;2.指某种特殊的理论、观点或看问题的方法;3.指人们思维的规律、规则;4.指一门学问,即逻辑学。
二、传统逻辑与现代逻辑按其历史发展阶段和类型的不同,逻辑学可分为传统逻辑和现代逻辑。
(一)传统逻辑的产生1.古代中国春秋战国时期逻辑思想就有很大发展,随之产生逻辑学说,史称“名辩之学”。
主要内容表现在惠施、公孙龙、后期墨家、韩非等人的著述中。
其中对逻辑学贡献最大的为《墨经》和《正名篇》。
2.古代印度古代印度的逻辑学说被称为“因明”。
“因”是指推理的依据,“明”是指“学说”,“因明”就是古代印度关于推理的学说。
陈那的《因明正理门论》和商羯罗主的《因明入正理论》等是主要的代表作。
3.古代希腊古希腊是逻辑学的主要诞生地。
亚里士多德对逻辑学进行了全面的研究,并在历史上建立了第一个演绎逻辑系统,著有:《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》,这些著作合称为《工具论》。
他对逻辑学的重大贡献,奠定了西方逻辑学发展的基础。
(二)传统逻辑的发展1.斯多葛学派该学派着重研究假言命题、选言命题、联言命题以及由它们所组成的推理形式,并且提出不同类型的推理规则和逻辑公式,后人称之为“命题逻辑”。
《形式逻辑》课后习题参考答案第十章形式逻辑的基本规律一、填空(1)同一(2)排中【注意,排中律要求两个相互否定的思想不能都假,即至少一真,矛盾律要求两个相互否定的思想不能都真,即至少一假。
排中律既适用于矛盾关系又适用于下反对关系,矛盾律既适用于矛盾关系又适用于反对关系。
矛盾关系不等于矛盾律。
对于本题,由于SEP与SIP是相互否定的,这里是指它们具有矛盾关系,以及由于给定的已知条件是SIP为假,所以按照排中律,SEP为真。
但是,按照矛盾律,则只能由SIP为真推出SEP为假,而由SIP 为假推不出SEP为真。
人们之所以通常感觉按照矛盾律可以由SIP假推出SEP真,是因为SIP与SEP具有矛盾关系,所以它们两者肯定一直一假。
但是,应须清楚,这已经是排中律和矛盾律的共同运用的结果,而不是矛盾律的单独运用的结果。
由于具有矛盾关系的思想必须同时运用排中律和矛盾律才能被判定它们两者一真一假,所以当由一个为假而误认为按照矛盾律就可以推出另一个为真时,实际上就会表现为矛盾律与矛盾关系的混淆。
】【还要注意,在选择是运用排中律还是运用矛盾律上问题,这里不用于第五题的第(4)和第(5)小题的情况。
在这里,由于首先给定SIP假为前提,所以需要按照排中律,推出SEP为真。
不同于此,第五题的第(4)的②和第(5)小题,则需要首先按照矛盾律推出两个相互否定的思想至少一假为结论(只不过不是该题的最终结论而已),然后根据题意和该结论来确定这一假是这两个相互否定的思想之一,最后确定其他思想为真,从而推出所要的最终结论。
这对于矛盾律是同样的道理。
】(3)矛盾【注意事项同上】(4)排中(着重于推理)或者同一(着重于等值)、如果老王是党员,那么他就是干部。
二、单选(1)d (2)b (3)a(4)d (5)d【注意第(3)题。
非对称关系是指,如果R(a,b),那么R(b,a)要么﹁R(b,a)。
反对称关系是指,如果R(a,b),那么﹁R(b,a)。
《形式逻辑》课后练习题参考答案p.13练习题一、请指出下列各段文字中的“逻辑”一词的涵义。
1.表示研究思维形式及其规律的科学。
表示客观事物相互联系和发展的规律性,以及反映这种规律性的思维发展的规律性。
2.表示思维形式及其规律的学科。
3.表示客观事物相互联系和发展的规律性。
4.表示看事物的观点。
二、单项选择题。
1.b。
2.b。
p.43练习题一、在下列句子中,哪些语词或语句是标有横线的概念的内涵或外延?(1)“艺术”的内涵:通过塑造形象,具体地反映社会生活,表现作者一定思想感情的一种社会意识形态。
“艺术”的外延:表演艺术,造型艺术,语言艺术和综合艺术。
(2)“宇宙”的内涵:无比众多的运动着的物质,存在于无限的空间、时间之中。
“宇宙中的物质”的外延:分散的物质,即星际物质,和集中的物质,即天体。
(3)“国家”的内涵:阶级矛盾不可调和的产物,阶级统治的工具。
“国家”的外延:社会主义国家,资本主义国家。
(4)“生产资料”的内涵:人们进行生产活动时所必须具有的物质资料。
“生产资料”的外延:土地、森林、水流、生产工具、生产建筑物、交通工具等。
(5)“科学”的内涵:人们关于自然、社会和思维的知识体系;是一种社会意识形态,是通过概念、定义、公理等逻辑思维形式来反映客观世界的。
“科学”的外延:自然科学、社会科学,以及自然科学和社会科学的概括和总结。
(6)“宪法”的内涵:国家的根本大法,是统治阶级意志的表现,是实现其阶级统治的重要工具。
通常规定一个国家的阶级性质、社会制度、国家制度、国家机构、公民的基本权利和义务等。
“宪法”的外延:资本主义宪法,社会主义宪法。
二、下列句子中标有横线的语词表达何种概念(单独概念或普遍概念、集合概念或非集合)?发 展 中 国 家亚 洲 国 家印 度辩证唯物主义 历史唯物主义马克思主义哲学(1)(2)政 党中国共产党 无产 阶 级先 锋 队(3)亚洲小学生 中学生三好学生工人(4) 直接 经验 知识 间接 经验 知识(5)科研 工作者 教育 工作者脑力劳动者劳 动 者(6) 伟大 的思 想 家 伟大 的文 学家伟大的革命家鲁 迅 (7) 小说戏 剧文学作品(8)(1)集合概念。
普通逻辑第5版考研课后题和答案普通逻辑第5版考研课后题和答案普通逻辑编写组《普通逻辑》(第5版)课后习题详解目录第1章引论第2章复合命题及其推理第3章命题的判定与自然推理第4章简单命题的基本要素——概念第5章性质命题及其推理第6章关系命题及其推理第7章谓词自然推理第8章模态命题及其推理第9章普通逻辑的基本规律第10章归纳推理第11章类比推理第12章假说第13章论证与谬误试看部分内容引论思考题1普通逻辑的对象是什么?答:从宏观上看,普通逻辑是研究思维的科学。
辩证唯物主义认为对客观事物的认识需经过从感性认识上升到理性认识,理性认识阶段即思维的阶段。
思维是人脑对客观世界的间接的、概括的反映,有抽象概括性和间接性两个最基本的特征。
普通逻辑主要研究思维的逻辑形式和逻辑规律。
2逻辑与语言有何关系?答:逻辑形式是指不同思维内容所具有的共同结构;语言形式是指某种语言的具体表达方式。
两者的关系如下:(1)联系逻辑与语言之间的联系是十分密切的,具体地表现为思维的逻辑形式与语言形式的紧密联系:概念、命题和推理的存在与表达要借助于语词和语句,否则就无法存在和表达。
(2)区别①同样一种逻辑形式可以用不同的语言形式来表达。
②同样一个语言形式在不同的场合能够表达不同的逻辑形式。
3学习普通逻辑有什么意义?答:学习普通逻辑的意义在于:(1)根本意义通过对普通逻辑的学习与应用,培养、训练和提高人们的逻辑思维能力,开发人们的智能,进而提高整个中华民族的科学文化水平与综合素质,促进知识创新、科技进步,促进和谐社会的构建。
(2)具体意义①学习普通逻辑能够给人们探求新知识提供必要的逻辑工具。
②学习普通逻辑能帮助人们准确、严密地表述和论证思想。
③学习普通逻辑对于人们反驳谬误、揭露诡辩十分必要。
④学习普通逻辑有利于人们学习、理解和掌握其他各门具体科学知识。
4怎样学好普通逻辑?答:学好普通逻辑需要:(1)提高学习自觉性和积极性学习普通逻辑可以把自发地运用逻辑变为自觉地运用逻辑,提高逻辑表达能力。
第四章简单命题及其推理一、下列命题是哪种直言命题?请指出命题的主项、谓项、联项、量项及主谓项的周延情况。
1.共产党员是无产阶级先进分子。
答:这是个全称肯定命题(A),全称肯定量项省略;“共产党员”是主项;“是”为联项;“无产阶级先进分子”是谓项。
主项周延,谓项不周延。
2.任何困难都不是不可克服的。
答:这是个全称否定命题(E)。
全称量项“任何”;主项“困难”;联项“不是”;谓项为负概念“不可克服的”。
其主项、谓项都周延。
3.有些图书是线装书。
答:这是特称肯定命题(I)。
量项“有些”;主项“图书”;联项“是”;谓项“线装书”。
其主项、谓项均不周延。
4.《女神》是郭沫若的诗集。
答:这是个单称肯定命题。
《女神》是主项;“是”是联项;“郭沫若的诗集”是谓项。
其主项周延,谓项不周延。
5.有些学生不刻苦。
答:这个命题一般理解为O命题:有些学生不是刻苦的。
“学生”是主项;“刻苦的”是谓项;“不是”是联项;“有些”是量项。
其主项不周延,谓项周延。
二、下列对当关系推理是否有效?为什么?1.由“有的植物不开花”真,推知“所有植物都开花”假。
答:正确。
因为O与A是矛盾关系,由O真可推知A假。
2.由“凡环境污染都对人身体有害”真,推知“有的环境污染不对人身体有害”假。
答:正确。
因为A与O是矛盾关系,由A真可推知O假。
3.由“有人生而知之”假,推知“有人不是生而知之”真。
答:正确。
I与O是下反对关系,由I假可推知O真。
4.由“有的大学生是有理想的”真,推知“所有大学生都是有理想的”假。
答:不正确。
I与A是从属(差等)关系,由I真推不出A假。
5.由“所有的古代散文都不押韵”假,推知“有的古代散文押韵”真。
答:正确。
E与I是矛盾关系,由E假可推知I真。
6.由“所有的新诗都不押韵”假,推知“所有新诗都押韵”真。
答:不正确。
E与A是反对关系,由E假推不出A真。
三、根据命题的对当关系,由已知下列命题的真假,断定同素材的其它三种命题的真1.已知“某单位职工都买了电冰箱”为假。
形式逻辑答案第一章形式逻辑的对象和意义(P13-14)一、1、逻辑学;客观规律。
2、思维规律。
3、客观规律。
4、某种理论、观点、看法。
二、1、(b)。
2、(b)第二章概念(P43-49)二.(1)单独、集合;(2)普遍、非集合;(3)普遍、集合;(4)普遍、非集合;(5)普遍、非集合;(6)普遍、集合。
三.字母ABCD分别表示先后出现的概念六.全部错误。
理由:1、使用了否定;2、循环定义;3、定义过窄;4、循环定义;5、隐喻;6、定义过宽;7、定义过窄;8、定义过宽。
七、全部错误。
理由:1、是分解;2、混淆根据、子项相容;3、不是划分;4、子项相容、划分不全、混淆根据;5、混淆根据、子项相容;6、是分解;7、多出子项;8、划分不全。
九、1、内涵、外延。
2、交叉、反对。
3、不相容(全异)、同一。
4、(略)。
5、定义过窄。
6、真包含(同一)、不相容(全异)。
7、限制、概括。
8、多出子项、划分不全。
十、a c d d(c) c d a c第三章简单命题及其推理(上)(P77-81)一、(3)、(5)直接表达判断。
二、A A A E O I A(a) E三、1、不能,能。
2、能,能。
3、(略)六、(3)正确。
七、1、SOP。
2、真包含于。
3、全同、真包含于。
4、真假不定。
5、特称、肯定。
6、SI P 真。
八、c d d d c d九、de de bc bc十、SIP、SOP取值为真,SIP可换位:sip pis 。
十一、推导一:ABC三句话分别是性质命题SAP、SaP、SEP,a与E是反对关系,必有一假,所以根据题意SAP必真,所有学生懂计算机,班长必然懂计算机。
推导二:A句与C句是反对关系,不可同真,必有一假,所以B句真,B句真则C句假,所以A句亦真,所有学生懂计算机,班长必然懂计算机。
十二、推导:SIP与SOP是下反对关系,不能同假,必有一真,所以POS必假,P真包含于S或与S全同,即S真包含P或与P全同,而前者使AB两句话均真,不合题意,所以S 与P全同。
PMBOK 指南(第指南(第55版)第版)第六六章习题章习题(附答案)(附答案)1.You have received three estimates for your project activity.The optimistic estimate is 245days,the pessimistic estimate is 269days,and the most likely estimate is 257days.This particular activity is critical to the project,and your project sponsor wants to know with 95percent certainty how long it will take to complete this activity.Which of the following do you tell the project sponsor?A.265days to 273daysB.253days to 261daysC.261days to 277daysD.249days to 265days1.你获得项目活动的三种估算。
最乐观估算为245天,最悲观估算为269天,最可能估算为257天。
这个活动对项目非常关键这个活动对项目非常关键,,你的项目发起人希望获得关于活动历时95%的确定结果,你将向发起人汇报:A.265至273天B.253至261天C.261至277天D.249至265天2.According to learning curve theory,when many items are produced repetitivelyA.Production equipment that requires less operator training lowers unit costsB.Unit costs decrease as production rates increaseC.Unit costs decrease in a regular pattern as more units are producedD.Costs of training increase as the level of automation increases2.根据学习曲线理论(根据学习曲线理论(learning learning curve theory theory)),当很多项是重复生产时:A .需要较少操作员培训的生产设备可以降低单位成本B .随着生产率的提高,单位成本减少C .随着生产更多的单位,单位成本有规律的降低D .随着自动化程度的增加,培训成本也增加3.The flexibility of scheduling is byA.Free floatB.Total floatC.ADMD.Crashing3.进度安排的灵活性是由()决定的?A.自由时差B.总时差C.箭线图法D.赶工4.You have received estimates for one of your project tasks as follows:Thepessimistic estimate is24days,the optimistic estimate is18days,and the most likely estimate is20days.What is the standard deviation?A.1B.0.33C.0.67D.1.5你收到项目任务的估算如下,,最悲观24天,最乐观18天,最可能20天,一个标准4.你收到项目任务的估算如下差是多少?A.1B.0.33C.0.67D.1.55.Which of the following choices include all the tools and techniques to the process of estimate activity duration?A.Analogous estimating,parametric estimating and three-point estimatingB.Expert judgment,analogous estimating,parametric estimating and three-point estimatingC.Expert judgment,analogous estimating,parametric estimating three-point estimating durations and reserve analysisD.Expert judgment,analogous estimating,parametric estimating three-point estimating durations and bottom-up estimating5.估算活动持续时间的工具方法包括:A.类比估算、参数估算、三点估算B.专家判断、类比估算、参数估算、三点估算C.专家判断、类比估算、参数估算、三点估算和储备分析D.专家判断、类比估算、参数估算、三点估算和自下而上估算6.When is the project completion changed?pression of Critical PathB.When the use of contingency reserve is not allowedC.At the time of project resources are decreasedD.No float什么时候项目的完成会发生变动::6.什么时候项目的完成会发生变动A.关键路径压缩时B.当不允许使用应急储备时C.当减少项目资源的时候D.没有总时差的情况下7.Resource leveling generallyA.Increases the total project cost.B.Delays project completion.C.Requires less resourcesD.Requires more resources7.资源平衡通常资源平衡通常::A .增加整个项目成本B .拖延项目的完成C .需要较少的资源D .需要更多的资源8.During the duration compression you increased the resources to a critical path activity or activities.What must be further considered?A.The delay of the other activityB.New critical activities come outC.The resources assigned to the other tasks on the critical pathD.The longest task which resides in the schedule8.8.在历时压缩过程中,你为关键路径活动增加了资源。
《形式逻辑》课后习题参考答案
第六章复合命题及其推理(下)
一、填空题
(1)如果做坏事那么就应受到惩罚。
(2)如果被录取那么就通过了考试;并非没有通过考试并且被录取。
(3)假;真
(4)假;真
(5)假
(6)小王不是大学生或者不是运动员;如果小王是大学生,那么他就不是运动员;如果小王是运动员,那么他就不是大学生。
(7)真;真
(8)他不去
(9)﹁(p∧q)(或者﹁p∨﹁q,因为﹁(p∧q)=﹁p∨﹁q)
二、单选
(1)d (2)d (3)a (4)c (5)d
三、双选
(1)de (2)ad (3)ad (4)be (5)bc
四、多选
(1)abcde (2)acde (3)abe (4)bcd
五、真值表解题
(1)
a)
p q p∧q p∨q
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 0
由表可见,p∧q与p∨q不等值。
b)
p q ﹁p ﹁p∨q p→q
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
由表可以看出,﹁p∨q与p→q是等值的。
c)
p q ﹁p ﹁q p→q﹁p←﹁q
1 1 0 0 1 1
1 0 0 1 0 0
0 1 1 0 1 1
0 0 1 1 1 1
由表可以见得,p→q与﹁p←﹁q是等值的。
d)
p q ﹁p ﹁q p→q﹁q→﹁p
1 1 0 0 1 1
1 0 0 1 0 0
0 1 1 0 1 1
0 0 1 1 1 1
由表可见,p→q与﹁q→﹁p是等值的。
(2)
A B A→B
p q p→q p↔q (p→q)→(p↔q)
1 1 1 1 1
1 0 0 0 1
0 1 1 0 0
0 0 1 1 1
可见,A不是B的充分条件。
(3)
p q ﹁q p→q p↔﹁q p∧q p∨q
1 1 0 1 0 1 1
1 0 1 0 1 0 1
0 1 0 1 1 0 1
0 0 1 1 0 0 0
由表可见,当p→q和p↔﹁q都真时,p∧q为假,p∨q为真。
(4)设甲去北京为p,乙去北京为q,则
A:p←q
B:p→q
C:﹁p∨﹁q
p q ﹁p ﹁q p←q p→q﹁p∨﹁q
1 1 0 0 1 1 0
1 0 0 1 1 0 1
0 1 1 0 0 1 1
0 0 1 1 1 1 1
可见,当A、B和C均真时,甲和乙都不去北京。
(5)设甲村所有人有彩电为p,则甲村有些人没有彩电即为﹁p;再设乙村所
有人有彩电为q。
那么
A:﹁p←q
B:p∧q
C:p∨q
p q ﹁p ﹁p←q p∧q p∨q
1 1 0 0 1 1
1 0 0 1 0 1
0 1 1 1 0 1
0 0 1 1 0 0
可见,当A、B和C恰有两个为假时,甲村和乙村都不是所有人家都有彩电,即两村都是有些人家没有彩电。
(6)设小张去黄山为p,小刘去黄山为q,则
甲:p→q
乙:p←q
丙:p∨q
p q p→q p←q p∨q
1 1 1 1 1
1 0 0 1 1
0 1 1 0 1
0 0 1 1 0
可见,小张和小刘都去黄山,可以同时满足甲、乙和丙的意见。
(7)请用简化真值表法判定下列各式是否是重言式。
A.不是重言式(步骤略)。
B.是重言式(步骤略)。
C.是重言式(步骤略)。
六、综合题
(1)解:
①由b和a可知,小张在做习题。
②按照题意,由①和b可知,小方在读报,小李在写家信。
(2)解:设p、q和r分别表示甲、乙和丙通过了外语四级考试,s表示丁通过了外语六级考试,则
A.(p∧q)→﹁r
B.﹁(﹁r∨﹁s)
C.s→p
①r∧s 由B,德摩根定律
②r 由①,联言推理的分解式
③s 由①,联言推理的分解式
④p 由C和③,充分条件推理的肯定前件式
⑤﹁(p∧q) 由A和②,充分条件推理的否定后件式
⑥﹁p∨﹁q 由⑤,德摩根定律
⑦﹁q 由⑥和④,选言推理的否定肯定式
所以,甲和丙通过了外语四级考试,乙没有通过外语四级考试。
(3)解:
①由a可知,“凡A是B,但有B不是A”。
②以“凡A是B”和b“有C不是B”为前提,按照三段论规则,只能
推出“有C不是A”(注,推不出“有A不是C”,否则就会犯“小项扩张”的错误。
)
③c等于“C真包含A,或者C真包含于A”。
④“有C不是A”与“C真包含于A”相矛盾。
⑤由③和④和选言推理的否定肯定式可得,C真包含A,即A真包含于
C。
(作图略)
(4)解:设p,q,r分别表示寄君衣,君还,君寒。
这里的妾身千万难,是指君不还或者君寒。
因此,这是一个二难推理:
(p→﹁q)∧(﹁p→r)∧(p∨﹁p)⊢﹁q∨r。