Por ejemplo:
P1 = Todos los hombres son libres.
P2 = Algún hombre no es libre.
La contradicción existente entre estos dos enunciados categóricos exige que, de la verdad del segundo (P2) se deduzca la falsedad del primero (P1); o bien, que el segundo (P2) sea la refutación del primero (P1).
La lógica impide aceptar la verdad de un enunciado o proposición y la de su contradictorio, por el principio de no contradicción. La oposición lógica entre proposiciones contradictorios exige que, si uno es verdadero, el otro ha de ser falso y, si uno es falso, el otro ha de ser verdadero.
Otro ejemplo:
P3 = Todos los átomos tienen electrones
P4 = Algún átomo no tiene electrones
♦ Para el adjetivo ver: contradictorio.
Enviar comentario o duda sobre «contradictoria»
También puedes usar el asistente de IA si prefieres una respuesta inmediata.