如果甲乙两灯都亮，那么丙灯就一定亮;但是丙灯没有亮,由此可见（）

• A、甲乙两灯都没有亮
• B、甲灯亮,但是乙灯没有亮
• C、乙灯亮,但是甲灯没有亮
• D、甲乙两灯至少有一个没有亮

“因为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不上场”,其他类同)。