以“所有P是M”、“所有S不是M”为大小前提进行三段论推理,可必然推出（）

• A、所有S不是P
• B、所有S是P
• C、有S是P
• D、有S不是P
• E、没有S不是P

设下列A、B、C三句话中一句为真，两句为假。请列出真值表并回答甲是不是工人，乙是不是营业员。

A.如果甲是工人，那么乙是营业员。

B.如果乙是营业员,那么甲是工人。

C.乙不是营业员。

p表示”甲是工人”,q表示”乙是营业员”

已知“甲不在武汉且乙在广州”与“当且仅当甲在武汉,乙才在广州”均假，下列判断中取值为真的是（）

• A、甲在武汉且乙在广州
• B、甲在武汉但乙不在广州
• C、并非“或甲在武汉或乙在广州”
• D、只有甲不在武汉,乙才在广州
• E、如果甲在武汉，那么乙在广州