Tautología
Resumen inicial
Definición, identificación y propiedades de las tautologías como proposiciones universalmente verdaderas en todas sus interpretaciones.
Explicación en palabras simples
Una tautología es una afirmación lógica que resulta siempre Verdadera ($V$), sin importar qué valores de verdad tengan las proposiciones simples que la componen. Es una verdad universal dentro de la lógica. Cuando construyes su tabla de verdad, todas las filas de la columna final son $V$. Un ejemplo clásico es: "Hoy llueve o no llueve" ($p \lor \neg p$); pase lo que pase con el clima, esa frase siempre será verdadera.
Explicación formal
Definición formal
En el cálculo proposicional, una fórmula bien formada $\Phi(p_1, \dots, p_n)$ es una tautología (o verdad lógica formal), denotado formalmente como:
$$\models \Phi$$
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 verdadero:
$$\forall \mathcal{M}, \quad v_\mathcal{M}(\Phi) = V$$
En términos algebraicos de Boole, el vector columna principal satisface $\mathbf{v}(\Phi) = \mathbf{1} = [V, V, \dots, V]^T$.
Desglose simbólico
- Notación: $\models \Phi$ (fórmula universalmente válida).
- Tautología básica del tercero excluido: $\models p \lor \neg p$.
- Tautología del principio de identidad: $\models p \to p$.
- Tautología del Modus Ponens: $\models ((p \to q) \land p) \to q$.
Síntesis didáctica
Una tautología representa una ley lógica o teorema fundamental. Su validez descansa enteramente en la estructura sintáctica de sus conectivos y no en hechos empíricos contingentes.
La alternativa correcta es 'Todos los valores de la columna final deben ser estrictamente Verdaderos ($V$)'. Una sola fila con $F$ anula la condición de tautología.
Definiciones clave
- Tautología ($\models \Phi$): Proposición compuesta que es verdadera para todas las asignaciones posibles de su tabla de verdad.
- Ley lógica / Teorema proposicional: Tautología que expresa una regla de deducción o equivalencia universal.
- Validez universal: Propiedad semántica de no admitir ningún contraejemplo ($F$).
Propiedades y relaciones importantes
- Invarianza por sustitución: Si $\Phi(p)$ es una tautología, reemplazar $p$ por cualquier fórmula compleja $\psi$ genera una nueva tautología $\Phi(\psi)$.
- Negación de la tautología: La negación de cualquier tautología es una contradicción ($\neg \mathbf{1} \equiv \mathbf{0}$).
Ejemplo guiado
Demuestra mediante tabla de verdad que la fórmula $\Phi = (p \land (p \to q)) \to q$ es una tautología.
- Paso 1: Disponer las $4$ combinaciones canónicas para $p$ y $q$.
- Paso 2: Calcular la columna auxiliar $(p \to q)$: $[V, F, V, V]^T$.
- Paso 3: Calcular la conjunción $p \land (p \to q)$: - Fila 1 ($V \land V$): $V$ - Fila 2 ($V \land F$): $F$ - Fila 3 ($F \land V$): $F$ - Fila 4 ($F \land V$): $F$. Vector: $[V, F, F, F]^T$.
- Paso 4: Evaluar el condicional principal $[V, F, F, F]^T \to q$: - Fila 1: $V \to V = V$ - Fila 2: $F \to F = V$ - Fila 3: $F \to V = V$ - Fila 4: $F \to F = V$
- Paso 5: Concluir que el vector resultante es $[V, V, V, V]^T$, lo que demuestra formalmente que la fórmula es una tautología (Regla del Modus Ponens).
La alternativa correcta es '$p \lor \neg p$'. Es el Principio del Tercero Excluido, siempre verdadero para cualquier valor de $p$.
Procedimiento
- Paso 1: Construir la tabla de verdad completa con todas las $2^n$ filas correspondientes.
- Paso 2: Evaluar ordenadamente todas las columnas intermedias.
- Paso 3: Computar los valores de la columna principal.
- Paso 4: Inspeccionar la columna principal; si el $100\%$ de las celdas contienen $V$, clasificar la fórmula como tautología.
Errores frecuentes y cómo corregirlos
- Error 1: Clasificar una fórmula como tautología si tiene 3 valores $V$ y 1 valor $F$. Cómo corregirlo: Una fórmula con presencia mixta de $V$ y $F$ es una contingencia; la tautología exige rigurosamente que la totalidad de las filas sean $V$.
- Error 2: Confundir una proposición contingente que resulta verdadera en la realidad empírica con una tautología. Cómo corregirlo: Una tautología es verdadera por su pura estructura formal lógica en todos los mundos posibles, no por hechos empíricos accidentales.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $V \to V = V$.
- $F \to F = V$.
- Todas las filas son $V$.
- Sí, al ser una equivalencia lógica válida su bicondicional produce únicamente valores $V$.
- Por definición de tautología, es verdadera en el 100% de las filas.
- Sí, contiene el vector $[V, V, V, V, V, V, V, V]^T$.
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 es correcta.
Esta afirmación es correcta.
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.
Al terminar debes poder
Identificar, demostrar y clasificar fórmulas proposicionales tautológicas ($\models \Phi$).
Construir la tabla de verdad y verificar que el vector de la columna principal esté compuesto enteramente por valores $V$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Cuál de los siguientes casos ejemplifica mejor tautología?
El ejemplo correcto es: p ∨ ¬p es una tautología.. Ese caso representa adecuadamente tautología.
Respuesta: p ∨ ¬p es una tautología.
-
¿Qué describe mejor tautología?
La definición correcta es: una tautología es una proposición compuesta que resulta verdadera en todas las filas. Esa es la idea central de tautología.
Respuesta: una tautología es una proposición compuesta que resulta verdadera en todas las filas
-
¿Qué afirmación clave conviene recordar sobre tautología?
La afirmación correcta es: La columna final de una tautología contiene solo V.. Esa observación ayuda a usar bien el concepto.
Respuesta: La columna final de una tautología contiene solo V.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifica la opción que corresponde a tautología.
Se reconoce tautología en el ejemplo: p ∨ ¬p es una tautología..
Respuesta: p ∨ ¬p es una tautología.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es correcto afirmar que una tautología es una proposición compuesta que resulta verdadera en todas las filas?
Verdadero. Esa es justamente la definición de tautología.
Respuesta: Verdadero
-
¿El caso “p ∨ ¬p es una tautología” corresponde a tautología?
Verdadero. El ejemplo dado es una aplicación directa de tautología.
Respuesta: Verdadero
-
¿La afirmación “La negación trabaja con una sola variable proposicional.” describe tautología?
Falso. Tautología se describe mejor así: una tautología es una proposición compuesta que resulta verdadera 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.
-
Un profesor escribe la afirmación “La columna final de una tautología contiene solo V”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Tautología, porque su idea clave es: La columna final de una tautología contiene solo V..
Respuesta: Tautología
-
En un control se pide identificar la definición correcta de tautología. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: una tautología es una proposición compuesta que resulta verdadera en todas las filas.
Respuesta: una tautología es una proposición compuesta que resulta verdadera en todas las filas
-
En una guía PAES, una estudiante debe reconocer tautología. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: p ∨ ¬p es una tautología.. Ese caso representa tautología sin ambigüedad.
Respuesta: p ∨ ¬p es una tautología.