// leyes y reglas · Ley fundamental
Principio de no contradicción_
El principio de no contradicción afirma que ninguna proposición puede ser verdadera y falsa al mismo tiempo. Su formalización, ¬(p ∧ ¬p), es una tautología, y es el fundamento sobre el que descansa la consistencia de cualquier sistema formal.
Ejemplo
¬(p ∧ ¬p)
Significado de las variables
- ▸ p: «La puerta está abierta»
En palabras
Es imposible que la puerta esté abierta y cerrada a la vez, en el mismo sentido y en el mismo instante.
Tabla de verdad
| p | ¬p | p ∧ ¬p | ¬(p ∧ ¬p)★ |
|---|---|---|---|
| V | F | F | V |
| F | V | F | V |
Clasificación: Tautología · 2 filas
Enunciado
La ley afirma que ¬(p ∧ ¬p) es verdadera para toda proposición p. Aristóteles lo formuló como «es imposible que algo sea y no sea al mismo tiempo y en el mismo sentido», y lo consideró el principio más firme de todos.
Nótese la diferencia con p ∧ ¬p: esa fórmula, sin la negación exterior, es una contradicción —falsa en todas las filas—. El principio es precisamente su negación, y por eso es tautología.
Por qué es válida: lectura de la tabla
Fila 1 (p = V): ¬p es F, la conjunción V ∧ F es F, y su negación es V. Fila 2 (p = F): ¬p es V, la conjunción F ∧ V es F, y su negación vuelve a ser V.
En ninguna fila puede la conjunción ser verdadera, porque exigiría que p y su negación coincidieran en valor, algo imposible por definición de la negación.
Por qué importa: el principio de explosión
En lógica clásica, de una contradicción se sigue cualquier cosa: es el principio conocido como ex falso quodlibet o «explosión». Si un sistema permite derivar p y ¬p, puede demostrarse absolutamente todo y el sistema pierde cualquier utilidad.
Por eso la consistencia —no poder derivar una contradicción— es el requisito mínimo que se exige a cualquier teoría formal, y verificarla es una parte central de la lógica matemática.
Ejemplos
Cotidiano: «el vuelo salió puntual y el vuelo no salió puntual» no puede ser cierto; una de las dos afirmaciones es falsa.
Programación: una condición como `x > 10 && x <= 10` nunca se cumple. Los compiladores y linters detectan estas contradicciones porque indican código inalcanzable.
Relación con otras leyes
Es el dual del tercero excluido: aplicando De Morgan a ¬(p ∧ ¬p) se obtiene ¬p ∨ ¬¬p, que por doble negación es ¬p ∨ p.
Las lógicas paraconsistentes debilitan este principio para poder razonar con información contradictoria sin que el sistema explote, algo útil en bases de datos con fuentes en conflicto.
Pruébalo tú mismo
Modifica la expresión en la calculadora y observa cómo cambia cada paso de la tabla.
Abrir en la calculadora →Operadores relacionados
Preguntas frecuentes
¿Cuál es la diferencia entre este principio y p ∧ ¬p? ▼
p ∧ ¬p es una contradicción, falsa en todas las filas. El principio es su negación, ¬(p ∧ ¬p), y por eso es una tautología.
¿Qué es el principio de explosión? ▼
La regla clásica según la cual de una contradicción se deduce cualquier proposición. Es la razón por la que la consistencia es tan importante.
¿Existen lógicas que lo rechacen? ▼
Sí, las paraconsistentes. Permiten manejar contradicciones locales sin que todo el sistema se vuelva trivial, algo útil al integrar fuentes de datos en conflicto.