命题的逻辑关系主要有三种：矛盾、推出和反对，其中反对关系又分为上反对和下反对。

上反对是指两个命题不能同真，必有一假，可以同假

下反对是指两个命题不能同假，必有一真，可以同真。

全称肯定（所有S都是P）和全称否定（所有S都不是P）就是一对上反对关系。 必然肯定（S必然是P）和必然否定（S必然不是P）也是上反对关系。

举个例子来说明上反对关系。

命题“所有的花是有毒的”与“所有的花都是无毒的”二者是上反对关系，它们不可能同时为真的，但二者可以同假。方位。