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

上反对是指两个命题不能同真，必有一假，可以同假；下反对是指两个命题不能同假，必有一真，可以同真。全称肯定（所有S都是P）和全称否定（所有S都不是P）就是一对上反对关系。 必然肯定（S必然是P）和必然否定（S必然不是P）也是上反对关系。举个例子来说明上反对关系。命题“所有的花是有毒的”与“所有的花都是无毒的”二者是上反对关系，它们不可能同时为真的，但二者可以同假。方位。

上下相反不支持反对的关系和相互矛盾对立的关系。

上下反对关系和矛盾关系都属于不相容关系，或叫全异关系，但是二者是有区别的。