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

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

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

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

(4)D上场。

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

下列推理形式中，有效的是（）

• A、SEP→SAP
• B、SOP→POP
• C、SAP→SEP
• D、SIP→SOP
• E、SAP→PAS

以下各项属于探求因果联系“穆勒五法”的是（）

• A、剩余法
• B、求同法
• C、简单枚举归纳法
• D、反证法
• E、演绎法