某排球队教练研究某次比赛的出场名单时，对n个主力队员确定了下列原

某排球队教练研究某次比赛的出场名单时，对n个主力队员确定了下列原则：(1)A和B至少有一人上场;(2)如果c不上场，则B也不上场;(3)要么C上场，要么D卜场;(4)D上场。请问：按照教练确定的原则，A是否上场?写出推导过程(设A表示“A上场”，表示“A不上场”，其他类同)。
【正确答案】：(1)AVB 已知前提(2)┐C→┐B已知前提(3)CṼD 已知前提(4)D 已知前提(5)┐C 由(3)(4)得，根据不相容选言推理的肯定否定式(6)┐B 由(2)(5)得，根据允分条件假言推理的肯定前件式(7)A 由(1)(6)得，根据选占推理的否定肯定式所以，A要上场。