作业帮 > 数学 > 作业

法律逻辑学相关题目,ABCDEF六个人是某案证人,法庭决定:1.只有当A和B出庭作证时,C才出庭作证2.如果B出庭作证,

来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/08/17 18:26:46
法律逻辑学相关题目,
ABCDEF六个人是某案证人,法庭决定:
1.只有当A和B出庭作证时,C才出庭作证
2.如果B出庭作证,那么D不出庭作证
3.或者D出庭作证,或者E出庭作证
4.如果E和F出庭作证,那么C不出庭作证
问,当C出庭作证时,F是否出庭作证?
请写出推导过程,并指出哪些证人应出庭作证
法律逻辑学相关题目,ABCDEF六个人是某案证人,法庭决定:1.只有当A和B出庭作证时,C才出庭作证2.如果B出庭作证,
我用几分钟时间给你做一下,仅供参考
设,A出庭作证为a,B出庭作证为b.F出庭作证为f.
那么以上题目可转化为以下逻辑表达式:
1,(a∧ b)←c (已知)
2,b→˜ d (已知)
3,d∨e (已知)
4,(e∧ f)→˜c (已知)
5,c (已知)
6,˜ (e∧f) (由4,5可知,根据充分条件假言推理否定后件式)
7,e∨˜ f (由6可得,根据德摩.根律)
8,a∧b (由1,5可得,根据必要条件假言推理的肯定后件式)
9,a,b (由8可得,根据联言推理的分解式)
10,˜d (由2,9可得,根据充分条件假言推理的肯定前件式)
11,e (由3,10可得,根据选言推理否定肯定式)
12,˜ f (由7,11可得,原理同上一步)
故,F不出庭作证