某排球队教练研究某次比赛的出场名单时，对n个主力队员确定了下列原则： ①A和B至少有一人上场； ②如果C不上场，则B也不上场； ③要么C上场，要么D上场； ④D上场。 [请问] 按照教练确定的原则，A是否上场写出推导过程(设A表示“A上场”，
表示“A不上场”，其他类同)。

【参考答案】

①A∨B 已知前提 ② 已知前提 ③CD 已知前提 ④D 已知前提 ⑤ 由③④得，根据不相容选言推理的肯定否定式 ⑥ 由②⑤得，根据充分条件假言推理的肯定前件式 ⑦A 由①⑥得，根据选言推理的否定肯定式。 所以，A要上场。