【逻辑学分析证明题某国女子排球队在长期比赛和训练中,教练对主力队员之间的最佳配合,总结出以下几条规律：（1）B、D最好不同时上场；（2）如果C上场,那么最好D也上场；（3）只有B上场,】

　　逻辑学分析证明题

　　某国女子排球队在长期比赛和训练中,教练对主力队员之间的最佳配合,总结出以下几条规律：

　　（1）B、D最好不同时上场；

　　（2）如果C上场,那么最好D也上场；

　　（3）只有B上场,A才上场；

　　（4）如果E和F同时上场,那么最好C也上场.

　　请问,在需要A和F同时上场时,为了保持球场上的最佳阵容,E该不该上场?并请写出推导过程（以A表示“A上场”,「A表示“A不上场”,余类推）.