逻辑学课后练习题问题详解.docx

上传人:b****7 文档编号:10858816 上传时间:2023-02-23 格式:DOCX 页数:69 大小:119.22KB
下载 相关 举报
逻辑学课后练习题问题详解.docx_第1页
第1页 / 共69页
逻辑学课后练习题问题详解.docx_第2页
第2页 / 共69页
逻辑学课后练习题问题详解.docx_第3页
第3页 / 共69页
逻辑学课后练习题问题详解.docx_第4页
第4页 / 共69页
逻辑学课后练习题问题详解.docx_第5页
第5页 / 共69页
点击查看更多>>
下载资源
资源描述

逻辑学课后练习题问题详解.docx

《逻辑学课后练习题问题详解.docx》由会员分享,可在线阅读,更多相关《逻辑学课后练习题问题详解.docx(69页珍藏版)》请在冰豆网上搜索。

逻辑学课后练习题问题详解.docx

逻辑学课后练习题问题详解

第一章练习题答案

一、简答如下问题:

1、什么是逻辑学的研究对象?

答:

思维形式结构与其规律。

2、什么是思维形式结构?

什么是逻辑常项和逻辑变项?

答:

思维内容的存在、联系方式,由逻辑常项和逻辑变项构成。

逻辑常项是思维形式结构中的不变成分,决定思维的逻辑内容。

逻辑变项是思维形式结构中的可变成分,容纳思维的具体内容。

3、什么是对思维形式结构的代入?

答:

思维形式结构不表达具体思维内容,因而没有真假。

用具体词项或命题,代入思维形式结构中的逻辑变项,这种思维形式结构就被赋予了具体内容,就有了真假。

不同的代入,思维形式结构就被赋予了不同的内容,可以有不同的真假情况。

4、什么是逻辑规律?

答:

在任意带入下,都表达真实的思想内容的一类思维形式结构。

5、什么是逻辑矛盾?

答:

在意带入下,都表达虚假的思想内容的一类思维形式结构。

6、什么是思维形式结构的规律?

答:

一个真确的演绎推理的形式结构同时也是一个逻辑规律。

7、逻辑学研究的核心问题是什么?

答:

判定推理的有效性,分辨推理的正误,研究判定规律。

8、语言、思维、逻辑学的关系是什么?

答:

语言是思维的直接显示,是思维的物质外壳。

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

9、语言有哪些构成要素?

根本符号〔是语言的根本材料,没有根本符号就没有语言〕,语形规如此〔什么样的根本符号是合式的,即是本语言中的词、词组或语句、项或公式〕,语义规如此〔是对语言中的合式的词、词组或语句的解释,即赋予其意义〕。

二、在如下命题或推理中,哪些具有共同的逻辑形式,用公式表示出来。

1和5:

所有S是P

2和7:

所有P是M,所有S不是M,所以,所有S不是P。

3和8:

只有p,才q。

6和9:

如果p,那么q;p;所以,q。

三、选择题〔选择一个或多个恰当选项作为答案〕。

1.C2.C3.ABCD4.BE

第二章练习题答案

一、判断如下断定的正误:

1、对象所具有的性质,统称为对象的属性。

答:

错。

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

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

答:

错。

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

3、一个对象如果不具有某个概念的内涵,那么它一定不属于这个概念的外延。

答:

正确。

4、空概念只有内涵没有外延。

答:

错。

任何概念都有外延,空概念外延是空集合,而不是无集合。

5、每一概念的正确定义是唯一的。

答:

错。

因为同一个概念可以有不同的内涵,因而可以有不同的正确定义。

6、定义都是适当的概念陈述,但适当的概念陈述并不都能成为定义。

答:

正确。

7、定义不能使用否认句。

答:

错。

对正概念不能否认句,对负概念可以使用否认句。

8、任意两个概念之间,都存在内涵与外延的反变关系。

这种反变关系是指:

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

答:

错。

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

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

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

〞错误。

定义过宽。

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

〞错误。

定义过宽。

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

错误。

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

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

错误。

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

三、在以下各句的括号中填入哪个或哪些选项是适当的?

1.C2.ABC3.A4.A5.B

6.BC7.B8.B9.BC10.AC

四、如下各题中括号内的话,是从内涵方面还是从外延方面来说明标有横线的概念的?

1.分别从内涵和外延两个方面。

2.从内涵方面。

3.分别从内涵和外延两个方面。

4.分别从内涵和外延两个方面。

5.分别从内涵和外延两个方面。

6.分别从内涵和外延两个方面。

五、从两种概念分类的角度〔单独概念与普遍概念、正概念和负概念〕说明如下各题中标有横线的概念属于哪一种类。

1.“美术作品〞是普遍概念、正概念。

2.“《孔乙己》〞是单独概念、正概念;“作品〞是普遍概念、正概念。

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

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

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

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

六、试分析如下各题中标有横线的语词是在集合意义下使用的,还是在非集合意义下使用的?

1.集合

2.非集合

3.非集合

4.集合

5.〔1〕集合〔2〕非集合〔3〕非集合

6.集合

7.集合

七、如下各组概念是什么关系?

1.真包含2.全异〔反对〕3.交叉4.真包含于

5.全异6.全异〔矛盾〕7.全同8.全异〔反对〕

八、用欧拉图表示如下各题中标有横线的概念之间的关系:

1.

CADB

 

2.

ABCD

 

3.

B

ADC

 

4.

CAB

 

D

5.

ACBD

九、用欧拉图表示如下各题中概念之间的关系:

1.A

BC

D

2.A

B

C

DE

3.

ACB

 

4.

D

A

BC

 

5.

ABC

6.

ACB

7.同3

8.

B

D

CA

 

9.

ABCD

十、对如下概念各作一次限制与概括。

1.限制为“教授〞,概括为“劳动者〞。

2.限制为“七律〞,概括为“文学形式〞。

3.限制为“公牛〞,概括为“哺乳动物〞。

4.限制为“美国〞,概括为“国家〞。

5.限制为“发动机〞,概括为“工业产品〞。

6.限制为“中国历史学〞,概括为“科学〞。

十一、如下概念的限制和概括是否正确?

为什么?

1.限制正确。

概括错误,因为“学生〞和“知识分子〞不是属种关系。

2.限制错误,因为“勇敢的人〞是对象,“勇敢〞是属性,二者不具有属种关系。

概括正确。

3.限制正确。

概括错误,因为并非某某行为都是犯罪行为,二者不具有属种关系。

4.限制错误,因为“军队〞和“人民战士〞不具有属种关系。

概括正确。

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

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

6.限制和概括均正确。

十二、如下表述作为连续限制或连续概括是否正确?

为什么?

1.错误。

不具有属种关系。

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

其余正确。

3.错误。

单独概念不能限制。

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

其余正确。

十三、如下判断作为定义是否正确?

为什么?

1.错误。

定义过宽。

2.错误。

定义过窄。

3.错误。

定义不能使用比喻。

4.正确。

5.错误。

循环定义。

十四、20世纪初,美国有家报纸征求关于“新闻〞这一概念的定义,应征者很多。

现将应征的定义举出如下四项,请指出它们是否正确?

为什么?

1.错误。

定义过宽。

2.错误。

定义过窄。

3.错误。

定义过窄。

4.错误。

定义过宽。

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

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

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

1.错误。

定义过宽。

2.错误。

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

3.错误。

定义过宽。

定义模糊。

十六、如下语句是否为语词定义?

1.是。

2.是。

3.不是。

4.是。

十七、如下各题是不是划分?

为什么?

1.不是划分,是分解。

2.是划分。

3.是划分。

4.不是划分,是分解。

十八、如下各题作为划分是否正确?

请说明理由。

1.不都正确。

有“划分标准不同一〞和“子项相容〞的错误。

例如,“长篇小说〞、“短篇小说〞划分标准是篇幅,而“现代小说〞的划分标准是时间。

这就造成“长篇小说〞与“现代小说〞相容。

2.错误。

多出子项。

兄弟、姐妹不属于直系亲属。

3.错误。

有“划分标准不同一〞和“子项相容〞的错误。

4.正确。

十九、从所列的A、B、C、D、E五个备选答案中选出正确的一个,多项选择为错。

1.B。

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

2.E。

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

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

3.A。

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

这与A项的断定矛盾。

4.A。

I不可能是真实的。

因为由题干,上述观点,是瑞典科学家在1998年5月首次提出的,因此,芬兰科学家不可能在1997年4月已经提出过。

II和III都可能是真的。

因为题干只是断定,《科学日报》登载的消息是真实的,而没有断定消息中提到的瑞典科学家的观点是真实的。

 

第三章练习题答案

一、判定如下断定的正误。

1.正确。

2.错误。

3.正确。

4.正确。

5.正确。

6.错误。

7.错误。

8.正确。

9.正确。

二、用真值表判定以下两个真值形式的等值。

p

q

p→q

⌝p∨q

1

1

1

011

1

0

0

000

0

1

1

111

0

0

1

110

三、运用命题推理的知识,解答以下问题。

答:

上场的是A、C、G、R;不上场的是D、F、P、Q、S、T,推理过程如下:

〔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

〔10〕⌝D规如此T,〔2〕〔9〕,必要条件假言推理肯定后件式

〔11〕R规如此T,〔4〕〔10〕,充要条件假言推理否认前件式

〔12〕C规如此T,〔5〕〔11〕,必要条件假言推理否认前件式

〔13〕⌝F规如此T,〔8〕〔11〕,相容选言推理否认肯定式

〔14〕A规如此T,〔3〕〔12〕,充要条件假言推理肯定后件式

〔15〕⌝P规如此T,〔6〕〔14〕,相容选言推理否认肯定式

〔16〕⌝S规如此T,〔1〕〔15〕,充分条件假言推理肯定前件式

〔17〕⌝T∧⌝Q规如此T,〔7〕〔16〕,充分条件假言推理肯定前件式

〔18〕⌝T规如此T,〔17〕,联言推理分解式

〔19〕⌝Q规如此T,〔17〕,联言推理分解式

四、解答如下各题。

从所列的A、B、C、D、E五个备选答案中选出一个,多项选择为错。

1.A。

题干的论证运用的推理可整理为:

X先生点的菜中或者有川菜,或者有粤菜。

X先生点的菜中有川菜。

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

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

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

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

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

2.E。

E项是个充分条件假言命题,其前件断定了两个条件:

第一,气温在零摄氏度以上;第二,街上没有穿雨衣。

其后件断定,天没下雨。

题干断定:

如果天下雨,并且气温在零摄氏度以上,如此街上有人穿雨衣。

由此,加上E项的第一个条件:

街上没人穿雨衣,可推出,天没下雨,或者气温不在零摄氏度以上。

由此,加上E项的第二个条件:

气温在零摄氏度以上,可推出:

天没下雨。

这说明,根据题干的断定,再加上以上两个条件,可推出天没下雨,即如果题干的断定为真,E项一定为真。

3.D。

题干的断定可整理为:

〔1〕如果是名牌产品,如此一定质量过硬;

〔2〕如果质量过硬,如此一定有高技术含量;

〔3〕如果无视技术投资,如此产品就不会有高技术含量。

由〔3〕可得〔4〕:

如果产品都有高技术含量,如此不会无视技术投资。

由〔1〕、〔2〕和〔4〕可推出I。

由〔1〕和〔2〕可推出II。

III不能由题干推出。

4.C。

诸选项中,A、B和C项都能削弱题干中书商的看法,但是,A项是说科幻小说的评论几乎没有影响,B项是说科幻小说的评论在科幻小说的读者中几乎没有影响,C项是说科幻小说的评论对于它的读者有负影响,即起了科幻小说的负促销作用。

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

D项不能削弱题干。

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

5.A。

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

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

其余各项均不能削弱题干的结论。

五、在以下各句的括号中填入哪个或哪些选项中适当的?

1.B2.A、B3.A、C4.A、B、C、D5.A、B

6.A7.A8.A9.A、C10.A、B、C、D

六、指出如下各题中,A是B的什么条件〔充分条件、必要条件、充要条件或不构成条件关系〕?

1.必要条件2.充分条件3.不构成条件关系

4.充要条件5.必要条件

七、写出如下复合命题的负命题的等值命题。

1.这个商店的商品或者价不廉,或者物不美。

2.昨晚小X和小李都没有值班。

3.人大胆,但地不高产。

4.经济不兴旺地区也有环境治理问题。

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

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

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

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

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

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

如此其真值形式为:

〔p∨q〕∨〔⌝〔p∨q〕→r〕。

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

如此其真值形式为:

〔p∧⌝q〕→〔r∨s〕。

3.设p表示“科学家的预见是正确的〞,q表示“我们从现在起就重视环境保护〞,r表示“人类终有一天无法在地球上生存〞。

如此其真值形式为:

p→〔⌝q→r〕。

4.设p表示“在场内吸烟〞〔主语省略,下同〕,q表示“在场内随地吐痰〞,r表示“在场内乱扔废弃物〞,s表示“被处以罚款〞。

如此其真值形式为:

〔p∨q∨r〕→s。

九、用真值表方法判定如下真值形式的类型。

1.

p

q

〔p→〔q∧⌝q〕〕→⌝p

1

1

1010010

1

0

1000110

0

1

0110011

0

0

0100111

答:

此真值形式为重言式。

2.

p

q

〔⌝p→q〕↔〔p∧⌝q〕

1

1

0110100

1

0

0101111

0

1

1110000

0

0

1001001

答:

此真值形式为可真式。

3.

p

q

〔p→q〕∧⌝p→⌝q

1

1

1110010

1

0

1000011

0

1

0111100

0

0

0101111

答:

此真值形式为可真式。

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

1.该推理的推理形式为:

p或者q;p;所以,非q。

无效,违反相容选言推理的规如此“肯定一局部选言支,不能否认另一局部选言支〞。

2.该推理的推理形式为:

如果非p,那么非q;p;所以,q。

无效,违反充分条件假言推理的规如此“否认前件不能否认后件〞。

3.该推理的推理形式为:

如果p,那么q;q;所以,p。

无效,违反充分条件假言推理的规如此“肯定后件不能肯定前件〞。

4.该推理的推理形式为:

如果p,那么非q,所以,如果q,那么非p。

有效,符合假言易位规如此。

十一、分别用真值表方法〔略〕和归谬赋值法判定如下推理的有效性。

1.该题包括两个推理。

第一个:

〔p→⌝p〕→〔p∧⌝p〕

F

TF

FTFT

不矛盾,所以此推理无效。

第二个:

〔p↔⌝p〕→〔p∧⌝p〕

F

TF

TFTF

矛盾

〔p↔⌝p〕→〔p∧⌝p〕

F

TF

FTFT

还是矛盾,所以此推理有效。

2.⌝〔⌝p∧q〕→〔⌝p→⌝q〕

F

TF

TF

FT

TT

F

矛盾,所以此推理有效。

十二、分别求如下真值形式的合取X式和析取X式,并确定它们的真值类型。

1.〔p→q〕→〔⌝p∨q〕

消去“→〞:

⌝〔⌝p∨q〕∨〔⌝p∨q〕〔1〕

内移“⌝〞:

〔⌝⌝p∧⌝q〕∨〔⌝p∨q〕〔2〕

消去“⌝⌝〞:

〔p∧⌝q〕∨〔⌝p∨q〕〔3〕

〔3〕式按析取分配律展开:

〔p∨⌝p∨q〕∧〔⌝q∨⌝p∨q〕〔4〕

〔4〕式为合取X式,是重言式,因此,该式是重言式。

〔3〕式化简即为析取X式:

〔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〕式化简,即得合取X式:

p∧⌝q∧〔⌝p∨q〕〔4〕

〔4〕式不是重言式,但不能判定该式是否为矛盾式。

〔3〕式化简,按合取分配律展开:

〔p∧⌝q∧⌝p〕∨〔p∧⌝q∧q〕〔5〕

〔5〕式为析取X式,是矛盾式,因此,该式为矛盾式。

3.⌝q→〔〔p→q〕→⌝p〕

消去“→〞:

⌝⌝q∨〔⌝〔⌝p∨q〕∨⌝p〕〔1〕

内移“⌝〞:

⌝⌝q∨〔〔⌝⌝p∧⌝q〕∨⌝p〕〔2〕

消去“⌝⌝〞:

q∨〔〔p∧⌝q〕∨⌝p〕〔3〕

〔3〕式化简即得析取X式:

q∨〔p∧⌝q〕∨⌝p〔4〕

〔4〕式不是矛盾式,但不能判定该式是否为重言式。

〔3〕式按析取分配律展开,可得合取X式:

〔q∨p∨⌝p〕∧〔q∨⌝q∨⌝p〕〔5〕

〔5〕式是重言式,因此该式是重言式。

4.〔⌝q→〔p→q〕〕→⌝p

消去“→〞:

⌝〔⌝⌝q∨〔⌝p∨q〕〕∨⌝p〔1〕

内移“⌝〞:

〔⌝⌝⌝q∧〔⌝⌝p∧⌝q〕〕∨⌝p〔2〕

消去“⌝⌝〞:

〔⌝q∧〔p∧⌝q〕〕∨⌝p〔3〕

〔3〕式化简即得析取X式:

〔⌝q∧p〕∨⌝p〔4〕

〔4〕式不是矛盾式,因此,该式不是矛盾式。

〔3〕式按析取分配律展开,可得合取X式:

〔⌝q∨⌝p〕∧〔p∨⌝p〕〔5〕

〔5〕式不是重言式,因此,该式也不是重言式。

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

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

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

如此该推理的真值形式为:

〔〔p→q〕∧r∧⌝〔r∧q〕〕→⌝p

求该式的合取X式:

消去“→〞:

⌝〔〔⌝p∨q〕∧r∧⌝〔r∧q〕〕∨⌝p

内移“⌝〞:

〔⌝〔⌝p∨q〕∨⌝r∨⌝⌝〔r∧q〕〕∨⌝p

〔〔⌝⌝p∧⌝q〕∨⌝r∨⌝⌝〔r∧q〕〕∨⌝p

消去“⌝⌝〞:

〔〔p∧⌝q〕∨⌝r∨〔r∧q〕〕∨⌝p

展开:

〔p∨⌝r∨r∨⌝p〕∧〔p∨⌝r∨q∨⌝p〕∧〔⌝q∨⌝r∨r∨⌝p〕∧〔⌝q∨⌝r∨q∨⌝p〕

此合取X式为重言式,所以,该真值形式为重言式,所以,此推理有效。

十四、构造自然推理,判定如下推理的有效性。

1.推理形式为:

⌝〔⌝p∧⌝q〕→r

p

∴r

构造自然推理如下:

〔1〕⌝〔⌝p∧⌝q〕→rP

〔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〕p→〔q→r〕∧〔⌝q→s〕P

〔2〕⌝r∧⌝sP

〔3〕pHP

〔4〕〔q→r〕∧〔⌝q→s〕T〔1〕〔3〕,充分条件假言推理肯定前件式

〔5〕q→rT〔4〕,联言推理分解式

〔6〕⌝q→sT〔4〕,联言推理分解式

〔7〕⌝rT〔2〕,联言推理分解式

〔8〕⌝sT〔2〕,联言推理分解式

〔9〕qT〔6〕〔8〕,充分条件假言推理否认后件式

〔10〕⌝qT〔5〕〔7〕,充分条件假言推理否认后件式

〔11〕q∧⌝qT〔9〕〔10〕,联言推理组合式

〔12〕⌝p归谬〔3〕-〔11〕

所以,推理有效。

3.推理形式为:

p→〔q∨r〕

r→⌝s

s

∴q←p

〔q←p〕↔〔⌝q→⌝p〕

构造自然推理如下:

〔1〕p→〔q∨r〕P

〔2〕r→⌝sP

〔3〕sP

〔4〕⌝qHP

〔5〕⌝rT〔2〕〔3〕,充分条件假言推理否认后件式

〔6〕⌝q∧⌝rT〔4〕〔5〕,联言推理组合式

〔7〕⌝〔q∨r〕T〔6〕,德摩根律

〔8〕⌝pT〔1〕〔7〕,充分条件假言推理否认后件式

〔9〕⌝q→⌝pD〔4〕-〔8〕

所以,推理有效。

十五、运用命题逻辑的知识,解答如下问题。

1.设1表示“1号上场〞,依此类推,如此可以构建自然推理如下:

〔1〕4→6P

〔2〕⌝1←⌝3P

〔3〕3∨6P

〔4〕9∧12→4P

〔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号不上场。

2.设“甲〞表示“甲作

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 高等教育 > 历史学

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1