第三讲模态命题及其推理

第三讲模态命题及其推理
第三讲模态命题及其推理

第三讲模态命题及其推理

第一节模态命题

无论是直言命题,还是复言命题,都是表达明确判断的句子。然而在现实情况中这样并不能解决所有的问题,有时会出现谈论事件发生可能性的情况

例如:今天早上堵车。

表达的是一种判断,是直言命题。但是,今天早上堵车的可能性有多大呢?是有可能会堵车呢?还是一定会堵车?为了探讨这种可能性,就要引入我们模态命题这一部分的学习

一、什么是模态命题

模态命题就是陈述事物情况的必然性或可能性的命题。直言命题和关系命题只是关于事物情况存在或不存在的陈述。但有些事物情况的存在或不存在是必然的,有些事物情况的存在或不存在是可能的,陈述这种必然性或可能性的命题就是模态命题。模态命题反映人们对客观事物认识的程度。

例如:违反客观规律必然要受到客观规律的惩罚。

辩护人的意见可能是对的。

模态命题都含有“必然”或“可能”等模态词。必然:一定、肯定、必须、必定等。可能:大概、也许等。不含有模态词的命题是非模态命题。人们使用模态命题一般是出于两种情况:1、用模态命题来反映事物本身确实存在的某种可能性或必然性。如例(1);2、我们有时对事物是否确实存在某种情况,一时还不十分清楚、确定,因而只好用可能命题来表示自己对事物情况断定的不确定的性质。如例(2)。

另外,模态词在一个模态命题中所处的位置,不是固定不变的。模态命题是在非模态命题的基础上,加上模态词而构成的。模态词可以加在命题的中间,也可以加在命题的前面或后面。如例(2)也可表述为:“可能辩护人的意见是对的”。

注意:辨别模态命题和非模态命题的关键就是看这个命题中是否包括模态词,如果包括模态词就是模态命题。

二、模态命题的种类

既然是命题,就是表示某种判断,所以,根据模态词和判断词的不同,模态命题大致可以分为四种:必然P(P是非模态命题),必然非P,可能P,可能非P。

1

可能命题就是陈述事物情况的可能性的命题。在自然语言中,通常用“可能”、“或许”、“也许”、“大概”等语词作为它的模态词。可能命题又分为两种:

(1) 可能肯定命题

可能肯定命题就是陈述事物情况可能存在的命题。例如:

飞碟可能是天外之物。

可能肯定命题的形式是:可能p 。

现代逻辑一般用符号“◇”表示“可能”,这样,“可能p ”又可以写作:“◇p ”。

(2) 可能否定命题

可能否定命题就是陈述事物情况可能不存在的命题。例如:

明天可能不下雨。

可能否定命题的形式是:可能非p 。

可用符号表示为:◇﹃p

2、必然命题

必然命题就是陈述事物情况的必然性的命题。在自然语言中,通常用“必然”、“必定”、“一定”等语词作为它的模态词。必然命题又分为两种:

(1) 必然肯定命题

必然肯定命题就是陈述事物情况必然存在的命题。例如:

事物之间必然有联系。

必然肯定命题的形式为:必然p 。

可用符号表示为:□p

(2) 必然否定命题

必然否定命题就是陈述事物情况必然不存在的命题。例如:

客观规律必然不依人们的意志为转移。

必然否定命题的形式是:必然非p 。

可用符号表示为: □﹃p 模

第二节模态命题的推理

一、什么是模态命题的推理

模态命题的推理,就是以模态判断为前提的推理,即可以从一个模态命题为真,推出其他的模态命题的真假。例如:明天必然会下雨明天可能下雨

二、模态推理的种类

1反对关系推理

具有上反对关系的两个命题至少有一假,可以同假,不能同真。因此,可以从一个模态命题为真,推出与其具有上反对关系的另一个模态命题必定为假。

模态命题间的反对关系是指□p与□﹃p之间不同真,可同假的真假关系。所以,可以由真推假。根据反对关系进行模态推理有两个有效式:

①必然p,所以,并非必然非p。(□p→﹃□﹃p)

例如:新生事物必然能战胜腐朽事物,所以,新生事物不必然不能战胜腐朽事物。

②必然非p,所以,并非必然p。(□﹃p→﹃□p)

例如:晚上十点半以前必然不关灯,所以,晚上十点半以前不必然关灯。

2下反对关系推理

具有下反对关系的两个命题至少有一真,可以同真,不能同假。因此,可以从一个模态命题为假推出与其具有下反对关系的另一个模态命题必定为真。

模态命题间的下反对关系是指◇p与◇﹃p之间不同假,可同真的真假关系。所以,可以由假推真。根据下反对关系进行模态推理有两个有效式:

①不可能p,所以,可能非p。(﹃◇p→◇﹃p)

例如:人不可能总是情绪饱满的,所以,人可能不总是情绪饱满的。

②不可能非p,所以可能p。(﹃◇﹃p→◇p)

例如:他不可能不认识作案人,所以,他可能认识作案人。

3从属关系推理

(1)、模态命题间的推出关系

模态命题间的从属关系是指□p与◇p之间、□﹃p与◇﹃p之间可同真,可同假的真假关系。即由必然p真可推知可能p真;由可能p假推知必然p 假。所以,根据从属关系进行模态推理,有以下四个有效式:

①必然p,所以,可能p。(□p→◇p)

例如:旧体制必然要被新体制取代,所以,旧体制可能要被新体制取代。

②必然非p,所以,可能非p。(□﹃p→◇﹃p)

例如:他明天必然不到学校来,所以,他明天可能不到学校来。

③不可能p,所以,不必然p。(﹃◇p→﹃□p)

例如:某人不可能是凶手,所以,某人不必然是凶手。

④不可能非p,所以,不必然非p。(﹃◇﹃p→﹃□﹃p)

例如:水不可能不往低处流,所以,水不必然不往低处流。

(2)、与非模态命题之间的推出关系

必然是P→是P→可能是P(“是”只是表示某一事物存在这一状态)

例如:地球必然是圆的→地球是圆的→地球可能是圆的

必然非P→非P→可能非P

例如:钓鱼岛必然不是日本的→钓鱼岛不是日本的→钓鱼岛可能不是日本的(4)矛盾关系推理

模态命题间的矛盾关系是指□p与◇﹃p之间、□﹃p与◇p之间不同真,不同假的真假关系。由其中一个真,可以推知另一个假;由其中一个假,可以推知另一个真。有以下八个有效式:

①必然p,所以,不可能非p。(□p→﹃◇﹃p)

例如:新生事物必然要代替旧事物,所以,新生事物不可能不代替旧事物。

②不必然p,所以,可能非p。(﹃□p→◇﹃p)

例如:明天不必然降温,所以,明天可能不降温。

③可能p,所以,不必然非p。(◇p→﹃□﹃p)

例如:太阳系可能有第十颗行星,所以,太阳系不必然没有第十颗行星。

④不可能p,所以,必然非p。(﹃◇p→□﹃p)

例如:价值规律不可能以人的意志为转移,所以,价值规律必然不以人的意志为转移。

将以上四种矛盾关系对当推理的前提和结论对调,可形成另外四种同样的有效推理。这里就不一一罗列。新推出的四种推理之所以有效,是由于具有矛盾关系的两个判断,任一方与其对方的否定,都是等值的,所以可以互推。

三、模态命题之间的关系

以上四种模态命题之间,也可以用逻辑方阵来表示出它们类似性质命题对当关系的那样一种真假关系。如下图:

此图表明:

(1)□p与□﹃p之间的关系是反对关系。其中,一个真,另一个必假;一个假,另一个则真假不定。二者可以同假但不可同真。

(2)◇p与◇﹃p之间的关系是下反对关系。其中,一个假,另一个必真;一个真,另一个则真假不定。二者可以同真但不可同假。

(3)□p与◇﹃p之间的关系是矛盾关系。其中,一个真,另一个必假;一个假,另一个必真。二者既不可同真又不可同假。

(4)□﹃p与◇p之间的关系也是矛盾关系。其中,一个真,另一个必假;一个假,另一个必真。二者既不可同真又不可同假。

(5)□p与◇p之间的关系是差等关系。其中,□p真,则◇p必真;◇p假,则□p必假;□p假,◇p则真假不定;◇p真,则□p真假不定;

(6) □﹃p与◇﹃p之间的关系也是差等关系。□﹃p真,则◇﹃p必真;◇﹃p假,则□﹃p必假;□﹃p假,则◇﹃p真假不定;◇﹃p真,则□﹃p真假不定;

其中,由(3)、(4),我们可得

(7)﹃□p←→◇﹃p

﹃◇﹃p←→□p

(8)﹃□﹃p←→◇p

﹃◇p←→□﹃p

根据上面的关系,一方面,我们可以由一个模态命题的真或假,推知其他三个模态命题的真假情况。例如,已知“今天可能有风”为真,可推知“今天可能无风”真假不定,“今天必然无风”假,“今天必然有风”真假不定。又如,“火星上必然有生命”为假,可推知“火星上必然无生命”真假不定,“火星上可能有生命”真假不定,“火星上可能无生命”为真。另一方面,我们可以由一个模态命题的负命题确定与其等值的模态命题。例如,“并非他必然来”等值于“他可能来”,“并非他必然不来”等值于“他可能来”。

例1:最近一段时期,有关发生地震的传言很多。一天傍晚,小明问在院子里乘凉的爷爷:“爷爷,他们都说明天要地震了。”爷爷说:“根据我的观察,明天不必然地震。”小明说:“那您的意思是明天肯定不会地震了。”爷爷说:“不对。”小明陷入了迷惑。以下哪句话与爷爷的话最接近?()

A.明天必然不地震

B.明天可能地震

C.明天可能不地震

D.明天不可能地震

E.明天不可能不地震

例2:从“多门之屋生风,多嘴之人生祸”出发,必然能推出(。

A. 多门之屋可能生风,多嘴之人可能生祸

B. 多门之屋必然生风,多嘴之人必然生祸

C. 多门之屋可能不生风,多嘴之人可能不生祸

D. 多门之屋必然不生风,多嘴之人必然不生祸

E、多门之屋不可能不生风,多嘴之人不可能不生祸

例3:小王、小李、小张准备去爬山。天气预报说,今天可能下雨。围绕天气预报,三个人争论起来。

小王说:“今天可能下雨,那并不排斥今天也可能不下雨,我们还是去爬山吧。”小李说:“今天可能下雨,那就表明今天要下雨,我们还是不去爬山了。”小张说:“今天可能下雨,只是表明今天下雨不具有必然性,去不去爬山由你们决定。”

对天气预报的理解,三个人中()

A.小王和小张正确,小李不正确。

B.小王正确,小李和小张不正确。

C.不李正确,小王和小张不正确。

D.小张正确,小王和小李不正确。

E.小李和小张正确,小王不正确。

例4:人都不可能不犯错误,不一定所有人都会犯严重错误。由此可以推出( )。A.人都可能会犯错误,但有的人可能不犯严重错误

B.人都可能会犯错误,但所有的人都可能不犯严重错误

C.人都一定会犯错误,但有的人可能不犯严重错误

D.人都一定会犯错误,但所有的人都可能不犯严重错误

E、人都可能会犯错误,但有的人一定不犯严重错误

例5:美国前总统林肯说过:“最高明的骗子,可能在某个时刻欺骗所有的人,也可能在所有的时刻欺骗某些人,但不可能在所有的时刻欺骗所有的人。”如果上述断定是真的,那么下述哪项断定必定是假的?

A.人可能在任何时刻都不受骗

B.骗子也可能在某个时刻受骗

C.不存在某一时刻有人可能不受骗

D.不存在某一时刻所有的人都必然不受骗

E、不存在某个时刻,所有人不受骗

例6:在宏达杯足球联赛前,四个球迷有如下预测:

甲:红队必然不能夺冠。

乙:红队可能夺冠。

丙:如果蓝队夺冠,那么黄队是第三名。

丁:冠军是蓝队

如果四人的断定中只有一个断定为假,可推出以下哪项结论?

A.冠军是红队。

B.甲的断定为假。

C.乙的断定为真。

D.黄队是第三名。

E.丁的断定为假

例7:这次新机种试飞只是一次例行试验,既不能算成功,也不能算不成功。以下哪项对于题干的评价最为恰当?

A.题干的陈述没有漏洞。

B.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:这次关于物价问题的社会调查结。果,既不能说完全反映了民意,也不能说一点也没有反映民意。

C.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:这次考前辅导,既不能说完全成功,也不能说彻底失败。

D.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:人有特异功能,既不是被事实证明的科学结论,也不是纯属欺诈的伪科学结论。

E.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:在即将举行的大学生辩论赛中,我不认为我校代表队一定能进入前四名,我也不认为我校代表队可能进不了前四名。

第三节负模态命题推理

一、负模态命题一般推理

负模态命题一般推理,就是说当一个模态命题为假时,看能推出什么样的结论。从上面的分析可以看出,当一个模态命题为假时,这个模态命题的矛盾命题就是真的。具体来说,有以下情况:

并非必然P=可能非P

并非必然非P=可能P

并非可能P=必然非P

并非可能非P=必然P

“必然”变为“可能”,“P”变为“非P”;“可能”变为“必然”,“非P”变为“P”

二、负模态命题直言推理

负模态命题直言推理,是模态词嵌套在直言命题中的一种推理。

并非必然所有S都是P=可能有的S不是P

并非必然所有S都不是P=可能有的S是P

并非必然有的S是P=可能所有S都不是P

并非必然有的S不是P=可能所有S都是P

并非可能所有S都是P=必然有的S不是P

并非可能所有S都不是P=必然有的S是P

并非可能有的S是P=必然所有S都不是P

并非可能有的S不是P=必然所有S都是P

三、负模态命题复合推理

负模态命题复合推理,就是模态词嵌套在复合命题上的一种推理。

并非必然(p且q)=可能(非p或非q)

并非必然(p或q)=可能(非p且非q)

并非可能(p且q)=必然(非p或非q)

并非可能(p或q)=必然(非p且非q)

并非必然(如果p,那么q)=可能(p且非q)

例1:不可能所有的错误都能避免。

以下哪项最接近于上述断定的含义?

A.可能所有的错误都不能避免。

B.可能有的错误不能避免。

C.可能有的错误能避免。

D.必然所有的错误都不能避免。

E.必然有的错误不能避免

例2:不可能宏大公司和亚鹏公司都没有中标。以下哪项最为准确地表达上述断定?( )

A.宏大公司和亚鹏公司可能都中标

B.宏大公司和亚鹏公司至少有一个可能中标

C.宏大公司和亚鹏公司必然都中标

D.宏大公司和亚鹏公司至少有一个必然中标

E.如果宏大公司中标,那么亚鹏公司不可能中标

第四节朴素推理

一、知识概述

朴素推理,实际上也是必然性推理的一种。往往题目会给出各种条件比如人物、地点、时间和数据等,要求考生根据相互联系的各种条件进行适当的推理,回答相关的问题。但是该类型的题不需要运用专门的逻辑知识,主要考查的是一种思维能力。

如何快速的解答此类型的题,可以运用代入法、排除法、假设法、找突破口法、排序法和图表法等

例1:某次认知能力测试,刘强得了118分,蒋明的得分比王丽高,张华和刘强得分之和大于蒋明和王丽的得分之和,刘强的得分比周梅高;此次测试120分以上为优秀,五人之中有两人没有达到优秀.

以下哪项由高到低的得分排列符合题干的信息?

A.张华、王丽、周梅、蒋明、刘强

B.张华、蒋明、王丽、刘强、周梅

C.张华、蒋明、刘强、王丽、周梅

D.蒋明、张华、王丽、刘强、周梅

E. 蒋明、王丽、张华、刘强、周梅

例2:某市为了减少交通堵塞,采取如下限行措施:周一到周五的工作日,非商用车按尾号0、5、1、6、2、7、3、8、4、9分五组顺序分别限行一天,双休日和法定假日不限行。对违反规定者要罚款。关于该市居民出行的以下描述中,除哪项外,都可能不违反限行规定?

A.赵一开着一辆尾数为1的商用车.每天都在路上跑

B.钱二有两台私家车,尾号不相同,每天都开车

C.张三与邻居共有三台私家车,尾号都不相同。他们合作每天有两台车开

D.李四张三与邻居共有三台私家车,尾号都不相同,他们合作每天有四台车开

E.王五与邻居共有六台私家车,尾号都不相同.他们合作每天有五台车开

例3:某登山旅游小组成员互相帮助,建立了深厚的友谊。后加入的李佳已经获得的其他成员多次救助,但是她尚未救助过任何人,救助过李佳的人均曾被王玥救助过,赵欣救助过小组的所有成员,王玥救助过的人也曾被陈蕃救助过。根据以上陈述,可以得出以下哪项结论?

A.陈蕃救助过赵欣。

B、王玥救助过李佳。

C、王玥救助过陈蕃。

D、陈蕃救助过李佳。

E、王玥没有救助过李。

行测逻辑推理解析题

一、找到条件之间的逻辑矛盾,真假自明 考试中有这样的试题: 试题1:某仓库失窃,四个保管员因涉嫌而被传讯。四人的供述如下: 甲:我们四人都没作案; 乙:我们中有人作案; 丙:乙和丁至少有一人没作案; 丁:我没作案。 如果四人中有两人说的是真话,有两人说的是假话,则以下哪项断定成立?( ) A.说真话的是甲和丁B.说真话的是乙和丙 C.说真话的是甲和丙D.说真话的是乙和丁 这是典型的利用分析矛盾解析的试题。历年至今,在全国各地考试中屡见鲜见。解析这类试题,关键要找到条件之间的逻辑矛盾,然后真假自明。 什么是逻辑矛盾?简明地说,两个不同的断定,必有一个真,一个假。比如:“这马是白的”和“这马不是白的”就构成了逻辑矛盾。两者不能同真也不能同假。而“这马是白的”和“这马是黄的”就不是逻辑矛盾。虽然它们不能同真,但有可能都是假的一一如果它是一匹红色的马呢?了解了这些常识,可以利用分析矛盾的方法,解答上题。 [解析] (1)四人中,两人诚实,两人说谎。 (2)甲和乙的话有矛盾! 甲:我们四人都没作案; 乙:我们中有人作案; 可断定:甲和乙两人一个诚实一个撒谎。剩余丙、丁两人中也必然是一个诚实一个撒谎。 (3)假设:丁说的是真话,那么,可推出丙说的话也真! 丙:乙和丁至少有一人没作案; 丁:我没作案。 显然,丁说真话不成立,于是推出:丁说假话,丙说真话。 (4)断定了丁说假话,就推出甲说的也是假话,乙说真话。 答案B。即:说真话的是乙和丙。

试题2:军训最后一天,一班学生进行实弹射击。几位教官谈论一班的射击成绩。 张教官说:“这次军训时间太短,这个班没有人射击成绩会是优秀。” 孙教官说:“不会吧,有几个人以前训练过,他们的射击成绩会是优秀。” 周教官说:“我看班长或是体育委员能打出优秀成绩。” 结果发现三位教官中只有一人说对了。 由此可以推出以下哪一项肯定为真?( ) A.全班所有人的射击成绩都不是优秀B.班里所有人的射击成绩都是优秀 C.班长的射击成绩是优秀D.体育委员的射击成绩不是优秀 [解析] (1)三人中只有一个说的对。 (2)张、孙二教官说法矛盾: 张教官说:“这次军训时间太短,这个班没有人射击成绩会是优秀。” 孙教官说:“不会吧,有几个人以前训练过,他们的射击成绩会是优秀。” 断定:张孙二人一对一错。因仅有一人对,第三个人周教官必错无疑。 周教官说:我看班长或是体育委员能打出优秀成绩。 这是错话,所以班长和体育委员都不优秀(任哪一个优秀周都不会错了)。 答案D。 试题3:某律师事务所共有12名工作人员。 ①有人会使用计算机; ②有人不会使用计算机; ③所长不会使用计算机。 上述三个判断中只有一个是真的。 以下哪项正确表示了该律师事务所会使用计算机的人数? A.12人都会使用B.12人没人会使用 C仅有一个不会使用D.仅有一人会使用 [解析] (1)假设条件③真,那么条件②也必然真,这和题中“只有一真”矛盾。 ②有人不会使用计算机; ③所长不会使用计算机。 显然③必假,即所长会使用计算机为真,那么“①有人会使用计算机”是真话。 (2)我们找到了惟一真的条件是①,剩余的条件“②有人不会使用计算机”必然假,推出:12人都会

命题逻辑的推理理论(牛连强)

1.7 推 理 理 论 从假设前提利用推理规则得到其他命题,即形成结论的过程就是推理,这是研究逻辑的主要目标。 1.7.1 蕴含与论证 1.推理的含义与形式 [定义1-22] 当且仅当p →q 为永真式时,称为p 蕴含q (logical implication ),记作p q ?,或p q 。此时,称p 为前提,q 为p 的有效结论或逻辑结论,也称为q 可由p 逻辑推出。得出此逻辑关系的过程称为论证。 [辨析] 由于仅在p 为1而q 为0时公式p q →为0,可见,p q →永真意味着不可能存在前件p 为1而后件q 为0的情况,或者说,若p q ?,则只要前件p 为1,后件q 也一定为1。因此,p q ?也称为“永真蕴含” ,即p 永真蕴含q 。 [延伸] 通常,定理(theorem )被解释为“经过受逻辑限制的证明为真的陈述”,就是指对“在一定条件成立的情况下必然产生某个(些)结论”的陈述。因此,定理证明也就是对蕴含关系的论证。当然,通常只有重要或有趣的陈述才被视为定理。 所有逻辑推理的实质就是证明p q ?,也就是证明p q →为永真式。例如,以下是一个简单的初等数学证明题目: 已知a 、b 、c 为实数,且22a b bc -=,0c ≠,则有2/(/1)a c b b c =+。 如果记 p :22a b bc -=,q :0c ≠,r :2/(/1)a c b b c =+ 则上述论证要求可描述为: p q r ∧? 证明的目的就是说明:若前提p q ∧正确,则结论r 也正确,即证明p q r ∧→为永真式。 通常的逻辑推理问题都会由一组前提来推断一个逻辑结论,此时的多个前提可写成合取式12n H H H ∧∧∧ ,或写成用逗号分隔的命题序列H 1, H 2, ..., H n ,即论证要求可写作: 12n H H H C ∧∧∧? ,或12,...,n H H H C ?,,或 12n H H H C ∧∧∧ ,或12,...,,n H H H C 可见,论证A C 、A C ?或A C →是永真式都是同义的,且前提也可以用集合表示,如: 12{,..,},.n H H H C 在数学上,总是要求前提为真,从而推导出有效的结论,并不需要研究从假的前提能得到什么结论,且推理形式与前提的排列次序无关。尽管由前提A 到结论C 的推理一般记作A C ,如

逻辑判断推理中常用的逻辑公式

逻辑判断推理中常用的 逻辑公式 Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】

逻辑命题与推理 必然性推理(演绎推理):对当关系推理、三段论、复合命题推理、关系推理和模态推理 可能性推理:归纳推理(枚举归纳、科学归纳)、类比推理 命题 直言命题的种类:(AEIOae) ⑴全称肯定命题:所有S是P(SAP) ⑵全称否定命题:所有S不是P(SEP) ⑶特称肯定命题:有的S是P(SIP) ⑷特称否定命题:有的S不是P(SOP) ⑸单称肯定命题:某个S是P(SaP) ⑹单称否定命题:某个S不是P(SeP) 直言命题间的真假对当关系: 矛盾关系、(上)反对关系、(下)反对关系、从属关系 矛盾关系:具有矛盾关系的两个命题之间不能同真同假。主要有三组: SAP与SOP之间。“所有同学考试都及格了”与“有些同学考试不及格” SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格” SaP与SeP之间。“张三考试及格”与“张三考试不及格” 上反对关系:具有上反对关系的两个命题不能同真(必有一假),但是可以同假。即要么一个是假的,要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。 下反对关系:具有下反对关系的两个命题不能同假(必有一真),但是可以同真。即要么一个是真的,要么两个都是真的。存在于SIP与SOP、SeP与SIP、SaP与SOP之间。 从属关系(可推出关系):存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP

六种直言命题之间存在的对当关系可以用一个六角图形来表示,“逻辑方阵图” SAP SEP SaP SeP SIP SOP 直言命题的真假包含关系 全同关系、真包含于关系、真包含关系、交叉关系、全异关系 复合命题:负命题、联言命题、选言命题、假言命题 负命题的一般公式:并非P 联言命题公式:p并且q “并且、…和…、既…又…、不但…而且、虽然…但是…” 选言命题:相容的选言命题、不相容的选言命题 相容的选言命题公式:p或者q“或、或者…或者…、也许…也许…、可能…可能…” 【一个相容的选言命题是真的,只有一个选言支是真的即可。只有当全部选言支都假时,相容的选言命题才是假的】 不相容选言命题公式:要么p要么q

模态命题

模态命题 知识点 特征:句子含有“可能”“必然”“不可能”“不必然(不一定/未必)”等模态词。 模态四句转换: (1)并非(所有都必然是)=有些可能不是 (2)并非(有些必然是)=所有都可能不是 (3)并非(所有都可能是)=有些必然不是 (4)并非(有些可能是)=所有都必然不是 即当模态命题遇到其否定形式(不/并非/未)时,变换方法: ①“所有”跟“有些”互换; ②“可能”跟“必然”互换; ③“肯定”跟“否定”互换。 例题 例1 心理学专家认为,并非所有经常锻炼身体的人身体都必然健康,保持阳光心态,注重心理卫生才能身体健康。由此可见()。 A 身体不健康,心理就不健康 B 有些经常锻炼身体的人身体可能健康 C 不经常锻炼身体的人有些可能是健康的 D 有些经常锻炼身体的人身体可能不健康 【解析】:答案选D。抽离题干:并非(所有…必然…健康)=有的…可能…不健康。 例2 如果购买体育彩票必然获大奖,那么体彩事业不会如日中天的发展。由此可以推出()。 A 体彩事业真正如日中天的发展,说明购买体育彩票必然不获大奖 B体彩事业正如日中天的发展,说明购买体育彩票可能难获大奖 C 如果购买体育彩票不必然获大奖,那么体彩事业就会如日中天的发展 D 体彩事业没有如日中天的发展,说明购买彩票一定获大奖 【解析】:答案选B。翻译题干:必然获大奖→不会如日中天发展。根据推理规则“否后必否前”,如日中天发展→并非(必然获大奖),即可能不获大奖,也就是可能难获大奖。 例3 并非任何战争都必然导致自然灾害,但不可能有不阻碍战争的自然灾害。 以下哪一项与上述断定的含义最为接近?() A.有的战争可能不导致自然灾害,但任何自然灾害都可能阻碍战争 B.有的战争可能不导致自然灾害,但任何自然灾害都必然阻碍战争 C.任何战争都不可能导致自然灾害,但有的自然灾害可能阻碍战争 D.任何战争都可能不导致自然灾害,但有的自然灾害必然阻碍战争

模态命题及其推理

第三讲模态命题及其推理 第一节模态命题 无论是直言命题,还是复言命题,都是表达明确判断的句子。然而在现实情况中这样并不能解决所有的问题,有时会出现谈论事件发生可能性的情况 例如:今天早上堵车。 表达的是一种判断,是直言命题。但是,今天早上堵车的可能性有多大呢?是有可能会堵车呢?还是一定会堵车?为了探讨这种可能性,就要引入我们模态命题这一部分的学习 一、什么是模态命题 模态命题就是陈述事物情况的必然性或可能性的命题。直言命题和关系命题只是关于事物情况存在或不存在的陈述。但有些事物情况的存在或不存在是必然的,有些事物情况的存在或不存在是可能的,陈述这种必然性或可能性的命题就是模态命题。模态命题反映人们对客观事物认识的程度。 例如:违反客观规律必然要受到客观规律的惩罚。 辩护人的意见可能是对的。 模态命题都含有“必然”或“可能”等模态词。必然:一定、肯定、必须、必定等。可能:大概、也许等。不含有模态词的命题是非模态命题。人们使用模态命题一般是出于两种情况:1、用模态命题来反映事物本身确实存在的某种可能性或必然性。如例(1);2、我们有时对事物是否确实存在某种情况,一时还不十分清楚、确定,因而只好用可能命题来表示自己对事物情况断定的不确定的性质。如例(2)。 另外,模态词在一个模态命题中所处的位置,不是固定不变的。模态命题是在非模态命题的基础上,加上模态词而构成的。模态词可以加在命题的中间,也可以加在命题的前面或后面。如例(2)也可表述为:“可能辩护人的意见是对的”。 注意:辨别模态命题和非模态命题的关键就是看这个命题中是否包括模态词,如果包括模态词就是模态命题。 二、模态命题的种类 既然是命题,就是表示某种判断,所以,根据模态词和判断词的不同,模态命题大致可以分为四种:必然P(P是非模态命题),必然非P,可能P,可能非P。

逻辑学第三版答案第四章 简单命题及其推理

第四章简单命题及其推理 一、下列命题是哪种直言命题?请指出命题的主项、谓项、联项、量 项及主谓项的周延情况。 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.已知“某单位职工都买了电冰箱”为假。 答:这是个A 命题。当A 假时,同素材的E 命题“某单位职工都没 买电冰箱”真假不定;I 命题“某单位职工有的买了电冰箱”真假不定;O 命题“某单位有的职工没买电冰箱”为真。 2.已知“某班同学都不是会打桥牌的”为真。 答:这是个E 命题。当E 真时,A 命题“某班同学都是会打桥牌的” 为假;I 命题“某班同学有的是会打桥牌的”为假;O 命题“某班同学有

6第六章 模态命题及其推理

第五章模态命题及其推理 第一节模态命题 一、什么是模态命题? 模态命题,有广义和狭义之分,广义是指一切包含有模态词的命题,狭义的主要是指其中包含有“必然”和“可能”这类模态词的命题。 定义:模态命题是反映事物可能性或必然性的命题。 例如:1、社会必然不断进步。 2、明天可能不下雨 这些都是模态命题。例1反映了社会进步的必然性。例2反映了“明天不下雨具有可能性”。 二、模态命题的种类 根据命题所反映的是事物可能性还是必然性,可以把模态命题分为可能命题和必然命题。 1、可能命题。反映事物情况可能性的命题是可能命题。 可能命题又分为两种:肯定可能命题和否定可能命题。 (1)肯定可能命题:是反映事物情况可能存在的命题。 例1、火星上可能有生命存在。 例2、今天可能下雨。 前者反映火星上存在生命具有可能性,后者反映今天下雨的具有可能性。 公式:“S可能是P”或“S是P是可能的”简化为: “可能P”或“◇P”(在这里,P表示命题,“◇”模态算子,表示“可能”)。 (2)否定可能命题:是反映事物情况可能不存在的命题。 例1、明天可能不下雨。 例2、他可能没有20岁。 前者反映“明天下雨”这种情况可能不存在,后者反映“他有20岁”这种情况可能不存在。 公式:“S可能不是P”或“S不是P是可能的”,也可简化为“可能┒P”(即可能非P “或”◇┒P)。 2、必然命题。反映事物情况必然存在的命题是必然命题。 (1)肯定必然命题。是反映事物情况必然存在的命题。例如: a.生物必然进行新陈代谢。 b.我国的四个现代化必然能实现。 前者反映了“生物进行新陈代谢”的必然性,后者反映了,“我国实现四个现代化的必

命题逻辑中几种常见的推理证明方法

ljlj 逻 辑 学 论 文 数学科学学院 09级3班 吴洁琼 学号2009040288

命题逻辑中几种常见的推理证明方法 吴洁琼 哈尔滨师范大学 (黑龙江·哈尔滨 150025) 【摘 要】:命题逻辑的推理证明是《离散数学》课程的重点难点内容,其主要原因有两个: 一是内容比较抽象且方法较独特,其灵活性很大, 故很难掌握;二是题型以证明题居多, 大多数题的知识面涉及较广, 故习题较难。而命题逻辑又是数理逻辑的基础, 熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点, 又会为进一步学习谓词逻辑打下良好的基础。本文结合适当的例题讲解,总结了命题逻辑中几种常见的推理证明方法,并进行了分析和探讨,以加深学生的理解,以及知识的灵活使用。 以期在帮助学生掌握命题逻辑的推理证明方法的同时, 又能对学生进行逻辑思维能力的训练,培养学生分析问题和解决问题的能力。 【关键词】:命题逻辑;推理;证明方法 数理逻辑是《离散数学》课程的主要内容之一,它主要包括命题逻辑和谓词逻辑两大部分, 而命题逻辑又是谓词逻辑的基础,其中的内容也比较抽象,所以学好命题逻辑又是学好数理逻辑的关键。学好数理逻辑既能加强学生的逻辑思维能力,又同时能够帮助同学学习数字电路和人工智能等其它课程。数理逻辑中关于命题逻辑证明题比较多,学好数理逻辑的关键是能不能很好的掌握这些证明题。 一、命题逻辑中推理的相关概念 定义1:一个命题公式序列1α,2α, ,n α;β,即βααα→ΛΛΛ)(21n 称为推理形式,其中序列最后一项β称为推理的结论,1α,2α, ,n α称为推理的条件。 定义2:对于命题公式序列1α,2α, ,n α;β的命题变元组);,,,(21p p p p n 的任意指派);,,,(21t t t t n 存在使n αααΛΛΛ 21为真,而β为假,则称此推理为无效推理,否则是有效推理。 证明命题公式β为有效结论的过程就是命题逻辑推理证明的过程。而证明推理形式1α, 2α, ,n α;β是有效的充要条件是βααα→ΛΛΛ)(21n 为重言式。 二、常见证明方法 命题逻辑的推理证明有六种常用证明方法,分别是直接证明法,真值表法,范式法,间接证明法。其中间接证明法里面常见的是CP 规则证明法和反证法,本文就这几种方法进行论述。

复合命题及其推理详细讲解

第3讲复合命题及其推理 【复合命题,是指由简单命题通过联结词而构成的命题。由于联结词的不同,复合命题就有联言命题、选言命题、假言命题等不同的种类形式。】 3、1 联言命题及其推理 1、联言命题 联言命题就是断定事物的若干种情况同时存在的命题。 例如,“鲁迅是文学家并且是思想家”。 联言命题的一般公式是:p并且q;也可表示为 p∧q 。 其中,“并且”(现代逻辑上通常用符号“∧”表示,涵义为“合取”)为联结词,p、q称为联言肢(联言命题的肢命题)。 日常语言中的“…和…”、“既…又…”、“不但…而且…”、“虽然…但是…”等表示并列关系、递进关系、转折关系的语词都是“并且”的意思。 一个联言命题是真的,则其每一个肢命题都必须是真的。只要有一个肢命题假,则联言命题就是假的。 联言命题的真假特征可以表示如下: p q p∧q 真真真 真假假 假真假 假假假 2、联言推理 联言推理就是前提或结论为联言命题,并且根据联言命题的逻辑特征所进行的推理。一个联言命题是真的,当且仅当其所有肢命题是真的。联言推理的推理形式有分解式和组合式。 分解式就是由前提中一个联言命题为真推出其任一肢命题为真的联言推理。公式是: p并且q p并且q p 或者 q 组合式就是由前提中一些肢命题为真推出这些肢命题所组成的联言命题为真的联言推理。公式是: p q p并且q 应用例: 例题1-联言推理 ■李娜心中的白马王子是高个子、相貌英俊、博士。她认识王威、吴刚、李强、刘大伟四位男士,其中只有一位符合她所要求的全部条件。 (1)四位男士中,仅有三人是高个子,仅有两人是博士,仅有一人相貌英俊。 (2)王威和吴刚都是博士。 (3)刘大伟和李强身高相同。 (4)每位男士都至少符合一个条件。 (5)李强和王威并非都是高个子。 请问谁符合李娜要求的全部条件? A.刘大伟。B.李强。 C.吴刚。 D.王威。 例题2-联言推理 ■只有具备足够的资金投入和技术人才,一个企业的产品才能拥有高科技含量。而这种高科技含量,对于一个产品长期稳定地占领市场是必不可少的。

模态命题

模态命题 知识点 特征: 句子含有“可能”“必然”“不可能”“不必然(不一定/未必)”等模态词。 模态四句转换: (1)并非(所有都必然是)=有些可能不是 (2)并非(有些必然是)=所有都可能不是 (3)并非(所有都可能是)=有些必然不是 (4)并非(有些可能是)=所有都必然不是 即当模态命题遇到其否定形式(不/并非/未)时,变换方法: ①“所有”跟“有些”互换; ②“可能”跟“必然”互换; ③“肯定”跟“否定”互换。 例题 例1 心理学专家认为,并非所有经常锻炼身体的人身体都必然健康,保持阳光心态,注重心理卫生才能身体健康。由此可见()。 A身体不健康,心理就不健康 B有些经常锻炼身体的人身体可能健康 C不经常锻炼身体的人有些可能是健康的 D有些经常锻炼身体的人身体可能不健康

答案选D。抽离题干: 并非(所有…必然…健康)=有的…可能…不健康。 例2 如果购买体育彩票必然获大奖,那么体彩事业不会如日中天的发展。由此可以推出()。 A体彩事业真正如日中天的发展,说明购买体育彩票必然不获大奖 B体彩事业正如日中天的发展,说明购买体育彩票可能难获大奖 C如果购买体育彩票不必然获大奖,那么体彩事业就会如日中天的发展 D体彩事业没有如日中天的发展,说明购买彩票一定获大奖 【解析】: 答案选B。翻译题干: 必然获大奖→不会如日中天发展。根据推理规则“否后必否前”,如日中天发展→并非(必然获大奖),即可能不获大奖,也就是可能难获大奖。 例3 并非任何战争都必然导致自然灾害,但不可能有不阻碍战争的自然灾害。 以下哪一项与上述断定的含义最为接近?() A.有的战争可能不导致自然灾害,但任何自然灾害都可能阻碍战争 B.有的战争可能不导致自然灾害,但任何自然灾害都必然阻碍战争 C.任何战争都不可能导致自然灾害,但有的自然灾害可能阻碍战争 D.任何战争都可能不导致自然灾害,但有的自然灾害必然阻碍战争

模态命题对当关系推理

模态命题对当关系推理 模态命题对当关系推理在近年来北京市公务员行测考试演绎推理部分占到一定的比例,主要考查的是模态命题的相互转化。本讲中公教育专家结合历年北京行测考试真题为大家讲解模态命题对当关系推理。 与直言命题相似,模态命题“必然P”、“必然非P”、“可能P”和“可能非P”在真假方面存在着必然性的制约关系。 1.矛盾关系 “必然P”与“可能非P”、“必然非P”与“可能P”之间的关系是矛盾关系。其中,一个真,另一个必假;一个假,另一个必真。二者既不可同真又不可同假。 2.反对关系 “必然P”和“必然非P”之间的关系是反对关系。其中,一个真,另一个必假;一个假,另一个则真假不定。二者可以同假但不可同真。 3.下反对关系 “可能P”和“可能非P”之间的关系是下反对关系。其中,一个假,另一个必真;一个真,另一个则真假不定。二者可以同真但不可同假。 4.从属关系 “必然P和可能P”、“必然非P和可能非P”之间的关系是从属关系。其中,“必然P”真,则“可能P”必真;“可能P”假,则“必然P”必假;“必然P”假,“可能P”则真假不定;“可能P”真,则“必然P”真假不定。 “必然非P”真,则“可能非P”必真;“可能非P”假,则“必然非P”必假;“必然非P”假,则“可能非P”真假不定;“可能非P”真,则“必然非P”真假不定。 可以用逻辑方阵表示如下图:

根据上面的关系,一方面,我们可以由一个模态命题的真或假,推知其他三个模态命题的真假情况。 示例:已知“今天可能有风”为真,可推知“今天可能无风”真假不定,“今天必然无风”假,“今天必然有风”真假不定。 另外一方面,我们可以由一个模态命题的负命题确定与其等值的模态命题。 示例:“并非他必然来”等值于“他可能不来”,“并非他必然不来”等值于“他可能来”。 模态命题的转化规则 例题1:北京行测真题 并非任何战争都必然导致自然灾害,但不可能有不阻碍战争的自然灾害。 以下哪一项与上述断定的含义最为接近?() A.有的战争可能不导致自然灾害,但任何自然灾害都可能阻碍战争 B.有的战争可能不导致自然灾害,但任何自然灾害都必然阻碍战争 C.任何战争都不可能导致自然灾害,但有的自然灾害可能阻碍战争 D.任何战争都可能不导致自然灾害,但有的自然灾害必然阻碍战争 解析:考查模态命题的转化。根据“并非所有……都”=“有的……不”,“不必然”=“可能不”,题干第一句话“并非任何战争都必然导致自然灾害”=“有的战争不必然导致自然灾害”=“有的战争可能不导致自然灾害”。根据“不可能不”=“必然”,题干第二句话“不可能有不阻碍战争的自然灾害”=“所有的自然灾害都不可能不阻碍战争”=“所有的自然灾害都必然阻碍战争”。故答案选B。 例题2:北京行测真题 若“所有灵长类动物大脑可能都具有额叶皮质”为真,则以下哪项一定为真?() A.并非所有灵长类动物大脑都具有额叶皮质,这是不必然的 B.所有灵长类动物大脑都具有额叶皮质,这是必然的

逻辑学课堂习题集

井冈山大学逻辑学课堂习题集 第一章概述 一、分析下列“逻辑”一词的含义。 1、作为一名中文系毕业生,说话做事更要讲究一定的逻辑。 2、本发明涉及一种基于OLAP能自定义复杂业务计算逻辑的数据分析方法。 3、“双一流大学”才是大学,这是什么逻辑! 4、脱离生活逻辑的文学是没有生命力的。 5、刚开始接触逻辑时,学生都觉得逻辑好难。 第二章概念 一、以下划线部分是集合概念还是非集合概念? 1、清华大学是我国的重点大学。 2、我国的重点大学分布在全国各地。 3、鲁迅的小说是一天读不完的。 4、鲁迅的小说都不超过三万字。我读过鲁迅的小说。 5、一书中指出:每个人都渴望爱情。夫妻之间的爱情最终会归于平淡的亲情。 二、用欧拉图画出下列概念的关系 1、A社会主义国家 B 中国C亚洲D日本 E 亚洲国家F发展中国家 2、A男人B女人C小孩 3、A褒义词B贬义词C合成词D词 4、A公里B米C厘米D毫米 5、A警察B协警C警务人员D城市户口E交警 6、A毕业大学生B工人C教师D党员 三、以下定义是否正确?为什么? 1、期刊就是每周或每月定期出版的出版物。 2、所谓生命就是塑造出来的模式化进行的新陈代谢。 3、凡是看机会而采取行动的人叫机会主义者。 4、所谓理性,就是人区别于动物的高级神经活动;而所谓高级神经活动,就是人的理性活动。 5、词是表达概念的语言单位。 6、清醒就是非昏迷的状态。 7、商品是不供生产者本人消费的产品。 8、没有自己的特殊利益就是党。 9、学生是祖国的花朵,未来的栋梁。 第四章简单命题及其推理 1、“一切实情都在书中”如果这句话是真的,则以下一定为真的是( D ) A.书中的一切都是实情 B.有的实情不在书中 C.书中有的不是实情 D.书中包括一切实情 2、某班级共有30位同学,他们中间有多少人学过法语?有A、B、C三人在议论: A、有些人学过法语 B、王明学过法语 C、有些人没有学过法语 已知三人中只有一人的话是正确的,问:该班有多少同学学过法语?

判断推理——逻辑判断

、必然性推理 概念间关系 直言命题的对当关系 直言命题的变形推理 三段论推理 联言命题与选言命题 假言命题 模态命题 智力推理 ? 概念间关系(概念,是构成命题与推理的基础,只有表达了一类事物的词语才是概念) 直言命题(简单命题),是断定对象是否具有某种性质的单句 ? 直言命题的对当关系(不同直言命题之间在真假方面所存在的制约关系) 所有 A 是 B 反对 ........... 所有 A 不是 B 推出 推出 有的 A 是 B. “所有A 是B ” 与“有的A 不是B ”、“.所有A 不是B ”与“有的A 是 B ”必有一真一假 “所有A 是B ”与“.所有A 不是 B ” 必有一假(可以同假) “有的 A 不是B ”与“有的 A 是 B ” 必有一真(可以同真) 一个命题前面+“并非”=这个命题的矛盾命题 所有与有的互换,有“不”的去掉,没“不”的加上 ? 直言命题的变形推理(通过改变前提中直言命题的联项或主项与谓项的关系 结论) ①换质推理 双重否定表示肯定 将“不是”改为“是”或将“是”改为“不是” ②换位推理(倒过来说) 所有A 是B 有些B 是 A 所有 A 不是 B 所有 B 不是 A 有些 A 是 B 有些 B 是 A 有些 A 不是 B 特殊词量(少数,大部分,一半)作为量项引导命题,不能换位 ? 三段论推理(两个直言命题作为前提/ 一个直言命题作为结论) (两个前提包含三个概念/ 前提和结论中,每个概念都出现两次) 两条常用规则 一特得特:两个前提不能都是特称命题(含有“有的”命题) 只有一个前提是特称,结论也是特称 一否得否:两个前反对 矛盾 . 有的A 不是 B 下反对

第五章 模态命题及其推理

第五章模态命题及其推理 “模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学家Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了一个崭新的时期。 Lewis是由对蕴涵的讨论转而研究模态逻辑的。Russell把p→q定义为﹃p∨q,即只要p假或q真,p→q就为真,这就是所谓实质蕴涵。按照实质蕴涵的定义就出现了一些蕴涵怪论,如:(1)p→(q→p); (2)﹁p→(p→q); (3)(p→q)∨(q→p) 这几个定理分别说明了: (1)任一命题q蕴涵真命题p。 (2)假命题p蕴涵任一命题q。 (3)任何两个命题p与q,不是p蕴涵q,就是q蕴涵p。 这些怪论的出现引起了逻辑学界的一些争论,有人试图定义新的蕴涵词来代替实质蕴涵,Lewis就是其中最有名的一个。他提出把蕴涵“如果p,那么q”定义为“不可能(p∧﹁q)”,这就是所谓的严格蕴涵。严格蕴涵的定义中包含了模态词。Lewis所建立的严格蕴涵系统,形成了一个模态逻辑的命题演算系统。其他逻辑学家也通过研究,建立了包括谓词演算在内的种种模态逻辑系统。也有人对模态提出了更广义的解释,从而开拓了一些新的研究领域。 逻辑学中在两种意义上,即在狭义和广义上使用“模态”这个术语。一般认为,当“模态”这一术语被狭义的使用时,它只是指“必然的”、“可能的”这类模态词。因此,只有含有“必然的”、“可能的”这类模态词的命题被认作是狭义模态命题。例如:“物体间存在着引力是必然的”、“(p∨﹃p)是必然的”。也有一些逻辑学家对“模态”作广义的理解。广义的模态逻辑讨论的内容比狭义的模态逻辑要广泛得多。广义模态词除了必然、可能之外,还包括必须(应该)、允许、禁止;知道、相信、可接受、可疑、可证;曾经、总是、将是;优先、中立等等。这些模态词分别是道义逻辑、认识逻辑、时态逻辑和价值逻辑的研究对象。每一种模态都是现代逻辑中相应分支的研究对象。我们在这里只就其中主要的几种做一点简单的介绍。 第一节模态命题 一、什么是模态命题 模态命题就是陈述事物情况的必然性或可能性的命题。直言命题和关系命题只是关于事物情况存在或不存在的陈述。但有些事物情况的存在或不存在是必然的,有些事物情况的存在或不存在是可能的,陈述这种必然性或可能性的命题就是模态命题。模态命题反映人们对客观事物认识的程度。 例如:违反客观规律必然要受到客观规律的惩罚。 辩护人的意见可能是对的。

逻辑判断推理中常用的逻辑公式

逻辑命题与推理 必然性推理(演绎推理):对当关系推理、三段论、复合命题推理、关系推理和模态推理 可能性推理:归纳推理(枚举归纳、科学归纳)、类比推理 命题 直言命题的种类:(AEIOae) ⑴全称肯定命题:所有S是P(SAP) ⑵全称否定命题:所有S不是P(SEP) ⑶特称肯定命题:有的S是P(SIP) ⑷特称否定命题:有的S不是P(SOP) ⑸单称肯定命题:某个S是P(SaP) ⑹单称否定命题:某个S不是P(SeP) 直言命题间的真假对当关系: 矛盾关系、(上)反对关系、(下)反对关系、从属关系 矛盾关系:具有矛盾关系的两个命题之间不能同真同假。主要有三组: SAP与SOP之间。“所有同学考试都及格了”与“有些同学考试不及格” SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格” SaP与SeP之间。“张三考试及格”与“张三考试不及格” 上反对关系:具有上反对关系的两个命题不能同真(必有一假),但是可以同假。即要么一个是假的,要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。 下反对关系:具有下反对关系的两个命题不能同假(必有一真),但是可以同真。即要么一个是真的,要么两个都是真的。存在于SIP与SOP、SeP与SIP、SaP与SOP之间。 从属关系(可推出关系):存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP 六种直言命题之间存在的对当关系可以用一个六角图形来表示,“逻辑方阵图” SAP SEP SaP SeP

SIP SOP 直言命题的真假包含关系 全同关系、真包含于关系、真包含关系、交叉关系、全异关系 复合命题:负命题、联言命题、选言命题、假言命题 负命题的一般公式:并非P 联言命题公式:p并且q “并且、…和…、既…又…、不但…而且、虽然…但是…” 选言命题:相容的选言命题、不相容的选言命题 相容的选言命题公式:p或者q“或、或者…或者…、也许…也许…、可能…可能…” 【一个相容的选言命题是真的,只有一个选言支是真的即可。只有当全部选言支都假时,相容的选言命题才是假的】不相容选言命题公式:要么p要么q “要么…要么…、不是…就是…、或者…或者…二者必居其一、或者…或者…二者不可兼得” 【一个不相容的选言命题是真的,有且只有一个选言支是真的。当选言支全真或全假时,此命题为假】 假言命题:充分条件假言命题、必要条件假言命题、充要条件假言命题 充分条件假言命题公式:如果p,那么q“如果…就…、有…就有…、倘若…就…、哪里有…哪里有…、一旦…就…、假若…、只要…就…” 【有前件必然有后件。如果有前件却没有后件,这个充分条件假言命题就是假的。因此,对于一个充分条件的假言命题来说,只有当其前件真而后件假时,命题才假。】 必要条件假言命题公式:只有p,才q “没有…就没有…、不…不…、除非…不…、除非…才…” 【没有前件必然没有后件。如果没有前件也有后件,这个必要假言命题为假。对于一个必要条件的假言命题来说,只有当其前件假而后件真时,命题才假。】 充要条件假言命题公式:当且仅当p,才q 【有前件必然有后件,没有前件必然没有后件。充要条件假言命题在前件与后件等值即前件真并且后件真,或者前件假并且后件假时,命题为真,在前件与后件不等值即前真后假,或前假后真时,命题为假】

逻辑学版答案复合命题及其推理

第五章复合命题及其推理 一、分析下列语句各表达什么复合命题?请写出其逻辑式。 1.书山有路巧为径,学海无涯乐作舟。 答:这是一个二支联言命题,可表示为:p∧q 2.只有发展外向型经济,才能打入国际市场。 答:这是一个必要条件假言命题,可表示为:p←q 3.但凡家庭之事,不是东风压倒西风,就是西风压倒东风。 答:这是一个二支不相容选言命题,可表示为:p q 4.并不是每一个科学家都是上过大学的。 答:这是个负A 命题,它等值一个O 命题:?(SAP) ←→ SOP 5.足球的进攻方式,主要是中路突破,此外或边线进攻,或长传短切,或单刀直入。 答:这是一个四支不相容选言命题:p q r s 6.法律如果并且只有推开特权的大门,才能跨进人民的心。 答:这是一个充分必要条件假言命题:p←→ q 二、下列语句是否表达选言命题?如表达,各表达什么选言命题?请 写出逻辑式。 1.身体不好,或者是由于有病,或者是由于锻炼差,或者是由于营养 不良。 答:表达一个三支相容选言命题:p∨q∨r 2.这堂课是你上,还是我上? 答:表达一个二支不相容选言命题:p q 3.这次围棋名人赛,要么小林光一取得胜利,要么马晓春取得胜利。答:表达一个二支不相容选言命题:p q 4.雇用的女工大抵非馋即懒,或者馋而且懒。 答:表达一个二支相容选言命题,用p 表示“女工馋”,用q 表示“女 工懒”,其逻辑式为:p∨q,也可理解为三支不相容选言命题:(?p∧q)(p∧?q) (p∧q),二者等值。 三、下列语句是否表达假言命题?如表达,各表达哪种假言命题?请 写出它们的逻辑式。 1.一人抽烟,大家受害。 答:表达一个充分条件假言命题:如果一人抽烟,那么大家受害,p →q 2.人们首先必须吃、喝、住、穿,然后才能从事政治、科学、艺术、 宗教等等。 答:表达一个必要条件假言命题:p←q 3.如果说幼年时期的无知是天真的表现的话,那么,成年以后还满足 于自己的无知就是愚蠢的表现了。 答:这个假设句不表达假言命题,而表达转折联言命题。 4.人不犯我,我不犯人;人若犯我,我必犯人。 答:表达一个充分必要条件假言命题,用p 表示"人犯我",用q 表示 “我犯人”:p←→q 5.没有共产党,就没有新中国。 答:可有两种理解:一是充分条件假言命题,一是必要条件假言命题。

逻辑学[第六章模态命题及其推理] 山东大学期末考试知识点复习

第六章模态命题及其推理 【内容提要】 一、模态命题。真值模态命题主要是指反映事物情况的可能性或必然性的命题,又分为必然肯定命题、必然否定命题、可能肯定命题、可能否定命题四种,要点是着重掌握四种真值模态命题之间的真假关系,做到正确地使用模态命题。规范模态命题是含有“必须”(或“应当”)、“允许”、“禁止”这类涉及人的行为规范的模态词的模态命题,它又分为必须肯定命题、必须否定命题、允许肯定命题、允许否定命题、禁止肯定命题、禁止否定命题六种,要点是掌握它们之间的真假关系以及“必须”和“禁止”间的等值关系。 二、模态推理,分为真值模态推理和规范模态推理两种。真值模态推理的要点是模态对当关系推理的有效形式,以及据“实然”、“必然”、“或然”之间的关系进行推演的模态推理。规范模态推理的要点是规范对当关系推理以及据“必须”、“禁止”之间的等值关系进行推演的推理。 【重点】 是。这就是说,由各种命题联结词联结肢命题所形成的复合命题,其真值是由组成该命题的肢命题的真值所唯一决定的。但是,含模态词的命题的真值并不由其中的非模态命题的真值所完全决定。例如,从“地球是圆的”这个命题的真假,不能确定地推知“地球必然是圆的”、“地球应该是圆的”这些命题的真假,后面这些命题的真假与前一命题有关,但并不为它的真假所完全决定。模态词的这一性质叫做非真值函项性,或者叫做内涵性。 二、规范模态命题之间的关系与真值模态命题之间关系的异同 应当(义务)和允许之间的关系与必然和可能之间的关系是类似的,即:一命

题是必然的当且仅当它的否定是不可能的;同样,一行为是义务的,当且仅当不做该行为是不允许的。并且,从必然p推出可能p,从不可能p推出必然非p;同样,从应该p推出允许p,从不允许p推出应该非p。但是,这种类似并不是完全的、绝对的,两者之间存在着差异。例如,在真值模态概念那里从必然p可推出p,从p可推出可能p;而在规范模态概念那里,若从义务p推出p(应做的事情全都做了),从p推出允许p(做过的事情都是允许做的),却是违反常理的。于是,人们把必然、可能、偶然等叫做狭义模态,而把与它们相似且又有差异的规范模态叫做广义模态。 【难点】 如何理解“实然”、“必然”、“或然”之间的关系 “实然”、“必然”、“或然”之间的关系,有下面四条规律: (1)如果“必然p”是真的,那么,“p”就是真的。(2)如果“p”是真的,那么,“可能p”就是真的。(3)如果“必然非p”是真的,那么,“非p”就是真的。 (4)如果“非p”,是真的,那么,“可能非p”就是真的。 由上面四条规律,我们可以看出,由必然命题能够推出实然命题,由实然命题能够推出可能命题。这里理解由“必然”推“实然”的出发点为:模态命题主要指客观模态。 模态逻辑可分客观模态与主观模态。客观模态表示客观事物本身存在的样式和趋势。例如,“永动机是不可能制造出来的”、“人类社会必然由野蛮、愚昧向文明进步”、“通货膨胀是经济发展过程中可能出现的现象”,所有这些命题所表达的都是客观存在的必然性和可能性,是客观事物在发展过程中必定遵循的规律或可能显现出来的趋向,因而都表达客观模态。主观模态则表示人的认识中的确定性或不确定性。例如,“可能是外星人建造了埃及金字塔”、“马致远必定是江浙人”、“小李可能是湖南人”,这些命题所表达的都是主观模态。因为埃及金字塔在历史上由何人建造,马致远和小李是什么地方的人,都是不可更易的客观事实,只是说话者对这些事实把握不准,于是根据种种迹象去猜测,才有上述命题

逻辑学复合命题及其推理附加习题Ⅰ参考答案

复合命题及其推理附加习题Ⅰ参考答案 一、单选题 1.两个假言命题的逻辑形式相同,其相同的是( D ) A.前件和后件B.前件和联结词 C.后件和联结词D.联结词【主联结词】 2.如果一个包含两个选言支的不相容选言命题为真,则其两个选言支( D )A.可同真且可同假B.可同真但不可同假 C.不可同真但可同假D.不可同真不可同假 3.下列命题形式中,与pq既不同真又不同假的是( C ) A.p→q B.p←q C.p?q D.p∨q 4.若“如果某甲掌握两门外语,那么他精通逻辑”为假,则下列为真的是( B )A.某甲掌握两门外语并且精通逻辑B.某甲掌握两门外语但不精通逻辑C.某甲没掌握两门外语但精通逻辑D.某甲没掌握两门外语也不精通逻辑5.以“A并且B”和“非B或者C”为前提进行演绎推理,可得出的结论是( C )A.A并且非B B.B并且非C C.B并且C D.A并且非C 6.在下列表达式中,正确表达直言命题中的A命题与O命题之间真假关系的是( D )A.A→﹁O B.﹁A→O C.A∨O D.AO 7.命题“老赵、老钱、老孙三人至少有一人是复员军人”可表示为( C )

A.(p∧q)∨r B.pqr C.p∨q∨r D.p→(q∧r) 8.“不是在保守中落后,就是在改革中进步”与“不是在保守中落后,而是在改革中进步” 这两个命题( D ) A.都是选言命题 B.都是联言命题 C.前者为联言命题,后者为选言命题 D.前者为充分条件命题,后者为联言命题 注意,“不是在保守中落后,就是在改革中进步”的意思是“如果不是在保守中落后,那么就是在改革中进步”,是充分条件命题;也可以看作选言命题。 9.“这部作品或者思想性不强,或者艺术性不高,或者既思想性不强又艺术性不高”这一命题应符号化为( C ) A.p∨q∨r B.pqr C.p∨q D.pq 解析:不相容析取命题为真,当且仅当,一个析取支为真。选项B和D显然不符合不相容析取命题的特征。 相同命题表示为相同符号,这是符号化的一个基本原则。如果以p表示“思想性不强”,以q表示“艺术性不高”,那么这个符合命题应当符号化为:p∨q∨(p∧q)。 由合取对析取的分配律,即A∨(B∧C)=(A∨B)∧(A∨C)可得, p∨q∨(p∧q)=(p∨q∨p)∧(p∨q∨q) 由析取结合律可得, (p∨q∨p)∧(p∨q∨q)=(p∨p∨q)∧(p∨q∨q)

相关文档
最新文档