如一有效三段论的小前提是否定命题，则其大前只能是（）。

单项选择题下列关系中同时具有对称性和传递性的是（）。

A.命题间的蕴涵关系
B.命题间的等值关系
C.命题间的矛盾关系
D.概念间的真包含关系

单项选择题当“有A不是B”假而“有B不是A”真时，A与B的外延关系应为（）。

A.全同
B.交叉
C.A真包含于B
D.全异

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

A.没有 S 不是 P
B.所有 S 是 P
C.有 S 是 P
D.有 S 不是 P

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

A.违反同一律的要求
B.违反矛盾律的要求
C.违反排中律的要求
D.不违反逻辑规律的要

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

A.某厂有的工作人员是工程师
B.并非某厂有的工作人员是工程师
C.有的非工程师是某厂工作人员
D.并非某厂所有工作人员都是工程师