Contradicción
Resumen inicial
Definición, identificación y propiedades de las contradicciones lógicas como proposiciones falsas en todas sus interpretaciones posibles.
Explicación en palabras simples
Una contradicción (o falsedad lógica) es lo opuesto exacto a una tautología: es una afirmación que resulta siempre Falsa ($F$), sin importar los valores de las proposiciones simples que la forman. Cuando construyes su tabla de verdad, todas las filas de la columna final son $F$. Un ejemplo clásico es: "Hoy llueve y hoy no llueve" ($p \land \neg p$); es imposible que ambas cosas ocurran al mismo tiempo, por lo que la afirmación es universalmente falsa.
Explicación formal
Definición formal
En el cálculo proposicional, una fórmula bien formada $\Phi(p_1, \dots, p_n)$ es una contradicción (o falsedad lógica formal, o fórmula insatisfacible), denotada formalmente como:
$$\Phi \equiv \bot$$
si y solo si para toda asignación veritativa o modelo $\mathcal{M} \in \mathbb{V}^n$, la función de verdad asigna el valor falso:
$$\forall \mathcal{M}, \quad v_\mathcal{M}(\Phi) = F$$
En el álgebra de Boole, el vector columna principal satisface $\mathbf{v}(\Phi) = \mathbf{0} = [F, F, \dots, F]^T$.
Desglose simbólico
- Símbolo canónico: $\bot$ (falsedad o bottom).
- Contradicción básica de no contradicción: $p \land \neg p \equiv \bot$.
- Contradicción por bicondicional opuesto: $p \leftrightarrow \neg p \equiv \bot$.
- Insatisfacibilidad: Ninguna asignación de verdad logra satisfacer a $\Phi$.
Síntesis didáctica
Una contradicción es una imposibilidad estructural del pensamiento deductivo. Afirmar una contradicción invalida cualquier argumento matemático formal.
La alternativa correcta es 'Falso ($F$) en la totalidad de las filas'. Una contradicción es universalmente falsa en toda interpretación.
Definiciones clave
- Contradicción ($\Phi \equiv \bot$): Proposición compuesta que es falsa en el 100% de las filas de su tabla de verdad.
- Insatisfacibilidad: Ausencia total de modelos o combinaciones que hagan verdadera a la fórmula.
- Antilogía: Denominación alternativa utilizada en lógica clásica para referirse a una contradicción estructural.
Propiedades y relaciones importantes
- Principio de Explosión (Ex contradictione quodlibet): De una contradicción se puede deducir válidamente cualquier proposición $(\bot \to q \equiv V)$.
- Dualidad con la tautología: La negación de una contradicción es una tautología ($\neg \bot \equiv \top$).
Ejemplo guiado
Demuestra mediante tabla de verdad que la fórmula $\Phi = (p \lor q) \land (\neg p \land \neg q)$ es una contradicción.
- Paso 1: Disponer las $4$ combinaciones canónicas para $p$ y $q$.
- Paso 2: Calcular la subcolumna $(p \lor q)$: $[V, V, V, F]^T$.
- Paso 3: Calcular la subcolumna $(\neg p \land \neg q)$: - Fila 1 ($F \land F$): $F$ - Fila 2 ($F \land V$): $F$ - Fila 3 ($V \land F$): $F$ - Fila 4 ($V \land V$): $V$. Vector: $[F, F, F, V]^T$.
- Paso 4: Evaluar la conjunción principal entre ambas columnas: - Fila 1: $V \land F = F$ - Fila 2: $V \land F = F$ - Fila 3: $V \land F = F$ - Fila 4: $F \land V = F$
- Paso 5: Concluir que el vector resultante es $[F, F, F, F]^T$, demostrando formalmente que la fórmula es una contradicción lógica.
La alternativa correcta es '$p \land \neg p$'. Afirmar simultáneamente una proposición y su negación es imposible, dando siempre $F$.
Procedimiento
- Paso 1: Construir la tabla de verdad completa con todas sus interpretaciones posibles ($2^n$ filas).
- Paso 2: Calcular metódicamente las columnas intermedias de las subfórmulas.
- Paso 3: Evaluar la columna del conectivo principal.
- Paso 4: Verificar la columna principal; si el $100\%$ de los valores son $F$, clasificar la fórmula como contradicción.
Errores frecuentes y cómo corregirlos
- Error 1: Clasificar una fórmula como contradicción si tiene en su mayoría valores $F$ pero al menos un $V$. Cómo corregirlo: Si existe una sola fila con valor $V$, la fórmula ya no es contradicción sino una contingencia.
- Error 2: Creer que una contradicción es simplemente una afirmación falsa sobre el mundo real. Cómo corregirlo: En lógica, una contradicción es formalmente falsa por su estructura sintáctica independientemente de los hechos empíricos.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Fila 1 ($V \land F = F$).
- Fila 2 ($F \land V = F$).
- Todas las filas son $F$.
- Sí, al negar un vector compuesto exclusivamente por $V$ se obtiene un vector compuesto exclusivamente por $F$.
- Sí, pues $V \leftrightarrow F = F$ y $F \leftrightarrow V = F$.
- No, por definición carece de asignaciones que la satisfagan.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Identificar, demostrar y clasificar fórmulas proposicionales contradictorias ($\Phi \equiv \bot$).
Construir la tabla de verdad y comprobar que el vector de la columna principal esté compuesto enteramente por valores $F$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué afirmación clave conviene recordar sobre contradicción?
La afirmación correcta es: La columna final de una contradicción contiene solo F.. Esa observación ayuda a usar bien el concepto.
Respuesta: La columna final de una contradicción contiene solo F.
-
¿Qué describe mejor contradicción?
La definición correcta es: una contradicción es una proposición compuesta que resulta falsa en todas las filas. Esa es la idea central de contradicción.
Respuesta: una contradicción es una proposición compuesta que resulta falsa en todas las filas
-
¿Cuál de los siguientes casos ejemplifica mejor contradicción?
El ejemplo correcto es: p ∧ ¬p es una contradicción.. Ese caso representa adecuadamente contradicción.
Respuesta: p ∧ ¬p es una contradicción.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifica la opción que corresponde a contradicción.
Se reconoce contradicción en el ejemplo: p ∧ ¬p es una contradicción..
Respuesta: p ∧ ¬p es una contradicción.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es correcto afirmar que una contradicción es una proposición compuesta que resulta falsa en todas las filas?
Verdadero. Esa es justamente la definición de contradicción.
Respuesta: Verdadero
-
¿El caso “p ∧ ¬p es una contradicción” corresponde a contradicción?
Verdadero. El ejemplo dado es una aplicación directa de contradicción.
Respuesta: Verdadero
-
¿La afirmación “La negación trabaja con una sola variable proposicional.” describe contradicción?
Falso. Contradicción se describe mejor así: una contradicción es una proposición compuesta que resulta falsa en todas las filas. La afirmación propuesta corresponde a otra idea.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En una guía PAES, una estudiante debe reconocer contradicción. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: p ∧ ¬p es una contradicción.. Ese caso representa contradicción sin ambigüedad.
Respuesta: p ∧ ¬p es una contradicción.
-
Un profesor escribe la afirmación “La columna final de una contradicción contiene solo F”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Contradicción, porque su idea clave es: La columna final de una contradicción contiene solo F..
Respuesta: Contradicción
-
En un control se pide identificar la definición correcta de contradicción. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: una contradicción es una proposición compuesta que resulta falsa en todas las filas.
Respuesta: una contradicción es una proposición compuesta que resulta falsa en todas las filas