决战前后（我一篇报告）

垢记裘

事先说明，这是逻辑学老师要求的一片小报告，这里贴上其中一部分，纯粹大家乐一乐
。。。。。。。。



陆小凤是怎么发现的，下面来模拟一下他的推理过程：



如果仅仅是李燕北和杜桐轩的豪赌，那么为什么会死了几个毫不相干的人？即张英风、孙老爷、公孙大娘和欧阳情（只是被害，没死）。

张英风本是去找西门吹雪的，却在太监窝被王安、麻六哥和神秘的第三个人灭口，说明在那里张英风撞见了什么不该看的东西，或者说，撞见了他们三个的密谋。

有人想误导陆小凤怀疑公孙大娘和老实和尚，所以凶手必不是公孙大娘和老实和尚，而是这个人。

陆小凤追问欧阳情得知，欧阳情发现王安曾在妓院密谋什么。知道这件事的还有孙老爷，所以孙老爷和欧阳情的被害与王安的密谋有关。

陆小凤知道叶孤城不喜欢花，但是叶孤城满身撒花，他的目的是让陆小凤意识出自己在遮掩恶臭，让陆小凤事后认为自己受伤很重。

缎带多了，进来的人就多，波斯进贡的缎带只有内部人员才能偷走，大内四大高手是不会偷的，因为人多对他们不利，那么便是王安偷的，人多了就调走了皇上身边的侍卫。

西门吹雪和叶孤城的决战时剑客们都不愿错过的，比武的进行使大内四大高手不再皇上身边。

叶孤城料到西门吹雪不会向受伤的人动手，但是忽视了想为兄报仇的唐天纵，唐天纵动手，叶孤城用替身的事件露馅，叶孤城不是临战退缩的人，所以他用替身另有目的，叶孤城在整件事中有嫌疑。



如果把这个推理过程逻辑化的话，得出下面的论证：



只有王安、麻六哥和神秘的第三个人密谋并且张英风撞见了，张英风才会被灭口

张英风、欧阳情、孙老爷被灭口了

如果叶孤城用替身，那么他是有其他事情要做并且要决战继续进行，或者是他没勇气与西门吹雪比试

叶孤城用了替身

叶孤城不会没有勇气与西门吹雪比试的

如果叶孤城有其他事情要做，那么他有阴谋

如果缎带被盗，那么不是大内四大高手偷的就是王安偷的

大内四大高手不会去偷缎带

如果王安偷缎带，那么会有更多的人来

如果来的人多了，那么皇上身边的侍卫就会被调走

如果决战进行，那么大内四大高手就不会在皇上身边

如果皇上身边侍卫调走且大内四大高手不在身边时，那么皇上就会有危险

缎带被盗

如果王安偷缎带，皇上会有危险，那么，如果王安不会对皇上不利，那么他不会偷缎带

如果王安、麻六哥和神秘的第三个人密谋并且叶孤城有阴谋，那么叶孤城可能是那个神秘的第三个人

如果王安会对皇上不利，那么王安、麻六哥和神秘的第三个人的密谋与皇上有关

当且仅当王安、麻六哥和神秘的第三个人的密谋与皇上有关，他们三个都会对皇上不利

因此，叶孤城可能对皇上不利



假设A：王安、麻六哥和神秘的第三个人密谋B：张英风撞见了他们密谋C：张英风被灭口了E：叶孤城用替身F：叶孤城是有其他事情要做G：决战继续进行H：叶孤城没勇气与西门吹雪比试I：叶孤城不会没有勇气与西门吹雪比试的J：叶孤城有阴谋K：缎带被盗L：是大内四大高手偷M：王安偷缎带N：会有更多的人来O：皇上身边的侍卫就会被调走P：大内四大高手就不会在皇上身边Q：皇上就会有危险R：叶孤城可能是那个神秘的第三个人S：王安会对皇上不利T：麻六哥会对皇上不会U：神秘的第三个人会对皇上不利V：叶孤城会对皇上不利W：王安、麻六哥和神秘的第三个人的密谋与皇上有关



下面对上面的论证给出有效的形式证明：

卤拂嵌

            好吧，我悲剧了，推理符号现实不出来，大家忽略二楼吧

卤拂嵌

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 肯定前件式