法律邏輯學相關題目,ABCDEF六個人是某案證人,法庭決定：1.只有當A和B出庭作證時,C才出庭作證2.如果B出庭作證,

題目：

法律邏輯學相關題目,
ABCDEF六個人是某案證人,法庭決定：
1.只有當A和B出庭作證時,C才出庭作證
2.如果B出庭作證,那麼D不出庭作證
3.或者D出庭作證,或者E出庭作證
4.如果E和F出庭作證,那麼C不出庭作證
問,當C出庭作證時,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不出庭作證