反对关系和矛盾关系都属于不相容关系，或叫全异关系，但是二者是有区别的。
1、矛盾关系：
矛盾关系是指对立的两种情况，没有第三种情况存在，非此即彼，非彼即此。比如“正义战争”和“非正义战争”，不是“正义战争”一定是“非正义战争”。
2、反对关系：
反对关系是指在对立的两种情况之外，还存在其他情况，非此不一定彼，非彼不一定此。比如“红色”和“白色”。不是“红色”，不一定就是“白色”。
必然P和必然非P是一对矛盾。必然P 和可能非p 不是一对矛盾。由此可以分析，必然P，或者P，或者非P。它们之间不是对立的，并且在命题前项中P已经是必然事实，命题后项可能非p 并不是一个被确定的事实。
必然是小明偷的， 必然不是小明偷的。是矛盾关系。
若小明是人，必然不是小明偷的，即，除小明之外的其他人偷的。文中并未表明小明是一个人的名字，还是一些人的名称，或是多少人的名称。并且，文中并未表明小明是人。所以，必然是小明偷的， 必然不是小明偷的，是矛盾关系。但必然是小明偷的，必然是别人偷的，则不是一对矛盾关系。

扩展资料：
逻辑学是一个哲学分支学科。其是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑—抽象逻辑—具象
逻辑与抽象逻辑相统一的对称逻辑三大阶段。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性；
思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，
抽象思维的三种基本形式是概念，命题和推理。
逻辑学是关于推理和论证的科学，它的主要任务是提供识别有效的推理、论证与无效的推理、论证的标准，并教会人们正确地进行推理和论证，识别、揭露和反驳错误的推理和论证。
逻辑学是一门关于推理或论证的学问。它主要研究推理的有效性或正确性问题。推理的有效性或正确性是指推理形式的有效性或正确性，因此，逻辑学的主要研究对象是推理形式及其规律。
逻辑学的主要任务是系统地研究正确推理的形式及其规律，为判定推理形式是否正确提供判定方法或检验程序，为有效推理提供推导规则或推导方法。法律逻辑是一门逻辑学与法学交叉的学科，是一门以法律推理为主要研究对象的学科。它主要研究法律推理的规律、规则和方法。它是一门尚处创建阶段且正在迅速发展的学科。