在逻辑学中，反对关系是指两个命题之间的一种关系，它们不能同时为真，但可以同时为假。反对关系分为上反对关系和下反对关系。

上反对关系

定义：上反对关系指的是两个全称命题，即形式为“所有S都是P”和“所有S都不是P”的命题。

特性：

这两个命题不能同时为真。

这两个命题可以同时为假。

如果一个命题为真，则另一个命题必为假。

如果一个命题为假，则另一个命题的真假不确定。

下反对关系

定义：下反对关系指的是两个存在命题，即形式为“有些S是P”和“有些S不是P”的命题。

特性：

这两个命题不能同时为假。

这两个命题可以同时为真。

如果一个命题为假，则另一个命题必为真。

如果一个命题为真，则另一个命题的真假不确定。

例子

上反对关系例子：

命题A：“所有的苹果都是红色的。”

命题B：“所有的苹果都不是红色的。”

如果A为真，则B为假；如果A为假，B的真假不确定。

下反对关系例子：

命题C：“有些苹果是红色的。”

命题D：“有些苹果不是红色的。”

如果C为假，则D为真；如果C为真，D的真假不确定。

理解上下反对关系有助于我们进行逻辑推理，特别是在处理全称和存在量词的命题时