如果结论是全称命题，那么能否推出前提一定有特称命题

举例说明：
“所有乌鸦都是黑的。”这是一个全称命题，有了这个前提我们就能够推出：“有些乌鸦是黑的。”但反过来，从“有些乌鸦是黑的”推出“所有乌鸦都是黑的”就是错的。简言之，全称到特称是合乎逻辑的演绎，但特称到全称你就得当心。
以“北半球的乌鸦都是黑的”和“南半球的乌鸦都是黑的”两个特称判断为前提，可以推出“所有乌鸦都是黑的”这个全称命题必然为真。这就是一种前提里有特称命题的推理。但不一定非得这样，当“天下乌鸦一般黑”这个命题为真时，“所有乌鸦都是黑的”也必然为真，这也就是结论全称、前提同样全称的情况（形式逻辑中有一个“同一律”）。除此之外，还可以由一组单称判断推导出一个主项为有限外延的全称判断。综合起来，共有三种情况，前提可能是全称判断、特称判断或单称判断三种，所以就不一定是特称判断。

以上分析都建立在谓项（就是除主语外的部分，此处即“是黑的”）相同、主项具有包含被包含关系的基础上。

同一素材的命题间，存在真假关系。

同一素材直言命题间的真假关系，称为对当关系。对当关系可用下面的方形图刻画，这个方形图，称为逻辑方阵。
A 反对关系 E

从 从
属 属
关 关
系 系

I 下反对关系 O

第一，具有矛盾关系的两个命题，不能同真，也不能同假。
第二，具有反对关系的命题，不能同真，可以同假。
第三，具有下反对关系的命题，可以同真，不能同假。
第四，具有从属关系的命题，一个是全称命题，另一个是特称命题，全称命题蕴涵特称命题。如果全称命题真，则特称命题真。如果全称命题假，则特称命题真假不定。如果特称命题