17．何谓特称命题、反对关系命题、小反对关系命题和矛盾命题

有一些命题，它们的词项一样，排列顺序一样，但却无论在量的方面还是在质的方面都不相同。在这些命题中，有些被称作特称的，其他的则被称作反对关系的、小反对关系的和矛盾的。

特称的（subaltern），是那些具有同质的普遍的和特殊的命题。如每个人都是一个生物，某人是一个生物；或者如没有任何一个人是聪明的，某人是不聪明的。在这些命题中，如果普遍命题为真，特殊命题就也将为真。42

反对关系的（contrary），是那些具有不同质的普遍命题。如每个人都是幸福的，没有任何一个人是幸福的。在这些命题中，如果一个为真，另一个便为假。它们也可能两个都是假的，上述例证即是如此。

小反对关系的（subcontrary），是那些具有不同质的特殊命题。如有些人是有学问的，某人是没有学问的。它们不可能两个都是假的，但它们却可能两个都是真的。

矛盾的（contradictory），是那些在量和质两个方面都不相同的命题。如每一个人都是一个生物，某人不是一个生物。它们既不能两个同时都为真，也不能两个同时都为假。