形式逻辑的一道选择题"所有S是P"与"有的S不是P":a逻辑常项相同但变项不同;b逻辑常项不同但变项相同;c逻辑常项与变