第1个回答 2011-06-11
我用几分钟时间给你做一下,仅供参考
设,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不出庭作证
可以加QQ348610960交流本回答被提问者采纳