问答题 某排球队有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，BVD，c→DⱵB^┐D^┐C;　　

(2)(E^F→C)^┐CⱵ┐(F^F);　　

(3)┐(E^F)^(A^F)Ⱶ┐E;　　

所以，E不上场。