某排球队有A、B、C、D、E和F等六名主力球员。他们之间的最佳配合有如下几条规律： (1)要是C上场，D也要上场； (2)只有A不上场，B才不上场； (3)要么B上场，要么D上场； (4)如果E和F同时上场，则C也要上场。 某场比赛要A和F同时上场。 问：为了保持最佳阵容，这场比赛中，E该不该上场？写出推导过程。

某排球队有A、B、C、D、E和F等六名主力球员。他们之间的最佳配合有如下几条规律： (1)要是C上场，D也要上场； (2)只有A不上场，B才不上场； (3)要么B上场，要么D上场； (4)如果E和F同时上场，则C也要上场。 某场比赛要A和F同时上场。 问：为了保持最佳阵容，这场比赛中，E该不该上场？写出推导过程。

设A表示“A上场”，依此类推，则可以构建自然推理如下： （1）¬A←¬B，A∧F，B∨D，C→D┝B∧¬D∧¬C； （2）（E∧F→C）∧¬C┝¬（E∧F）； （3）¬（E∧F）∧（A∧F）┝¬E； 所以E不上场。