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

(1)A和B至少有一人上场;

(2)如果C不上场，则B也不上场;

(3)要么C上场，要么D上场;

(4)D上场。

请问:按照教练确定的原则，A是否上场?写出推导过程(设A表示“A上场”，表示“A不上场”,其他类同)。

根据论证的方法不同,可以将论证分为直接论证和（）

• A、归纳论证
• B、演绎论证
• C、间接论证
• D、求同法

这两个逻辑公式中,它们的（）

• A、变项和逻辑常项相同
• B、变项不同但逻辑常项相同
• C、逻辑常项不同但变项相同
• D、变项和逻辑常项都不同