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

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

“要奋斗就会有牺牲”这一判断属于

• A、直言判断
  
  

• B、联言判断
  
  

• C、充分条件假言判断
  
  

• D、必要条件假言判断
  
  

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

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