Quando se versa acerca de equivalência lógica, algumas situações são consideradas como basilares, como é o caso da conjunção de uma premissa para com ela mesma. Nesse sentido, quando se observa a equivalência lógica na qual uma proposição P em disjunção com uma proposição Q é o mesmo que uma proposição Q em disjunção com uma proposição P, tem-se o seguinte caso: