反对关系和矛盾关系都属于不相容关系，或叫全异关系，但是二者是有区别的。
矛盾关系是指对立的两种情况，没有第三种情况存在，非此即彼，非彼即此。
比如“正义战争”和“非正义战争”，不是“正义战争”一定是“非正义战争”。
反对关系是指在对立的两种情况之外，还存在其他情况，非此不一定彼，非彼不一定此。
不是“红色”，不一定就是“白色”。
有演绎推理、归纳推理、类比推理三类。
详细讲，演绎推理还分为联言推理、选言推理、假言推理、假言联言推理、假言选言推理等。
归纳推理又分为完全归纳推理和不完全归纳推理。
类比推理分为性质类比推理和关系类比推理。
A是全称肯定命题，E是全称否定命题，I是特称肯定命题，O是特称否定命题。
AO、EI是矛盾关系，不能共真假，AI、EO是差等关系，前者为真，后者则真，后者为真，则前者真假不定，AE、IO是反对关系，不能同时为真，但可同时为假。