武侠网
标题:
决战前后(我一篇报告)
[打印本页]
作者:
垢记裘
时间:
2019-5-3 15:15
标题:
决战前后(我一篇报告)
事先说明,这是逻辑学老师要求的一片小报告,这里贴上其中一部分,纯粹大家乐一乐
。。。。。。。。
陆小凤是怎么发现的,下面来模拟一下他的推理过程:
如果仅仅是李燕北和杜桐轩的豪赌,那么为什么会死了几个毫不相干的人?即张英风、孙老爷、公孙大娘和欧阳情(只是被害,没死)。
张英风本是去找西门吹雪的,却在太监窝被王安、麻六哥和神秘的第三个人灭口,说明在那里张英风撞见了什么不该看的东西,或者说,撞见了他们三个的密谋。
有人想误导陆小凤怀疑公孙大娘和老实和尚,所以凶手必不是公孙大娘和老实和尚,而是这个人。
陆小凤追问欧阳情得知,欧阳情发现王安曾在妓院密谋什么。知道这件事的还有孙老爷,所以孙老爷和欧阳情的被害与王安的密谋有关。
陆小凤知道叶孤城不喜欢花,但是叶孤城满身撒花,他的目的是让陆小凤意识出自己在遮掩恶臭,让陆小凤事后认为自己受伤很重。
缎带多了,进来的人就多,波斯进贡的缎带只有内部人员才能偷走,大内四大高手是不会偷的,因为人多对他们不利,那么便是王安偷的,人多了就调走了皇上身边的侍卫。
西门吹雪和叶孤城的决战时剑客们都不愿错过的,比武的进行使大内四大高手不再皇上身边。
叶孤城料到西门吹雪不会向受伤的人动手,但是忽视了想为兄报仇的唐天纵,唐天纵动手,叶孤城用替身的事件露馅,叶孤城不是临战退缩的人,所以他用替身另有目的,叶孤城在整件事中有嫌疑。
如果把这个推理过程逻辑化的话,得出下面的论证:
只有王安、麻六哥和神秘的第三个人密谋并且张英风撞见了,张英风才会被灭口
张英风、欧阳情、孙老爷被灭口了
如果叶孤城用替身,那么他是有其他事情要做并且要决战继续进行,或者是他没勇气与西门吹雪比试
叶孤城用了替身
叶孤城不会没有勇气与西门吹雪比试的
如果叶孤城有其他事情要做,那么他有阴谋
如果缎带被盗,那么不是大内四大高手偷的就是王安偷的
大内四大高手不会去偷缎带
如果王安偷缎带,那么会有更多的人来
如果来的人多了,那么皇上身边的侍卫就会被调走
如果决战进行,那么大内四大高手就不会在皇上身边
如果皇上身边侍卫调走且大内四大高手不在身边时,那么皇上就会有危险
缎带被盗
如果王安偷缎带,皇上会有危险,那么,如果王安不会对皇上不利,那么他不会偷缎带
如果王安、麻六哥和神秘的第三个人密谋并且叶孤城有阴谋,那么叶孤城可能是那个神秘的第三个人
如果王安会对皇上不利,那么王安、麻六哥和神秘的第三个人的密谋与皇上有关
当且仅当王安、麻六哥和神秘的第三个人的密谋与皇上有关,他们三个都会对皇上不利
因此,叶孤城可能对皇上不利
假设A:王安、麻六哥和神秘的第三个人密谋B:张英风撞见了他们密谋C:张英风被灭口了E:叶孤城用替身F:叶孤城是有其他事情要做G:决战继续进行H:叶孤城没勇气与西门吹雪比试I:叶孤城不会没有勇气与西门吹雪比试的J:叶孤城有阴谋K:缎带被盗L:是大内四大高手偷M:王安偷缎带N:会有更多的人来O:皇上身边的侍卫就会被调走P:大内四大高手就不会在皇上身边Q:皇上就会有危险R:叶孤城可能是那个神秘的第三个人S:王安会对皇上不利T:麻六哥会对皇上不会U:神秘的第三个人会对皇上不利V:叶孤城会对皇上不利W:王安、麻六哥和神秘的第三个人的密谋与皇上有关
下面对上面的论证给出有效的形式证明:
作者:
卤拂嵌
时间:
2019-5-3 15:16
1、C A∙B
2、C
3、E [(F∙G) H]
4、~H
5、F J
6、K (L M)
7、~L
8、M N
9、N O
10、G P
11、O∙P Q
12、K
13、(M Q) (~S ~M)
14、A∙J R
15、S W
16、W≡S∙T∙U
17、E
18、R (U≡V)
V
1、C A∙B
2、C
3、E [(F∙G) H]
4、~H
5、F J
6、K (L M)
7、~L
8、M N
9、N O
10、G P
11、O∙P Q
12、K
13、(M Q) (~S ~M)
14、A∙J R
15、S W
16、W≡S∙T∙U
17、E
18、R (U≡V)
V
19、A∙B 1 2 肯定前件式
20、(F∙G) H 3 17 肯定前件式
21、F∙G 4 20 析取三段论
22、F 21 简化律
23、J 5 22肯定前件式
24、L M 6 12肯定前件式
25、M 7 24析取三段论
26、M O 8 9 假言三段论
27、O 26 25 肯定前件式
28、G 21 简化律
29、P 10 28 肯定前件式
30、O∙P 27 29 合取律
31、Q 11 30 肯定前件式
32、~M Q 31 附加律
33、M Q 32 实质蕴含律
34、~S ~M 13 33 肯定前件式
35、S 25 34 否定后件式
36、W 15 35 肯定前件式
37、S∙T∙U 16 36 肯定前件式
38、A 19 简化律
39、A∙J 23 38 合取律
40、R 14 39 肯定前件式
41、U≡V 18 40 肯定前件式
42、U 37 简化律
43、V 41 42 肯定前件式
作者:
卤拂嵌
时间:
2019-5-3 15:17
好吧,我悲剧了,推理符号现实不出来,大家忽略二楼吧
欢迎光临 武侠网 (http://wuxia7.com/)
Powered by Discuz! X3.2