在“有的S是P”这个特称肯定判断中,量项“有的”的逻辑含义是（）

• A、“一部分”
• B、“少数”
• C、“至少有一个”
• D、“大多数”

有一个工业公司，组织它下属的甲、乙、丙三个工厂联合试制一项新产品。关于新产品生产出来后的鉴定办法,在合同中作了如下规定:

(1)如果乙工厂不参加鉴定,那么甲工厂也不参加。

(2)如果乙工厂参加鉴定，那么甲工厂和丙工厂也要参加。

问:当甲工厂参加鉴定时，丙工厂是否参加?为什么?

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

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