O princípio da não contradição, inicialmente formulado por Aristóteles (384-322 a.C.), permanece como um dos sustentáculos da lógica clássica. Uma ...

Uma proposição composta é contraditória quando possui uma contradição lógica interna, ou seja, quando é impossível que todas as suas partes sejam verdadeiras ao mesmo tempo. Isso significa que a proposição contém elementos que se opõem ou negam uns aos outros, levando a uma contradição lógica.