上反對與下反對的區別

上反對與下反對的區別：反對關係要求可以同假，不能同真，因此可以由真推假；下反對關係要求可以同真，不能同假，因此可以由假推真。矛盾律適用於反對關係，但不適用於下反對關係；排中律適用於下反對關係，但不適用於反對關係。

命題的邏輯關係主要有三種：矛盾、推出和反對，其中反對關係又分為上反對關係和下反對關係。上反對是指兩個命題必有一假，可以同假；下反對是指兩個命題必有一真，可以同真。因為當其中一個命題真時，另一個命題在一種情況下為真，在另一種場合下為假。