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: