单项选择题 以“所有P是M”、“所有S不是M”为大小前提，进行三段论推理，可必然推出（）。

单项选择题 “所有S都不是P并且这个S是P”这一断定（）

单项选择题 运用性质命题变形直接推理，从“某厂有的工作人员不是非工程师”可以必然推出（）。