，可以推出“有些金属能导电”的真，因为两者不能同假。但由一个判断的真，并不能推出另一个判断的假。如：由“有些金属是固体”的真，并不能推出“有些金属不是固体”的假，因为两者可以同真。下反对关系可用于命题分类，可通过否命题真假判断再进行原命题的判断，从而只需逻辑判断来判定命题的正确性。