逻辑学分析证明题

题目

逻辑学分析证明题
某国女子排球队在长期比赛和训练中,教练对主力队员之间的最佳配合,总结出以下几条规律：
（1）B、D最好不同时上场；
（2）如果C上场,那么最好D也上场；
（3）只有B上场,A才上场；
（4）如果E和F同时上场,那么最好C也上场.
请问,在需要A和F同时上场时,为了保持球场上的最佳阵容,E该不该上场?并请写出推导过程（以A表示“A上场”,「A表示“A不上场”,余类推）.

答案

E不该上场
推理如下
由题意知：
1,A
2,F
设E上场
3,E
4,C 由2,3,（4)
5,D 由4,（2）
6,「B 由5,（1）
7,「A 由6,（2）
7与2矛盾,故所设不真,E不该上场