上反对与下反对的区别：反对关系要求可以同假，不能同真，因此可以由真推假；下反对关系要求可以同真，不能同假，因此可以由假推真。矛盾律适用于反对关系，但不适用于下反对关系；排中律适用于下反对关系，但不适用于反对关系。

命题的逻辑关系主要有三种：矛盾、推出和反对，其中反对关系又分为上反对关系和下反对关系。上反对是指两个命题必有一假，可以同假；下反对是指两个命题必有一真，可以同真。因为当其中一个命题真时，另一个命题在一种情况下为真，在另一种场合下为假。