以“不可能p”为前提，根据模态逻辑方阵,可必然推出的结论是（）

• A、必然非p
• B、必然p
• C、不可能非P
• D、可能p
• E、并非必然p

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

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

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

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

(4)D上场。

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

由“工人都是劳动者”推出“有的非工人不是劳动者”,其间（）

• A、只需用换质法
• B、只需用换位法
• C、既要用换质法，又要用换位法
• D、先要用换质法
• E、先要用换位法