什麼是上下反對關係與矛盾關係

命題的邏輯關係主要有三種：矛盾、推出和反對，其中反對關係又分為上反對和下反對。

上反對是指兩個命題不能同真，必有一假，可以同假

下反對是指兩個命題不能同假，必有一真，可以同真。

全稱肯定（所有S都是P）和全稱否定（所有S都不是P）就是一對上反對關係。 必然肯定（S必然是P）和必然否定（S必然不是P）也是上反對關係。

舉個例子來説明上反對關係。

命題“所有的花是有毒的”與“所有的花都是無毒的”二者是上反對關係，它們不可能同時為真的，但二者可以同假。方位。