逻辑学课后练习题答案

合集下载

逻辑学课后练习答案

逻辑学课后练习答案

逻辑学课后练习答案【篇一:逻辑学课后习题答案】)。

二、1、真。

2、假。

3、假。

4、真。

5、假。

6、真。

7、假。

8、真。

9、真。

10、真。

11、真。

12、假。

13、真。

14、假。

习题2.2一、1、?(a→b)2、? a→b3、?(a∧? b)4、a∧(b→c)5、a→d∨b6、(a→d)∧(d∨b)7、(a?d)→e8、f→a∨g∨h 9、a→(d→e)二、1、a:甲队获胜;b:乙队获胜。

(b→a)∨(a→b)。

2、a:此地气候潮湿;b:此地天阴;c:此地下雨。

a∧(b∨c)。

另外的答案:(b∨c)→a (大家可以讨论这里合取的意义还是必要条件的意义更为适合)3、a:学习好;b:锻炼身体;c:关心社会;d:成为三好学生。

d→a∧b∧c4、a:人不知;b:己莫为。

a→b5、a:人犯我;b:我犯人。

(? a→? b)∧(a→b)或a?b6、a:我懂的古文;b:我精通古代哲学。

(b→a)→? b7、a:他出门;b:他买书;c:他看电影;d:他的钱多。

(a→b∨c)∧? d8、a:甲上场;b:乙上场;c:丙上场;d:我队失败。

? d→((a∨b)∨c)9、a:他获得奖学金;b:他唱歌;c:他跳舞;d:他抽烟;e:他烦躁;f:他考试不及格;(a? b∧c)∧(d∧e → f)习题2.3一、1、矛盾式。

真值表如下:2、偶然式。

真值表如下:3、偶然式。

真值表如下:14、偶然式。

真值表如下:5、重言式。

真值表如下:6、偶然式。

真值表如下:7、矛盾式。

真值表如下:28、重言式。

真值表如下:二、重言等值的命题对是:2、3、5、6。

它们的真值表如下:2、d∨j和? (? d∧? j)5、b?e和(b∧e)∨( ? b∧? e)6、i→(m→o)和m→(i→o)3三、题二中第一个命题重言蕴含第二个命题的命题对是:2、3、4、5、6、7、8。

四、略。

习题2.4一、略。

二、有效的推论有:1、2、4、6、7、9、11、12。

无效的推论有:3、5、8、10。

逻辑学课后习题答案

逻辑学课后习题答案

第一章绪论(P6)一、1.逻辑学得研究对象就是思维得形式结构及其规律,逻辑学就是研究思维形式结构及其规律得科学。

2.思维形式结构就是思维内容得存在方式、联系方式。

逻辑常项就是思维形式结构中得不变部分,它决定思维得逻辑内容。

逻辑变项就是思维形式结构中得可变部分,它容纳思维得具体内容。

如“所有S就是P”这一全称肯定命题得思维形式结构,其中“所有……就是……”就是逻辑常项,表明该命题具有“全称肯定”得逻辑内容。

“S”、“P”就是逻辑变项(词项变项),代入不同具体词项,表达不同得具体思维内容,并有真假。

又如“如果P,那么Q”这一充分条件假言命题得思维形式结构,其中“如果……那么……”就是逻辑常项,表明该命题具有蕴涵式得逻辑内容,即前件真则后件真(“有之必然”),并非前件真而后件假(并非“有之而不然”)。

“P、Q”就是逻辑变项(命题变项),代入不同得具体命题,表达不同得具体思维内容,并有真假。

3.对思维形式结构得代入,就是指用具体得词项或命题替换思维形式结构中得逻辑变项,因而使思维形式结构成为有内容得具体思想,并具有真假值。

如用具体得词项“杨树”与“落叶乔木”,分别替换“所有S就是P”这一全称肯定命题得思维形式结构中得逻辑变项“S”与“P”,因而使思维形式结构成为有内容得具体思想“所有杨树就是落叶乔木”,并具有真值。

又如用具体得命题“过度砍伐森林”与“会破坏生态平衡”,分别替换“如果P,那么Q”这一充分条件假言命题得思维形式结构中得逻辑变项“P”与“Q”,因而使思维形式结构成为有内容得具体思想“如果过度砍伐森林,那么会破坏生态平衡”,并具有真值。

4.现代逻辑从形式上定义与说明逻辑规律。

如命题逻辑中得逻辑规律就就是重言式(一真值形式在命题变项得任意一组赋值下都真),谓词逻辑中得逻辑。

规律就就是普遍有效式(指一命题形式在任一解释下都得到一个真命题)①,传统逻辑主要从内容、作用上定义与说明逻辑规律。

逻辑规律有特殊与一般之分。

整理版 逻辑学课后习题答案

整理版 逻辑学课后习题答案

形式逻辑学练习(堂上训练部分)第一章绪论一、填空: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.这部电脑为什么老出毛病?(不表达命题。

这是一个一般的疑问句,它只是提出了一个问题,亦无所谓真假。

(完整word版)逻辑学基础教程课后练习题答案汇总

(完整word版)逻辑学基础教程课后练习题答案汇总

《逻辑学基础教程》练习题参考答案第一章绪论一、填空题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.“有些唯物主义是马克思主义者”与“有些唯物主义者是先验论者”。

答:具有.它们的命题形式都是“有的S是P"。

2.“如果甲是三好学生,那么甲会按时到校”与“只有甲是三好学生,甲才会按时到校”。

逻辑学课后练习题含答案

逻辑学课后练习题含答案

逻辑学课后练习题含答案前言逻辑学是哲学中的一个分支,研究人类思维的规则和方法。

在逻辑学中,人们通过讨论一些透彻的哲学问题来理解和发展逻辑的结构体系。

题目以下是逻辑学的一些课后练习题以及答案。

这些题目涵盖了逻辑学的一些基本概念和方法,包括命题逻辑、谓词逻辑、关系逻辑等。

命题逻辑1. 下列二元关系中,是等价关系的有()。

A. 父亲与儿子B. 兄弟与姐妹C. 夫妻与妻夫D. 同龄人与老少答案:B2. 下面的推理是否成立?如果成立,给出原因;如果不成立,指出原因。

命题 1:世界上所有女人都要结婚。

命题 2:玛丽是一个女人。

结论:玛丽一定要结婚。

答案:不成立。

推理有误,虽然第一条命题可以推出玛丽是一个女人,但是这不能推出玛丽一定要结婚,所以结论不成立。

谓词逻辑3. 对于下列论域,写出其相应的常量集和谓词。

论域:中国人常量集:李明,小王,张三谓词:是中国人4. 给定以下句子,试使用自然语言来表述,并使用谓词和常量符号来表示它们。

句子 1:所有的猫都喜欢吃鱼。

句子 2:有些人没有宠物。

答案:句子 1:$\\forall x(Cat(x) \\rightarrow Likes(x,Fish))$句子 2:$\\exists x(\ eg Exists(y)Pet(x,y))$关系逻辑5. 写出下列关系的自反闭包和对称闭包。

关系 $\\{\\langle b,a \\rangle,\\langle b,c \\rangle,\\langle a,a \\rangle,\\langle c,c \\rangle,\\langle a,b \\rangle\\}$ 自反闭包:$\\{\\langle a,a \\rangle,\\langle b,b \\rangle,\\langle c,c \\rangle,\\langle b,a \\rangle,\\langle b,c \\rangle,\\langle a,b \\rangle,\\langle c,c \\rangle\\}$对称闭包:$\\{\\langle b,a \\rangle,\\langle b,c \\rangle,\\langle a,a \\rangle,\\langle c,c \\rangle,\\langle a,b \\rangle,\\langle c,b \\rangle\\}$6. 写出下列图形所示的定向图的邻接矩阵。

逻辑学基础教程课后练习题部分参考答案

逻辑学基础教程课后练习题部分参考答案

《逻辑学基础教程》练习题参考答案第一章绪论一、填空题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.“有些唯物主义是马克思主义者”与“有些唯物主义者是先验论者”。

答:具有。

它们的命题形式都是“有的S是P”。

2.“如果甲是三好学生,那么甲会按时到校”与“只有甲是三好学生,甲才会按时到校”。

答:不具有。

前者的命题形式是“如果p那么q”,后者的是“只有p才q”。

逻辑学练习题(附答案)

逻辑学练习题(附答案)

逻辑学练习题(附答案)一、单选题(共100题,每题1分,共100分)1.深入︰浅尝辄止A、疏远︰形影不离B、细致︰事无巨细C、安定︰水深火热D、独立︰自食其力正确答案:A2.不适用于“单独概念”的逻辑方法有________A、概括B、定义C、限制D、分解正确答案:C3.消毒:手术A、动员:开会B、启动:驾驶C、生产:销售D、彩排:演出正确答案:B4.下列各组概念间,具有属种关系的是A、汽车、发动机B、大连市、甘井子区C、党员、人D、《巴金全集》、《家》正确答案:C5.已知“有些违法行为不是犯罪行为”为真,则_______A、“所有的违法行为都不是犯罪行为”为真B、“有些违法行为是犯罪行为”为假C、“所有的违法行为都是犯罪行为”为真D、“所有违法行为都是犯罪行为”为假正确答案:D6.若“p→q”真与“q”真,则()。

A、“p”要么真,要么假B、“p”真假不定C、“p”真D、“p”假正确答案:B7.头领:石头A、黄昏:蛋黄B、子女:袜子C、桌椅:圆桌D、动物:行动正确答案:B8.黄连∶苦涩A、班级∶团结B、城市∶繁华C、钻石∶坚硬D、花朵∶鲜红正确答案:C9.狐狸:狡猾:动物A、票友:业余:票房B、白杨:笔直:杨树C、熊掌:有力:熊D、牡丹:富贵:植物正确答案:B10.经济学中,系统内部个别效率较高的组织的出现,会对其他效率较低的组织的存在和发展构成破坏或抑制,人们把这种作用称为“顶尖效应”。

由于个人之间、地区之间、国家之间的发展不平衡,因此“顶尖效应”是普遍存在的。

根据上述定义,下列有助于避免“顶尖效应”的是A、发达国家甲与经济落后国家乙之间的贸易交易费用下降,导致乙国的资金外流B、某地制定新政,加大对中小企业的扶持力度,同时对垄断行业进行调控,限制规模C、某粮食生产企业一直不景气,在采用先进栽培技术后,企业生产规模扩大,销售份额开始提升D、某地规定,对于优秀留学归国人员可参照其学历或专业水平直接授予相应等级的专业技术职称,不受任何年限等限制正确答案:B11.在市场经济条件下,每个商品生产的经营者都是独立的经济主体,都有充分的自主权。

逻辑学课后题答案

逻辑学课后题答案

第一章绪的含义:12的逻辑!345.答:1 与是P,所有65第二章概1.语言2.戏剧歌舞剧。

3.偶数2,即《尔雅》、《公、《左传》、《周礼》、、《诗经》、《书经》、、《论语》、《孟子》。

是“经”是“经”的部分外延,时间之中,所有的天体可分为六“非对抗性矛盾”、答:“失败”和“成功”都是肯定概念。

2.单句可分为主谓句和非主谓句。

答:“单句”和“主谓句”都是肯定概念;“非主谓句”是否定概念。

3.这次选举的选票有赞成票、反对票、弃权票。

答:“赞成票”、“反对票”和“弃权票”都是定概念。

、4.这次升学,无论考上还是考不上,都要先作好思想准备。

答:“考上”是肯定概念,“考不上”是否定概念。

五、指出下列语句中标横线的语词表达集合概念还是非集合概念。

1.人是由猿进化来的;廉耻之心,人皆有之。

答:第一个“人”表达集合概念;第二个“人”表达非集合概念。

2.青年代表祖国的未来;每个青年都要努力学习。

答:第一个“青年”表达集合概念;第二个“青年”表达非集合概念。

3.他逛了一趟花卉市场,买了几盆菊花。

答:“花卉”表达集合概念;“菊花”表达非集合概念。

4.人民是历史的创造者;在社会主义国家里,人民享受着广泛的民主自由。

答:第一个“人民”表达集合概念;第二个“人民”表达非集合概念。

六、用图解法表示下列概念间的关系。

1.A 船 B 轮船 C 货船答:这几个概念间的关系可用图表示为:2.A 泰山 B 山东 C 中国 D 联合国答:可用图表示为:3.A 词 B 褒义词 C 贬义词 D 合成词4.A 现代化 B 社会主义现代化 C 有中国特色的社会主义现代化答:可用图表示为:5.A 石拱桥 B 卢沟桥 C 拱形桥洞6.A 小说家 B 戏剧家 C 诗人 D 文学家答:可以用图表示为:七、将具有下图所示关系的概念分别填入图3.八、如果可能,将下列概念各进行一次限制和概括。

1.日光灯答:可限制为“20 瓦日光灯”;可概括为“电灯”。

2.月亮答:“月亮”是单独概念,不能限制;可概括为“地球卫星”。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第一章练习题答案一、简答下列问题:1、什么是逻辑学的研究对象?答:思维形式结构及其规律。

2、什么是思维形式结构?什么是逻辑常项和逻辑变项?题,答:一个真确的演绎推理的形式结构同时也是一个逻辑规律。

7、逻辑学研究的核心问题是什么?答:判定推理的有效性,分辨推理的正误,研究判定规律。

8、语言、思维、逻辑学的关系是什么?答:语言是思维的直接显示,是思维的物质外壳。

逻辑学通过研究语言的形式结构,来研究思维的形式结构。

9、语言有哪些构成要素?基本符号(是语言的基本材料,没有基本符号就没有语言),语形规则(什么样的基本符号是合式的,即是本语言中的词、词组或语句、项或公式),语义规则(是对语言中的合式的词、词组或语句的解释,即赋予其意义)。

第二章练习题答案一、判断下列断定的正误:1、对象所具有的性质,统称为对象的属性。

答:错。

因为属性是对象的的性质以及对象间关系的统称。

2、对象的本质属性就是为该类对象共同具有的属性。

答:错。

一类对象共有的属性是固有属性,不一定是本质属性。

指:内涵越少的概念外延越大,内涵越多的概念外延越小。

答:错。

只有具有属种关系的概念外延之间,才存在内涵外延的反变关系。

二、运用本章的相关知识以及相关常识,回答下列问题。

1.“平反就是对处理错误的案件进行纠正。

”错误。

定义过宽。

2.“科学理论就是符合实际的认识。

”错误。

定义过宽。

3.把勇敢限制为“勇敢的战士”。

错误。

“勇敢”和“勇敢的战士”之间不存在属种关系。

4.“喜马拉雅山脉”概括为“珠穆朗玛峰”。

错误。

“喜马拉雅山”和“珠穆朗玛峰”之间不存在属种关系。

三、在以下各句的括号中填入哪个或哪些选项是适当的?2.“《孔乙己》”是单独概念、正概念;“作品”是普遍概念、正概念。

3.“非司机”是普遍概念、负概念。

4.“中国女子排球队”是单独概念、正概念;“世界冠军”是普遍概念、正概念。

5.“中国工人阶级”是单独概念、正概念。

6.“国家检察机关”是单独概念、正概念。

六、试分析下列各题中标有横线的语词是在集合意义下使用的,还是在非集合意义下使用的?1.集合2.非集合123.BADC4.CAB5.ACBD九、用欧拉图表示下列各题中概念之间的关系:1.A2B3456.ACB7.同38.DCA9.ABCD4.限制错误,因为“军队”和“人民战士”不具有属种关系。

概括正确。

5.限制错误,因为限制是从属概念到种概念。

概括错误,因为“喜马拉雅山脉”与“喜马拉雅山最高峰”不具有属种关系。

6.限制和概括均正确。

十二、下列表述作为连续限制或连续概括是否正确?为什么?1.错误。

不具有属种关系。

2.“中国北方最大的城市”概括为“中国最大的城市”错误,二者不具有属种关系。

其余正确。

3.错误。

单独概念不能限制。

4.“洪秀全”限制为“青年时代的洪秀全”错误,因为单独概念不能限制。

十五、下面三例从事实上说明关于“健康”这一概念的所作的相关定义是不确切的。

请从逻辑上分析这些定义各犯有什么错误?1.错误。

定义过宽。

2.错误。

对正概念下定义不得使用否定句。

3.错误。

定义过宽。

定义含糊。

十六、下列语句是否为语词定义?1.是。

2.是。

3.不是。

4.是。

“长为错。

1.B。

感染艾滋病的人数,和死于艾滋病菌的人数是两个密切相关但并不相同的概念,不能把它们作为同一概念使用,题干的反驳正是指出了这一点。

2.E。

由条件,有围棋爱好者爱好武术,并且所有的武术爱好者都不爱好健身操。

因此有的围棋爱好者不爱好健身操,所以不可能所有的围棋爱好者都爱好健身操。

3.A。

由条件,每个桥牌爱好者都爱好围棋,又每个围棋爱好者都爱好武术或者健身操,因此,每个桥牌爱好者都爱好武术或者健身操。

这与A项的断定矛盾。

4.A。

I不可能是真实的。

因为由题干,上述观点,是瑞典科学家在1998年5II和如下:(1)?P??S规则P(2)?D?G规则P(3)A?C规则P(4)D??R规则P(5)?R??C规则P(6)?A??P规则P(7)?S??T??Q规则P(8)?R??F规则P(9)G规则P张先生点的菜中或者有川菜,或者有粤菜。

张先生点的菜中有川菜。

所以,张先生点的菜中没有粤菜。

这是相容选言推理的肯定否定式,是无效推理。

要使题干的论证成立,必须加强这个推理的前提,使之成为有效推理。

选项A如果为真,显然就使得题干的推理由相容选言推理变为不相容选言推理。

不相容选言推理的肯定否定式是有效式,因而推理有效,论证成立。

2.E。

E项是个充分条件假言命题,其前件断定了两个条件:第一,气温在零摄氏度以上;第二,街上没有穿雨衣。

其后件断定,天没下雨。

题干断定:如果天下雨,并且气温在零摄氏度以上,则街上有人穿雨衣。

A项是说科幻小说的评论几乎没有影响,B项是说科幻小说的评论在科幻小说的读者中几乎没有影响,C项是说科幻小说的评论对于它的读者有负影响,即起了科幻小说的负促销作用。

显然,C项比A和B项更能削弱题干。

D项不能削弱题干。

E项涉及的是个例,即使能削弱题干,力度也不大。

5.A。

因为如果有吸烟史的人在1995年超过世界总人口的65%,由题干,这个百分比已经接近于有吸烟史的肺癌患者占全部肺癌患者的比例,又考虑到事实上患肺癌的主要是成年人,因此,吸烟史的肺癌患者占全部肺癌患者的比例,绝不会高于有吸烟史的人占世界总人口的比例。

这说明吸烟并没有增加患肺癌的危险。

5.老张和老李都当代表,或者都不当代表。

6.衣食足但不能知荣辱,或者衣食不足但能知荣辱。

7.认识字母但学不好外语。

8.小孩每天不吃巧克力也长得好。

八、写出下列复合命题的真值形式。

1.设p表示“明天我去看电影”,q表示“明天我去看展览”,r表示“明天我去游泳”。

则其真值形式为:(p?q)?(?(p?q)?r)。

2.设p表示“明天天睛”,q表示“单位加班”,r表示“明天我们去游泳”,s表示“我们明天去划船”。

则其真值形式为:(p??q)?(r?s)。

3.设p表示“科学家的预见是正确的”,q表示“我们从现在起就重视环境?q?r)。

,r p?q?r)?s。

答:此真值形式为可真式。

3.答:此真值形式为可真式。

十、运用有关规则,判定下列命题推理是否有效。

1.该推理的推理形式为:p或者q;p;所以,非q。

无效,违反相容选言推理的规则“肯定一部分选言支,不能否定另一部分选言支”。

2.该推理的推理形式为:如果非p,那么非q;p;所以,q。

无效,违反p。

有FTFTFTF矛盾(p??p)?(p??p)FTFFTFT还是矛盾,所以此推理有效。

2.?(?p?q)?(?p??q)FF1(4)式为合取范式,是重言式,因此,该式是重言式。

(3)式化简即为析取范式:(p??q)??p?q(5)(5)式不是矛盾式,但不能判定是否为重言式。

2.(p??q)?(?p?q)消去“?”:((p??q)?(?p?q))?(?(p??q)??(?p?q))(1)内移“?”:((p??q)?(?p?q))?((?p???q)?(??p??q))(2)消去“??”:((p??q)?(?p?q))?((?p?q)?(p??q))(3)(3)式化简,即得合取范式:p??q?(?p?q)(4)(4)式不是重言式,但不能判定该式是否为矛盾式。

(3)式化简,按合取分配律展开:(p??q??p)?(p??q?q)(5)(53(4(5)(54(3)式化简即得析取范式:(?q?p)??p(4)(4)式不是矛盾式,因此,该式不是矛盾式。

(3)式按析取分配律展开,可得合取范式:(?q??p)?(p??p)(5)(5)式不是重言式,因此,该式也不是重言式。

因此,该式为非重言的可真式。

十三、用范式方法判定下列推理是否有效。

设p表示“上帝创世说的故事是真实的”,q表示“地球存在的头三天没有太阳”,r表示“‘一天’的概念是由太阳来定义的”。

则该推理的真值形式为:((p?q)?r??(r?q))??p求该式的合取范式:1?p(2)pP(3)p?qT(2)(析取引入,即p真时,p?q一定真)(4)?(?p??q)T(3)德摩根律(5)rT(1)(4),充分条件假言推理的肯定前件式所以,推理有效。

2.推理形式为:p?(q?r)?(?q?s)?r??s∴?p构造自然推理如下:(1(2(3(4(5(6(7(8(9(10(11(123.推理形式为:p?(q?r)r??ss∴q?p(q?p)?(?q??p)构造自然推理如下:(1)p?(q?r)P(2)r??sP(3)sP(4(5(6(7(8(9(5)1?12P(6)1T(5),联言推理分解式(7)12T(5),联言推理分解式(8)3T(2)(6),必要条件假言推理否定前件式(9)?6T(3)(8),不相容选言推理肯定否定式(10)?4T(1)(9),充分条件假言推理否定后件式(11)?(9?12)T(4)(10),充分条件假言推理否定后件式(12)?9??12T(11),德摩根律(13)?9T(7)(12),相容选言推理否定肯定式所以,9号不上场。

话。

由已知①③可知,乙也不会单独作案,这样,甲、乙、丙均没作案,这和已知④矛盾,所以,假设不成立,甲一定作案。

4.这个骑士说:“我不是富有的骑士”。

这句话不可能是无赖说的,否则无赖就说真话了;这句话也不可能是富有的骑士说的,否则他就说假话了。

因此,这句话只可能是贫穷的骑士说的。

5.智者问某一个士兵,不妨问甲:“如果你问乙,乙将如何回答,他手里拿的是毒酒还是美酒?”如果甲说真话,则乙说假话,这样,甲就把一句假话如实地告诉智者,智者听到的是一句假话;如果甲说全民族人,则乙说真话,这样,甲就把一句真话篡改成假话告诉智者,智者听到的还是一句假话。

总之,智者听到的总是一句假话。

只要否定这句假话,就能确定哪瓶是美酒。

例如,,s 表示“丙是罪犯”,t表示“乙与丙是好朋友”,则可以构建自然推理如下:(1)p?q?r?sP(2)?pP(3)?q??rP(4)?r?tP(5)?tP(6)rT(4)(5),充分条件假言推理否定后件式(7)qT(3)(6),充分条件假言推理否定后件式(8)?(q?r?s)T(1)(2),必要条件假言推理否定前件式A当(4)甲T(3),联言推理分解式(5)丙T(3),联言推理分解式(6)?(甲?乙)T(1)(5),充分条件假言推理否定后件式(7)?甲??乙T(6),德摩根律(8)?乙T(4)(7),相容选言推理否定肯定式所以,乙和丁没有参加公务员考试。

10.假设条件(3)真,则(1)和(2)均真,违反已知条件,所以假设错误,(3)为假,即“或者李明不是木工,或者张元不是木工”。

已知三句话两真一假,所以,(1)(2)均真,由此可以构成二难推理如下:C谋,u(6)?t?uP(7)u??qP(8)sP(9)?pT(3)(8),充分条件假言推理肯定前件式(10)?T(5)(9),充分条件假言推理否定后件式(12)?qT(7)(11),充分条件假言推理肯定前件式(13)rT(1)(9)(12),相容选言推理否定肯定式(注意,前提(2)、(4)为多余信息,只要不矛盾,就可以忽略。

相关文档
最新文档