内容发布更新时间 : 2024/12/22 19:42:55星期一 下面是文章的全部内容请认真阅读。
零点时商店灯光已灭,u表示B回家,则 (1)p∨q 已知 (2)r→s 已知 (3)﹁t←﹁r 已知 (4)q→﹁s 已知 (5)t∧﹁u 已知 (6)t (5),联言推理的分解式 (7)﹁﹁r (3)、(6),必要条件推理的否定前件式 (8)r (7),等值命题 (9)s (2)、(8),充分条件推理的肯定前件式 (10)﹁q (4)、(9),充分条件推理的否定后件式 (11)p (1)、(10),选言推理的否定肯定式 所以,A是盗贼。
4.根据下列条件能确定甲乙丙丁戊哪几个人上场?不能确定那些人是否上场?
(1)如果乙上场,那么甲和丙都上场。
(2)如果甲和丙中有人不上场,那么乙上场。 (3)只有甲不上场,乙才不上场。 (4)丙不上场或戊上场。
解:令pqrs分别表示甲乙丙戊上场,则
(1)q→(p∧r) (2)(﹁p∨﹁r)→q (3)﹁p←﹁q (4)﹁r∨s
做它们的真值表: p q r s ﹁p 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 ﹁q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 ﹁r 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 p∧r 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 ﹁p∨﹁r 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 q→p∧r 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 ﹁p∨﹁r→q 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 ﹁p←﹁q 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 ﹁r∨s 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 由真值表可见,前提条件都为真,当且仅当,甲乙丙戊都上场。前提条件不涉及丁,所以不能确定丁是否上场。
5.某案的两名凶手在ABCDE五人之中。在下列条件下,凶手是谁?
31
(1)只有A是凶手,B才是凶手。 (2)只要D不是凶手,C就不是凶手。 (3)或者B是凶手,或者C是凶手。 (4)D没有E为帮凶,就不会作案。 (5)E没有作案时间。
解:设pqrst分别表示ABCDE是凶手,则
(1)p←q 已知 (2)﹁s→﹁r 已知 (3)q∨r 已知 (4)﹁(s∧t)→﹁s 已知 (5)﹁t 已知 (6)﹁t∨﹁s (5),析取推理的附加式 (7)﹁(s∧t) (6),德摩根定律 (8)﹁s (4)、(7),充分条件推理的肯定前件式 (9)﹁r (2)、(8),充分条件推理的肯定前件式 (10)q (3)、(9),相容选言推理的否定肯定式 (11)p (1)、(10),必要条件推理的肯定后件式 所以,AB是凶手。
第六章 复合命题及其推理(下)
一、填空题
1.与“并非做坏事而不受惩罚”这个命题等值的充分条件命题是(如果做坏事则受惩罚)。 2.“只有通过考试,才能录取”转换为等值的充分条件命题是(如果录取,则通过考试),转换为等值的联言命题的负命题是(并非没有通过考试但录取)。 3.“并非小王既是大学生又是运动员”等值于选言命题(小王不是大学生或者不是运动员),也等值于充分条件命题(如果小王是大学生,那么他不是运动员)。
注意,它还等值于“如果小王是运动员,那么他不是大学生)。
4.由p∧q真能推出p∨q(真),由p∨﹁q假能推出﹁p∧q(真)。 5.负命题的支命题与负命题的等值命题之间是(矛盾)关系。 6.“并不是除非你让步,他才能签字”,这个负命题的等值命题是(你不让步,他也签字)。 7.与p∧﹁q相矛盾的蕴涵式是(p→q)。
8.二难推理简单构成式的两个假言前提的前件(不相同)、后件(相同),简单破坏式的两个假言前提的前件(相同)而后件(不相同)。
9.以“如果p那么q”和“如果r那么s”为假言前提进行二难推理,则推出的结论可以是(q∨s)或(﹁p∨﹁r)。
10.以p→(﹁q∧﹁r)和q为前提进行推理,结论是(﹁p)。
二、单项选择题
1.在以下命题形式中,与p→q具有等值关系是( D )
32
A.p∧q B.﹁p∧q C.p∨q D.﹁p∨q 2.“张云不是钢铁工人,也不是石油工人”与“如果张云是钢铁工人,那么张云不是石油工人”,这两个命题在真值方面( A ) A.可同真并且可同假 B.可同真但不可同假 C.不可同真但可同假 D.不可同真并不可同假 3.在下列命题形式中,与p∨q相矛盾的是( C )
A.﹁p∨﹁q B.﹁p→q C.﹁p∧﹁q D.p←q 4.下列与p∨﹁q想等值的命题是( C )
A.﹁(p∧﹁q) B.﹁p∨q C.﹁(﹁p∧q) D.﹁(p→﹁q) 5.当p∨﹁q和p?q仅有一真时,则下列命题形式为真的是( B )
A.p∧q B.p∧﹁q C.﹁p∧q D.﹁p∧﹁q
解析:做出p∨﹁q和p?q的真值表,可以看出,p∨﹁q和p?q仅有一真,当
且仅当,p为真且q为假。所以,选B。
6.在下列各组命题形式中,具有不可同真但可同假关系的是( D )
A.SAP与SOP B.p→q与﹁p→﹁q C.p∨q与﹁p∨﹁q D.p∧q与p∧﹁q 7.以p→q、r→q、s→p∨r、s为前提进行推理,结论为( C )
A.p B.﹁p C.q D.﹁q
8.如果小李喜欢表演,那么他就要报考戏剧学院;如果他不喜欢表演,那么他可以成为戏剧理论家;如果他不报考戏剧学院,那么他就不能成为戏剧理论家。 由此可以推出小李( D ) A.不喜欢表演 B.成为戏剧理论家 C.不包括戏剧学院 D.报考戏剧学院 E.不成为戏剧理论家
解析:由矛盾律和排中律可知,小李喜欢表演,或者不喜欢表演。根据二难推理的复杂构成式,由“如果小李喜欢表演,那么他就要报考戏剧学院;如果他不喜欢表演,那么他可以成为戏剧理论家”可得,他报考戏剧学院,或者他成为戏剧理论家。
“他报考戏剧学院,或者他成为戏剧理论家”等值于“如果他不报考戏剧学院,那么他成为戏剧理论家”。
由矛盾律和排中律可知,他成为戏剧理论家,或者不能成为戏剧理论家。根据二难推理的复杂破坏式,由“如果他不报考戏剧学院,那么他成为戏剧理论家”和“如果他不报考戏剧学院,那么他就不能成为戏剧理论家”可得,他报考戏剧学院。
9.一个心理健康的人,必须保持自尊;一个人只有受到自己尊敬的人的尊敬,才能保持自尊;而一个用追星方式来表达自己尊敬情感的人,不可能受到自己尊敬的人的尊敬。 以下哪项结论可以从题干的断定推出?( A )
A.一个心理健康的人,不可能用追星的方式来表达自己的尊敬情感。 B.一个心理健康的人,不可能接受用追星的方式所表达的尊敬。
C.一个人如果受到自己尊敬的人的尊敬,他(她)一定是个心理健康的人。 D.没有一个保持自尊的人会尊敬一个用追星方法表达尊敬情感的人。 E.一个用追星的方式表达自己尊敬情感的人,完全可以同时保持自尊。 解析:“一个人只有受到自己尊敬的人的尊敬,才能保持自尊”等值于“如果一个人保持自尊,那么他会受到自己尊敬的人的尊敬”。
按照矛盾律和排中律,一个人受到自己尊敬的人的尊敬,或者不会受到自己尊敬的人的尊敬。根据二难推理的复杂破坏式,由“如果一个人保持自尊,那么他会受到自己尊敬的人的尊敬”和“如果一个人用追星方式来表达自己尊敬情感,那么他不可能
33
受到自己尊敬的人的尊敬”可得,一个人保持自尊,或者用追星方式来表达自己尊敬情感。
又由于“一个心理健康的人,必须保持自尊”,所以,一个心理健康的人不可能用追星的方式来表达自己的尊敬情感。
10.某矿山发生一起严重的安全事故。关于事故原因,甲乙丙丁四位负责人有如下断定:
甲:如果造成事故的直接原因是设备故障,那么肯定有人违反操作规程。 乙:确实有人违反操作规程,但造成事故的直接原因并不是设备故障。 丙:造成事故的直接原因确实是设备故障,但并没有违反操作规程。 丁:造成事故的直接原因是设备故障。
如果只有一人的断定是真的,那么除了哪项,以下断定都不可能为真( B ) A.甲的断定为真,有人违反操作规程。 B.甲的断定为真,但没有人违反操作规程。 C.乙的断定为真。 D.丙的断定为真。 E.丁的断定为真。
解析:甲与丙的断定是相互否定的,必有一真。根据题意可知,乙和丁的断定都是假的。
由乙的断定为假可得:造成事故的直接原因是设备故障,或者没有人违反操作规程。由丁的断定为假可得:造成事故的直接原因不是设备故障。再根据选言推理的否定肯定式可知,没有人违反操作规程。
可见,丙的断定是假的,甲的断定是真的。因为没有人违反操作规程,所以选B。
三、多项选择题
1.当p→﹁q取值为假时,下列形式中取值为真的是( ABCDE )
A.p→q B.p←q C.p∧q D.p∨q E.p? q 2.当p→q、q→p和﹁p∨﹁q三个公式均真时,下列公式取值为真的是( ACDE )
A.p→﹁q B.﹁p→q C.q→﹁p D.p? q E.﹁p∧﹁q
解析:由p→q和q→p得,p? q。
3.以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为( ABE )
A.p B.q C.﹁p D.﹁q E.p∨q
4.以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是( CDE )
A.s B.﹁q C.﹁q∧s D.﹁r∧s E.(﹁q∨﹁r)∧s 5.以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有( ADE )
A.二难推理的简单构成式 B.二难推理的复杂构成式 C.选言推理的肯定否定式 D.选言推理的否定肯定式 E.联言推理的组合式
解析:(p→q)∧(r→q)∧(p∨r) ├ q
q∧(﹁q∨s)├ s s, q├ s∧q
四、表解题
(一)判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。 1.(p∧﹁p)∨(p∧q)
解:做它的真值表,
34
p q ﹁p p∧﹁p p∧q 1 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 (p∧﹁p)∨(p∧q) 1 0 0 0 所以,(p∧﹁p)∨(p∧q)是协调式。 注,协调式,又叫可满足式。
2.(p∨﹁p)∧p∧q
解:做(p∨﹁p)∧p∧q的真值表。 p q ﹁p 1 1 1 0 0 1 0 0 0 0 1 1 p∨﹁p 1 1 1 1 (p∨﹁p)∧p 1 1 0 0 (p∨﹁p)∧p∧q 1 0 0 0 可见,它是可满足式。 3.(p→q)∧﹁p→q
解:做(p→q)∧﹁p→q的真值表。 p q ﹁p T T T F F T F F F F T T p→q T F T T (p→q)∧﹁p F F T T (p→q)∧﹁p→q T T T F 可见,(p→q)∧﹁p→q是可满足式。 4.A∨(A∧B)?A
解:做A∨(A∧B)?A的真值表。
A B + + + - - - + - A∧B + - - - A∨(A∧B) + + - - A∨(A∧B)?A + + + + 显然,A∨(A∧B)?A是永真式。 5.(A∧﹁B)∧(﹁A∨B)
解:做(A∧﹁B)∧(﹁A∨B)的真值表。
A B ﹁A 假 假 真 真 ﹁B 假 真 假 真 A∧﹁B 假 真 假 假 ﹁A∨B 真 假 真 真 (A∧﹁B)∧(﹁A∨B) 假 假 假 假 真 真 真 假 假 真 假 假 显见,(A∧﹁B)∧(﹁A∨B)是矛盾式。 (二)符号化以下推理,并用真值表判明它们是否是重言式。
1.如果A队在这场球赛中取胜,则A队将赢得这次联赛冠军。所以,如果A队在这场球赛中取胜,并且它继续打下面的场次,则A队将赢得这次联赛冠军。
解:令p表示A队在这场球赛中取胜,q表示A队将赢得这次联赛冠军,r表示A队继
35