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 proposição composta é contraditória quando.