下列三段论形式中,第三格的有效式为（）

• A、EAO
• B、IAI
• C、AEE
• D、EAE
• E、AAA

“因为p蕴涵q并且q蕴涵r,所以ρ蕴涵r。”这一推理式是（）

• A、对称关系推理
• B、禁对称关系推理
• C、传递关系推理
• D、禁传递关系推理

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

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

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

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

(4)D上场。

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