一有效三段论,已知其大前提为PEM,则其小前提应是（）

• A、SIM
• B、SOM
• C、MOS
• D、MAS
• E、MES

已知“如果甲值班，那么乙或丙也值班”为真，则下列必然为真的是（）

• A、只有甲值班,乙或丙才值班
• B、如果乙和丙值班，那么甲也值班
• C、如果甲不值班，那么乙和丙也不值班
• D、如果乙和丙不值班，那么甲也不值班
• E、只有乙或丙值班,甲才值班

写出下列三段论的推理形式,指出其格与式,并根据三段论规则说明其是否有效。

高三甲班没有一个同学不是南京人；高三甲班没有一个不参加校运动会;所以，凡参加校运动会的同学都是南京人。