法律逻辑学相关题目,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出庭作证,那么D不出庭作证
3.或者D出庭作证,或者E出庭作证
4.如果E和F出庭作证,那么C不出庭作证
问,当C出庭作证时,F是否出庭作证?
请写出推导过程,并指出哪些证人应出庭作证
![法律逻辑学相关题目,ABCDEF六个人是某案证人,法庭决定:1.只有当A和B出庭作证时,C才出庭作证2.如果B出庭作证,](/uploads/image/z/16013770-34-0.jpg?t=%E6%B3%95%E5%BE%8B%E9%80%BB%E8%BE%91%E5%AD%A6%E7%9B%B8%E5%85%B3%E9%A2%98%E7%9B%AE%2CABCDEF%E5%85%AD%E4%B8%AA%E4%BA%BA%E6%98%AF%E6%9F%90%E6%A1%88%E8%AF%81%E4%BA%BA%2C%E6%B3%95%E5%BA%AD%E5%86%B3%E5%AE%9A%EF%BC%9A1.%E5%8F%AA%E6%9C%89%E5%BD%93A%E5%92%8CB%E5%87%BA%E5%BA%AD%E4%BD%9C%E8%AF%81%E6%97%B6%2CC%E6%89%8D%E5%87%BA%E5%BA%AD%E4%BD%9C%E8%AF%812.%E5%A6%82%E6%9E%9CB%E5%87%BA%E5%BA%AD%E4%BD%9C%E8%AF%81%2C)
我用几分钟时间给你做一下,仅供参考
设,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不出庭作证
设,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不出庭作证
英语翻译刑事诉讼免证权制度是现代法治国家证据制度的重要组成部分,是对证人出庭作证义务的补充和限制.目前世界各国的刑事诉讼
做什么是每个公民应尽的义务?比如:出庭作证等.人们常说的一句话.
英语翻译[摘要]在刑事案件中证人能否出庭作证并且所作的证言往往对查明案件事实的真相有着重要的意义,但是我国目前的刑事证人
塔机搭拆证,能当塔机操作证用吗?
塔机装拆证,能当塔机操作证用吗
英语翻译从目前情况来看,近些年来证人出庭率偏低的问题在司法实践中非常突出,证人出庭率低已经成为严重困扰审判方式的重大问题
火星有卫星吗有图可作证
对于特种作业操作证复审周期
学化工可以考什么操作证
上帝为我作证 英语怎么翻译
上帝作证,我是一个好姑娘...英文翻译
学化工可以考哪些操作证