逻辑学第六章 关系命题及其推理答案
第六章关系命题及其推理
一、从对称性的角度分析下列命题中划有横线的关系各属何种关系?
1．反对称性关系。
2．对称性关系。
3．反对称性关系。
4．非对称性关系。
5．对称性关系。
6．对称性关系。
7．非对称性关系。
8．非对称性关系。
二、从传递性角度，分析下列命题中标有横线的关系各属何种关系?
1．非传递性关系。
2．传递性关系。
3．非传递性关系。
4．非传递性关系。
5．非传递性关系。
三、下列关系推理是否正确?为什么?
1．不正确。
因为关系“离……很近”是非传递性的。
2．不正确。
因为关系“败给了”是非传递性的。
3．正确。
因为关系“晚于”是传递性的。
4．不正确。
因为“佩服”是非对称性关系。
5．不正确。
因为关系“支援”是非对称性的。
6．正确。
因为“在……以南”是传递性关系。
7．这是个混合关系推理。
同三段论一样，混合关系推理也有这样一条规则：“在前提中不周延的概念在结论中不得周延”。
而在这个推理中，“拥护王厂长”在前提中是不周延，可是它在结论中却周延了。
因此，这个关系推理是错误的。
8．在这个推理中，媒概念“甲组同学”两次都不周延，从而违反了混合关系推理的规则，因此，这是个不正确的关系推理。
9．不正确。
因为“认识”这种关系是非传递性关系。
四、根据关系推理的知识从下列选项中选择正确答案。
B。
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、orA BBDDCABCDAABCCABBCDACBAB CAA BC七、全部错误。
理由：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全同。
逻辑学第三版答案第六章 模态命题及其推理
第六章模态命题及其推理一、指出下列命题各属何种模态命题，并用公式表示其命题形式。
1．教与学脱节，势必造成教学质量下降。
答：必然肯定命题。
其逻辑式为：必然p（或“s 必然是p”）。
2．谎言必然不能长久骗人。
答：必然否定命题。
其逻辑式为：必然非p（或“s 必然不是p”）3．火车必然比摩托车大。
答：必然肯定命题。
其逻辑式为：必然p。
4．他可能估计不到这件事的严重后果。
答：可能否定命题。
其逻辑式为：可能非p（◇¬p）5、月球昼夜温差的巨大变化必定导致无生物存在。
答：必然肯定命题。
其逻辑式为：必然p（□p）6、有错必纠，有反必肃。
答：必须联言命题。
其逻辑式为：必须p 并且必须q（○p∧○q）7．任何人不得利用宗教活动煽动群众闹事。
答:禁止肯定命题. 其逻辑式为：禁止p(Fp).8．满十八岁者不准参加选举。
答:禁止肯定命题. 其逻辑式为:禁止p(Fp).9．能够坦白交待、态度诚恳者，可以从轻处理。
答:允许肯定命题. 其逻辑式为:允许p(Pp).10．不准任何人以任何借口搞分裂国家的活动。
答：禁止选言命题。
其逻辑式为: 禁止p.二、指出下列各组模态命题间的逻辑关系：1．⑴月球运行于太阳和地球之间必然发生日食。
⑵月球运行于太阳和地球之间可能不发生日食。
答：①必然p，②可能非p，二者是“不同真、不同假”的矛盾关系。
2．⑴世界事务必定不会受一、两个大国操纵。
⑵世界事务可能不会受一、两个大国操纵。
答：①必然非p，②可能非p，二者是“可同真，可同假”的从属关系。
即：“必然非p”真，“可能非p”必真；“必然非p”假，“可能非p”可真可假，“可能非p”真，“必然非p”可真可假，“可能非p”假，“必然非p”必假。
3．⑴这个荒岛一定有人上去过。
⑵这个荒岛一定没有人上去过。
答：①必然p，②必然非p，二者是“不同真，可同假”的反对关系。
即断定其中一个真，另一个必假；断定其中一个假，另一个可真可假。
4．⑴证人不可以充当证据鉴定人。
逻辑第六章练习题参考答案
7/13/2020
luoji
8
VI. 一、7. P193
【原题】
7．甲说这个寓言是讽刺蜗牛的。我看这是不对的； 乙说这个寓言是讽刺蚂蚁的，我看这也是不对的。
Evaluation only. eated with Aspose.Slides for .NET 3.5 Client Profile 5.2.0
Copyright 2019-2019 Aspose Pty Ltd.
具体分析“偷换概念”或“偷换论题”究竟表 现在何处
7/13/2020
luoji
11
VI. 二、1. P193
【原题】
1．有一次，有个数学老师在讲“概率论”时，
举了这样一E个v例al子ua：tion only.
eated with A哪s一p“o个s在e民人.S族口li，d统e也计s不f中o论，r是.不N哪论E一T是个哪3时.一5期个C的l国i统e家n计t，资P不r料o论f，i是l都e 5.2.0 Co发p现yr一ig个h同t 2样0的19规-2律0:1在9新A生sp婴o儿se中P，ty男L婴td的.出生率
【参C考op答yr案ig】ht 2019-2019 Aspose Pty Ltd.
自相矛盾，违反了矛盾律
7/13/2020
luoji
7
VI. 一、6. P193
【原题】 6．刚才八位同志就电影剧本《葡萄熟了》
谈了一些不同的意见，尽管这些意见是有分歧的，但 对我都是有启发的。这八位同志从事戏剧、电影创作
7/13/2020
luoji
2
VI. 一、1. P192
【原题】 1．在从前的年代，四方台向来没有人上去
过，上去的人就从来没有回得来的。
逻辑学第6章
（3）注意：应用剩余法时，应当注意以下两点： ①必须确认复杂现象的一部分（a、b、c）是某些 情况（A、B、C）引在的，而且剩余部分（d）不 可能是这些情况（A、B、C）引起的。如果剩余 部分d实际上也是A、B、C这些情况之一（或共同） d D 作用的结果，那么结论“现象d是情况D引起的”， 也就根本无法成立。 ②复杂现象剩余部分的原因（D），不一定是个 单一的情况，还可能是个复杂的情况。换句话说， 剩余部分（d）可能是由复合原因引起的。
（2）逻辑形式： 场合 先进（或后行）情况 被研究现象 （1） A、B、C、D a （2） A、C、E、F a （3） A、D、F、G a …… …… … （1ˊ） —B、C、E — （2ˊ） —D、E、F — （3ˊ） —E、F、G — …… …… … 所以，A情况是a现象的原因（或结果）
豌豆有根瘤 正事例组 蚕豆有根瘤 大豆有根瘤
第六章 归纳逻辑
第五节 探求因果联系的逻辑方法
一、因果联系 1、定义：如果一个现象的存在是另一个现象 、定义 的存在或发生必然导致另一现象的存在或 发生，那么这两个现象之间就存在因果联 系。其中引起者称原因，被引起者称结果。
2、特点： 、特点： （1）原因和结果在时间顺序上是先后相递的。 注意二者还必须是引起与被引起的关系。 （2）因果联系是确定的，相同的条件、相同 的原因会产生相同的结果。 （3）因果联系是普遍而复杂的，一因多果、 一果多因、多因多果。
二、穆勒五法 1、求同法： 、求同法： （1）定义：又叫契合法，是根据被研究现象 ）定义：又叫契合法， 出现的若干不同场合中只有一种先行情况 相同， 相同，从而推断这个唯一相同的情况与被 研究现象有因果联系的方法。 研究现象有因果联系的方法。
逻辑第六章练习题参考答案课件
05
练习题五答案及解析
答案
01
答案一
根据题目中的前提，我们知道小明和小李是不同的学生，而小张是小李
的同班同学。因此，我们可以推断出小明和小张是不同的学生。
02
答案二
根据题目中的前提，我们知道小张和小李是同班同学，而小明和小李是
不同的学生。因此，我们可以推断出小明和小张是不同的学生。
03
答案三
由于题目中没有给出小明和小张之间的关系，我们无法确定他们是否为
答案二
首先，根据题目中的前提，我们知道“所有的人都会说谎”，那么在这个前提下，我们可以推断出“张三说谎” 是成立的。其次，由于“张三说谎”，我们可以推断出“张三不是教授”是成立的。因此，答案是C：“张三不 是教授”。
解析
解析一
首先，我们要明确题目中的前提是“所有的人都会说谎”。这个前提告诉我们所有人都 是说谎者，没有例外。然后，我们来看题目中的问题，是关于张三是否是教授的问题。 由于我们已经知道所有人都是说谎者，那么如果张三是教授，那么他就会说谎，这与我
04
练习题四答案及解析
答案
答案一
根据题目中的前提，我们可以得出以下结论
前提一
所有的人都会说谎。
前提二
没有人能避免说谎。
答案
结论一
根据前提一和前提二，可以推断出没有人能说出真话。
答案二
根据题目中的前提，我们可以得出以下结论
前提一
所有的人都会说谎。
答案
前提二
没有人能避免说谎。
结论二
根据前提一和前提二，可以推断出所有人都是说谎者。
解析三
虽然题目中没有给出小明和小张之间的关系，但是根据逻辑推理，如果小张是小李的同班 同学，而小明与小李不同，那么小明与小张也应该不同。这是因为同班同学之间应该是相 同的学生，而小张是小李的同班同学，所以小明和小张不可能是同班同学。
逻辑学精品教学（林其清）第六章习题答案
【例】对下列命题进行换质，并用公式表示换质过程。
1.没有一个人的经历是一帆风顺的。
2.有些花不是红色的。
3.所有的困难都不是不能克服的。
4.有些战争是非正义的。
5.所有的基本粒子都是有内部结构的。
解：1. 所有人的经历都不是一帆风顺的。
→所有人的经历都是不一帆风顺的。
推理形式为：SEP →SA⎺P。
2. 有些花不是红色的。
→有些花是非红色的。
推理形式为：SOP →SI⎺P。
3. 所有的困难都不是不能克服的。
→所有的困难都是能克服的。
推理形式为：SE⎺P →SAP。
4. 有些战争是非正义的。
→有些战争不是正义的。
推理形式为：SI⎺P →SOP。
5. 所有的基本粒子都是有内部结构的。
→所有的基本粒子都不是没有内部结构的。
推理形式为：SAP →SE⎺P。
【例】下列命题能否换位？如能，请进行换位，并用公式表示换位过程？1.不能说所有唯心论者都是宗教徒。
2.并非所有秋菊都不开白花。
3.并非凡是先进设备都是进口产品。
4.有些鱼类是卵生动物。
5.有些作品不是浪漫主义作品。
解：1. 不能，SOP（有的唯心论者不是宗教徒）不能换位。
2. 有的秋菊是开白花的。
→有的开白花的是秋菊。
推理形式为：SIP → PIS。
3. 不能，SOP（有的先进设备不是进口产品）不能换位。
4. 有些鱼类是卵生动物。
→有些卵生动物是鱼类。
推理形式为：SIP → PIS。
5. 不能，SOP 不能换位。
【例】根据命题变形推理规则，判定下列推理是否成立。
1.由“不搞阴谋轨迹的人不是野心家”推出“有些非野心家不搞阴谋诡计”。
2.由“凡是正派人都是光明磊落的”推出“不光明磊落的人都不是正派人”。
3.由“不劳动者不得食”推出“有些不得食者是不劳动者”。
4.由“凡是公务员都是通过考试录用的”推出：（1）有些公务员不是通过考试录用的。
（2）不是通过考试录用的不是公务员。
（3）凡是通过考试录用的都是公务员。
解：1. 能成立。
推理过程如下：（所有）不搞阴谋诡计的人不是野心家（换质）→（所有）不搞阴谋诡计的人是非野心家（换位）→有些非野心家（是）不搞阴谋诡计。
整理版 逻辑学课后习题答案
形式逻辑学练习（堂上训练部分）第一章绪论一、填空：1．普通形式逻辑研究的对象是：思维形式思维基本规律简单逻辑方法_。
2．在抽象思维、形象思维和灵感思维三者中，普通形式逻辑研究的思维属于_抽象思维__。
3．思维的逻辑形式又叫_ _思维的形式结构_____，指具有不同思维内容的思维形式所共同具有的__共同联系方式___。
4．思维的形式结构是__由逻辑常项和逻辑变项结合而成__的符号系统。
5．思维形式结构中固定不变的部分叫__逻辑常项_，可以变化的部分叫__逻辑变项__。
二、指出下列命题的形式结构：1．这个学生是三好学生。
（这个S是P ）2．马克思主义不是教条，而是行动的指南。
（非p，但q）3．这节课或者你来讲，或者我来讲。
或p，或q4．如果不努力学习，就很难取得好成绩。
如果非p，那么，非q三、指出下列形式结构中的逻辑常项和逻辑变项：1．所有S是P逻辑常项：所有，是。
逻辑变项：S，P2．p←q逻辑常项：←，。
逻辑变项：p，q3．有S不是P逻辑常项：有，不是。
逻辑变项：S，P4．（p∧q）→r逻辑常项：∧，→ 逻辑变项：p，q，r4．直言命题是直接断定对象具有或不具有___某种性质__的命题。
5．直言命题的周延性，是指在直言命题中对主词、谓词外延数量的___断定情况___。
6．矛盾关系是一种_____不可同真，也不可同假____的关系。
7．关系命题是断定___事物之间关系___的命题。
8．如果aRb，并且 bRc成立，那么aRc也一定成立，这种关系就是_传递关系__关系。
二、下列语句是否表达命题？为什么？1．解放思想，实事求是。
（表达命题。
因为这个陈述句具有命题的"有所陈述"和"有真假之分"的逻辑特征。
）2．我还有很多事情要办。
（表达命题。
因为该陈述句具有命题的两个逻辑特征。
）3．这部电脑为什么老出毛病？（不表达命题。
这是一个一般的疑问句，它只是提出了一个问题，亦无所谓真假。
逻辑学基础教程课后练习题答案汇总
目录第一章绪论 (2)第二章词项与概念 (3)第三章简单命题及其推理（上） (5)第四章简单命题及其推理（下） (7)第五章复合命题及其推理（上） (9)第六章复合命题及其推理（下） (12)第七章谓词逻辑初步 (14)第八章模态逻辑及其推理 (15)第九章逻辑基本规律 (16)第十章归纳逻辑 (18)第十一章论证 (19)第十二章谬误 (20)《逻辑学基础教程》练习题参考答案第一章绪论一、填空题1．逻辑学研究思维是暂时撇开（具体内容），专门研究（形式）。
2．任何一种逻辑形式都是由两部分构成的，即（逻辑常项）和（变项）。
3．逻辑常项是指逻辑形式中（不变）的部分，变项是指逻辑形式中（可变）的部分。
判别逻辑形式的类型的唯一依据是（逻辑常项）。
4．形式逻辑研究的对象及其特点决定形式逻辑是一门（工具）性学科，它是没有（民族、阶级）性的。
二、单项选择题1．思维的逻辑形式之间的区别，取决于（B）A．思维的内容B．逻辑常项C．逻辑变项D．语言表达形式2．“所有S是P”与“有的S不是P”，（B）A．逻辑常项相同但变项不同B．逻辑常项不同但变项相同C．逻辑常项与变项均相同D．逻辑常项与变项均不同3．“任何改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。
此推理的逻辑形式是（B）A．所有M不是P，S是M，所以S不是PB．所有M不是P，有些S是M，所以有些S不是PC．有些M不是P，有些S是M，所以S不是PD．M是P，S不是M，所以S不是P三、指出下列各段文字中个“逻辑”一词的含义1．“虽说马克思没有留下‘逻辑’（大写字母的），但他遗留下《资本论》的‘逻辑’……”答：前一个“逻辑”是指逻辑学，即研究思维形式及其规律的科学。
后一个“逻辑”是指某种理论观点。
2．写文章要讲逻辑。
答：思维的规律和规则。
3．跨过战争的艰难路程之后，胜利的坦途就到来了，这是战争的自然逻辑。
答：客观事物发展的规律。
4．艾奇逊当面撒谎，将侵略写成了“友谊”……美国老爷的逻辑，就是这样。
逻辑学课后习题答案完整版
第一章绪论一、请指出下列各段议论中“逻辑”一词的含义：1．电影《菊豆》中主人公的命运是符合生活的逻辑的。
答：规律、规律性。
2．说“知识越多越反动”，这真是奇怪的逻辑！答：理论、观点（贬义）。
3．语法、修辞、逻辑都是工具性的课程。
答：普通逻辑（传统形式逻辑）。
4．写文章要讲逻辑，就是说，要注意整篇文章、整篇说话的结构，开头、中间、结尾要有一种关系，要有一种概念一、指出下列概念的内涵和外延。
1．语言答：“语言”的内涵是指：以语音为物质外壳、以词汇为建筑材料、以语法为结构规律而构成的体系，是人们表达和交流思想的工具。
“语言”的外延是指：世界上古往今来存在的各种有声语言，如汉语、日语、法语、英语、德语等。
广义的“语言”还包括人工语言。
2．戏剧答：“戏剧”的内涵是指：文学、音乐、舞蹈、美术等各种艺术的结合体，是综合艺术。
它的外延是指：在舞台上上演的各种形式的戏剧。
按内容分有悲剧、喜剧、正剧；按表演方式分有话剧、歌剧、歌舞剧；按结构和容量分有独幕剧和多幕剧；按中外形式的不同分有戏曲、话剧、现代歌舞剧。
3．偶数答：“偶数”的内涵是指：自然数中能被2整除的数。
“偶数”的外延是指：2、4、6、8、10、12……。
二、指出下面这些话中哪些是从内涵方面，哪些是从外延方面明确概念的(黑体字所表达的概念)（为了简洁，内涵可用“下划线”标明，外延可用“着重号”标明）。
1．什么是信息？英文里“信息”和“情报”实际都是一个字叫“information”，就是知识。
它是指人们通过实践获得的对于客观世界的正确认识，也就是人类共同创造的精神财富，不是物质的。
我们谈信息，或者说知识，人类的精神财富，包括两大部分：一部分是现代科学体系；还有一部分叫前科学，即进入科学体系以前的人类的实践经验。
答：“人们通过实践获得的对于客观世界的正确认识，也就是人类共同创造的精神财富，不是物质的”是“信息”的内涵；“现代科学体系”和“前科学”是“信息”的外延。
逻辑导论期末复习(知识整理+课后题答案)
第二章1、概念的种类10、人贵有自知之明：普遍概念，非集合概念11、人是由猿进化而来的：单独概念，集合概念12、书是知识的海洋：普遍概念，集合概念13、动物是人类的朋友：动物：普遍概念，集合概念人类：单独概念，集合概念2、定义与划分3，法院是国家的司法机关（定义过宽，司法机关包括法院和检察院）6，故意杀人罪就是故意剥夺他人生命的行为（定义过宽，故意非法剥夺）11，“一年分为四季”是一个正确的划分（错误，分解显现整体与部分的关系）第二章参考答案第一题1、内涵2、外延3、内涵4、外延（军队，警察，法庭，监狱等）、内涵（阶级压迫的工具）5、内涵6、内涵7、内涵8、内涵（希望他人向自己发出要约意思表示）、外延（寄送的价目表、拍卖公告、招标公告、招股说明书、商业广告等）9、内涵10、外延第二题1、单独概念，集合概念2、普遍概念，非集合概念3、单独概念，集合概念4、普遍概念，非集合概念5、单独概念，集合概念6、普遍概念，非集合概念7、单独概念，集合概念8、普遍概念，集合概念9、普遍概念，集合概念10、人贵有自知之明：普遍概念，非集合概念11、人是由猿进化而来的：单独概念，集合概念12、书是知识的海洋：普遍概念，集合概念13、动物是人类的朋友：动物：普遍概念，集合概念人类：单独概念，集合概念第三题1、全同2、反对3、种属4、属种5、交叉6、反对7、矛盾8、交叉9、属种（刑罚和主刑）、属种（刑罚和附加刑）10、全同第五题1．a与b：属种关系；a与c：交叉关系b与a：种属关系；b与c：交叉关系c与a：交叉关系；c与b：交叉关系2．a与b：交叉关系；a与c：属种关系b与a：交叉关系；b与c：属种关系c与a：种属关系；c与b：种属关系3．a与b：属种关系；a与c：属种关系b与a：种属关系；b与c：交叉关系c与a：种属关系；c与b：交叉关系4．a与b：交叉关系；a与c：交叉关系；a与d：交叉关系；b与c：交叉关系；b与d：交叉关系；c与d：交叉关系第六题1．“非人文科学” “自然科学”或“社会科学”2．“非导体” “半导体”或“绝缘体”3．“外国律师” “美国律师”4．“不合法行为” “违法行为”第七题a和b是属种关系，b和c是属种关系，c、d、e是全同关系第八题：正确的是第1、10、16小题，其余错误3，法院是国家的司法机关（定义过宽，司法机关包括法院和检察院）6，故意杀人罪就是故意剥夺他人生命的行为（定义过宽，故意非法剥夺）11，“一年分为四季”是一个正确的划分（错误，分解显现整体与部分的关系）第九题1、限制：程序法；扩大：行为规范2、限制：女审判员；扩大：司法人员3、限制：大兴安岭森林；扩大：植物4、不能限制（单独概念）；扩大：作家第三章，逻辑推理：命题演算一，复合命题1，负命题2，联言命题有p必有q，无p未必无q3，相容选言命题: p或者q ,p∨ q4，排斥选言命题:要么p，要么q,p、q二者必居其一,⌝(p↔q)5，假言命题：如果p，那么q，p→ q有p必有q，无p未必无q6，必要条件假言命题：只有p,才q,q→ p无p必无q,有p未必有q7，等值命题：p当且仅当q ，p↔q二，有效式1、排斥选言推理（a）否定肯定式：(p∨q) ∧⌝ (p∧q) ∧⌝p→q(p∨q) ∧⌝ (p∧q) ∧⌝q→p（b）肯定否定式：(p∨q) ∧⌝ (p∧q) ∧p→⌝q(p∨q) ∧⌝ (p∧q) ∧q→⌝p2，二难推理（假言选言推理）①构成式：(p→r) ∧ (q→r) ∧ (p∨q)→r(p→r) ∧ (q→s) ∧ (p∨q)→r∨s②破坏式：(p→r) ∧ (p→s) ∧ (⌝r∨⌝s)→⌝p(p→r) ∧ (q→s) ∧ (⌝r∨⌝s) →⌝p∨⌝q3，反三段论推理：(p∧q → r) → (⌝r∧ p →⌝q )4,PN系统的基本规则（1）前提引入规则（P规则）（2）重言蕴涵规则（T规则）（3）条件证明规则（C.P规则）证明：P120/八/3①p→q∧r P②¬q∨¬r∨s P③¬ (p∧s) P④p P⑤q∧r ①T⑥s ②⑤T⑦¬s∨¬p ③T⑧¬p ⑥⑦T⑨¬p∧p ④⑧T⑩¬p ④⑨R.A.A（4）间接证明规则R.A.A证明：(p→r) ∧ (q→s) ∧ (⌝r∨⌝s) →⌝p∨⌝q①p→r P②q→s P③¬r∨¬s P④¬ (¬p∨¬q) P⑤p∧q ④T⑥r ⑤T⑦s ⑤T⑧r∧s ⑥⑦T⑨¬ (r∧s) ③T⑩(r∧s)∧¬ (r∧s) ③⑨T⑾¬p∨¬q ④⑩R.A.A第三章参考答案第一题（补充：不是…而是…：联言命题）1. 联言命题：P∧q2. 联言命题：P∧q3. 到过现场的并不都是作案人：负命题┐p4. 负命题┐p5. 选言命题p∨q6. 选言命题p∨q7. 未经人民法院依法判决，对任何人都不得确定有罪：必要条件假言¬p→¬q 8. 必要条件假言命题q→p9. 等值命题p↔q10.某甲和某乙或者都是案犯，或者都不是案犯：选言命题（P∧q）∨（┐p∧┐q）11. 排斥选言：┐（p↔ q）12. 联言：P∧q13. 联言：P∧q∧r14. 联言：p∧（q∧r∧s∧t）15. 科学技术不是上层建筑，而是生产力：联言：P∧q16. 有则改之，无则加勉：联言（p→q）∧（┐p→r）17. 联言:P∧q18. 联言P∧q19. 选言p∨q∨r20. 排斥选言┐（p↔q）21. 假言p∨q→r22. 必要条件假言命题q→p23. 选言p∨q24. 假言p→q25. 这件事情的结局，不会有利于被告，只会有利于原告：联言P ∧q第二题1. （p ∨q ）→¬r2． p ∧[┐（q ∨r ）∧（¬s ∨¬t ）]→¬u3. （p ∨q ）∧r →¬s ∧（t ∨u ）4. p ∧（q ∨r ）∧s →t ∧s5. p ∨q →r6. p ∧q ∧r ∧s ∧t7.犯罪以后自首的，可以从轻或者减轻处罚。