发布时间 : 星期四 文章法律逻辑学期末复习更新完毕开始阅读4e3748a7f524ccbff1218435
C. 排中律 25、“某甲不是本案的作案人。因为，如果某甲是本案的作案人，则他必定是A型血。经查，某甲并不是A型血，所以，某甲不是本案的作案人。”这里采用的是（ ）。 A. 选言证法 B. 归谬反驳法 C. 反证法
D. 直接证明法 26、“可以肯定某甲没有作案时间。因为，如果某甲有作案时间，在发案时他就不可能在车间上班，然而调查材料证明，发案时他确系在车间上班，所以可以肯定某甲没有作案时间。”这里采用的是（ ）。 A. 选言证法 B. 归谬反驳法 C. 反证法
D. 直接证明法
二、用真值表方法判定下列推理的有效性。
（1）（如果我）没有调查研究，（那么我）就没有发言权；我调查研究了。所以，我当然有发言权。
（2）如果子弹是从窗外射入的，那么就会在窗对面的墙上留下弹痕；子弹不是从窗外射入的。因此，窗对面的墙上不会有弹痕。
（3）只有违反法律才构成犯罪，某甲的行为违反了法律。所以，某甲的行为构成了犯罪。
（4）如果李某是犯罪后自首的，当然对李某应从轻处罚，但事实是李某并不具有犯罪后自首的情节，因此根本不能考虑对李某从轻出处罚的问题。
三、写出下列推理的形式，并用三段论规则，判定其是否正确，如不正确，它违反了哪条规则。
（1）凡审判员都在法院工作，这些人在法院工作，所以，这些人是审判员。
(2) 所有想出国的人都要学好外语，我又不想出国，所以，我不用学好外语。
(3)你说谎，凡卖国贼都说谎，所以，你是卖国贼。
（4）所有法律系的学生都要学习法律，我又不是法律系学生，所以，我不用学习法律。
四、运用命题逻辑的自然推理系统，解决下面问题。
1、一件谋杀案，经过周密调查得到下面事实： （1）凶手是甲或者乙。
（2）若凶手是甲，则谋杀不会发生在午夜前。
（3）若乙的供词正确，则谋杀发生在午夜前。
（4）若乙的供词不正确，则在午夜前受害者房里的灯光未灭。 （5）在午夜前受害者房里的灯光灭了。 请问：到底谁是凶手？写出推理过程。
2、某侦察机关掌握如下情况：
（1）间谍只能是甲或乙，不可能是别人。
（2）或者甲不是间谍，或者会议记录没有被泄露。
（3）会议召开时没有人中途离席，而甲此时在会场并没有出去打电话。 （4）若机要员证词真实，则会议记录被泄露。
（5）或者会议召开时有人中途离席，或者机要员证词真实。 请问：谁是间谍？写出推理过程。