Formalización de un enunciado simple
Resumen inicial
Traducción de enunciados del lenguaje natural al lenguaje formal de la lógica proposicional mediante variables y conectivos lógicos.
Explicación en palabras simples
Formalizar un enunciado es como traducir una frase en español al lenguaje de los símbolos matemáticos. Tomamos una oración como "Si estudio y practico, entonces aprobaré el examen" y la representamos como $(p \land q) \to r$. Para hacerlo, primero identificamos las ideas simples (las variables $p, q, r$), luego reconocemos los conectores ("y" es $\land$, "o" es $\lor$, "si... entonces" es $\to$, "no" es $\neg$) y finalmente usamos paréntesis para que la estructura quede clara y sin confusiones.
Explicación formal
Definición formal
La formalización proposicional es el proceso semántico-sintáctico de mapeo mediante el cual un enunciado en lenguaje natural $\mathcal{E}$ se traduce a una fórmula bien formada (FBF) $\alpha$ en el lenguaje formal $\mathcal{L}_0$:
$$\mathcal{T}: \mathcal{E} \to \mathcal{L}_0$$
donde $\alpha$ se construye inductivamente a partir del conjunto de variables proposicionales atómicas $\mathcal{V} = \{p, q, r, \dots\}$ y los conectivos lógicos $\{\neg, \land, \lor, \to, \leftrightarrow\}$.
Desglose simbólico
- Equivalencias del lenguaje natural:
- Conjunción ($\land$): "y", "pero", "sin embargo", "además", "aunque", ",".
- Disyunción inclusiva ($\lor$): "o", "a menos que", "salvo que".
- Disyunción exclusiva ($\oplus$): "o bien... o bien...".
- Condicional ($\to$): "si $p$, entonces $q$", "$p$ implica $q$", "$q$ si $p$", "$p$ solo si $q$".
- Bicondicional ($\leftrightarrow$): "$p$ si y solo si $q$", "$p$ es equivalente a $q$".
- Negación ($\neg$): "no", "es falso que", "no es cierto que".
Síntesis didáctica
La formalización aísla la estructura deductiva del enunciado, permitiendo someter razonamientos complejos al análisis formal de tablas de verdad o métodos algebraicos de inferencia.
La alternativa correcta es '$\neg(p \land q)$'. La expresión "No es cierto que" niega a toda la conjunción en su conjunto entre paréntesis.
Definiciones clave
- Formalización lógica: Traducción rigurosa de enunciados verbales a fórmulas del cálculo proposicional.
- Fórmula bien formada (FBF): Cadena de símbolos que cumple con las reglas sintácticas de la lógica proposicional.
- Diccionario de formalización: Asignación explícita de cada variable proposicional a su correspondiente oración atómica afirmativa.
Propiedades y relaciones importantes
- Variables siempre en afirmativo: Las variables proposicionales deben definirse siempre en sentido positivo; las negaciones se expresan mediante el operador $\neg$ antepuesto a la variable.
- Prioridad de la puntuación: Las comas, puntos y comas en el texto determinan la ubicación de los signos de agrupación (paréntesis) en la fórmula.
Ejemplo guiado
Formaliza el enunciado: "Si un número es divisible por $6$, entonces es divisible por $2$ y por $3$".
- Paso 1: Identificar las proposiciones atómicas afirmativas: - $p$: "Un número es divisible por $6$" - $q$: "Un número es divisible por $2$" - $r$: "Un número es divisible por $3$"
- Paso 2: Identificar el consecuente compuesto: "es divisible por $2$ y por $3$", que se traduce como la conjunción $(q \land r)$.
- Paso 3: Identificar la estructura condicional global "Si [antecedente], entonces [consecuente]".
- Paso 4: Escribir la fórmula proposicional final: $p \to (q \land r)$.
La alternativa correcta es '$p$, formalizándose como $p \to q$'. La cláusula que acompaña al "si" siempre constituye la condición o antecedente.
Procedimiento
- Paso 1: Leer atentamente el texto y desglosar las proposiciones simples en forma afirmativa.
- Paso 2: Construir el diccionario de variables proposicionales ($p, q, r, \dots$).
- Paso 3: Identificar los términos conectivos y las cláusulas condicionales o disyuntivas.
- Paso 4: Insertar paréntesis de acuerdo con la jerarquía sintáctica y la puntuación para obtener la FBF.
Errores frecuentes y cómo corregirlos
- Error 1: Incluir el término "no" dentro de la definición de la variable proposicional (ej. definir $p$: "No llueve"). Cómo corregirlo: La variable debe definirse afirmativamente como $p$: "Llueve", y la negación se expresa anteponiendo el operador $\neg p$.
- Error 2: Invertir el antecedente y el consecuente en condicionales con redacción invertida (como "$q$ porque $p$"). Cómo corregirlo: La causa o condición introducida por "si", "dado que" o "porque" siempre es el antecedente ($p \to q$).
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- La palabra "pero" equivale lógicamente a la conjunción $\land$.
- "no aprobó" se formaliza como $\neg q$.
- Expresión final: $p \land \neg q$.
- La "o" se traduce como la disyunción inclusiva $\lor$.
- La locución "si y solo si" representa el conectivo bicondicional $\leftrightarrow$.
- Sí, "es falso que" afecta a la totalidad de la implicación condicional.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
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.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Formalizar enunciados del lenguaje natural convirtiéndolos a fórmulas simbólicas proposicionales bien formadas.
Definir variables afirmativas, traducir conectivos lingüísticos ($\land, \lor, \to, \leftrightarrow, \neg$) y aplicar signos de agrupación según la sintaxis.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿En qué consiste el proceso de formalización de un enunciado en lógica proposicional?
La formalización es la abstracción y traducción del lenguaje común al lenguaje formal de la lógica simbólica, mediante variables proposicionales y operadores lógicos.
Respuesta: En traducir enunciados expresados en lenguaje natural a fórmulas lógicas usando variables y conectivos.
-
¿Cómo se representan lógicamente los signos de puntuación (como comas o puntos) al formalizar un enunciado complejo?
Los signos de puntuación en lenguaje natural marcan la agrupación y precedencia de las ideas. En lógica, esto se formaliza utilizando paréntesis para agrupar las subproposiciones en el orden correspondiente.
Respuesta: Mediante el uso de signos de agrupación como paréntesis y corchetes.
-
En el enunciado "Estudio álgebra o geometría, pero no rindo el examen", ¿cuál es el símbolo lógico que representa de forma correcta la palabra "pero"?
En lenguaje natural, palabras adversativas como 'pero', 'sin embargo' y 'además' actúan lógicamente uniendo dos hechos simultáneos, por lo que se formalizan con la conjunción ($\land$).
Respuesta: $\\land$ (conjunción)
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si definimos las variables $p$: "Llueve" y $q$: "Salgo al parque". Identifique la formalización correcta para la frase: "Si llueve, entonces no salgo al parque".
El enunciado tiene la forma condicional 'Si... entonces...' ($p \rightarrow ...$). El consecuente es la negación de 'Salgo al parque', lo cual se traduce como $\sim q$. La expresión formalizada es $p \rightarrow \sim q$.
Respuesta: $p \\rightarrow \\sim q$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
El enunciado 'Si $x$ es positivo y $y$ es negativo, entonces el producto $x \\cdot y$ es negativo' se formaliza lógicamente de manera correcta como '$(p \\land q) \\rightarrow r$'.
Verdadero. Definimos $p$: '$x$ es positivo', $q$: '$y$ es negativo', $r$: 'el producto $x \cdot y$ es negativo'. La estructura es un condicional cuyo antecedente es una conjunción de $p$ y $q$, resultando en $(p \land q) ightarrow r$.
Respuesta: Verdadero
-
¿La expresión 'Ni $A$ ni $B$' se formaliza lógicamente como '$\\sim p \\lor \\sim q$'?
Falso. 'Ni A ni B' significa que no ocurre A y tampoco ocurre B. Se formaliza como '$\sim p \land \sim q$' o de forma equivalente '$\sim(p \lor q)$'.
Respuesta: Falso
-
El enunciado '$p$ si $q$' se formaliza simbólicamente como '$p \\rightarrow q$'.
Falso. En la frase '$p$ si $q$', la palabra 'si' introduce la condición antecedente ($q$). Por lo tanto, el condicional correcto es '$q \rightarrow p$'.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Considere el enunciado matemático: "Si un número entero es par y primo, entonces es igual a $2$". Si definimos las variables:
$p$: "El número entero es par"
$q$: "El número entero es primo"
$r$: "El número entero es igual a $2$"
¿Cuál es la representación simbólica correcta de este enunciado?El antecedente de la implicación condicional es la conjunción 'es par y primo', es decir, $(p \land q)$. El consecuente es 'es igual a $2$', es decir, $r$. El enunciado formalizado completo es $(p \land q) \rightarrow r$.
Respuesta: $(p \\land q) \\rightarrow r$
-
Una estudiante quiere traducir a lenguaje simbólico lógico la siguiente afirmación: "Es falso que, si no estudio, entonces aprobaré el examen". Si se definen las variables:
$p$: "Estudio"
$q$: "Aprobaré el examen"
¿Cuál de las siguientes opciones muestra la traducción lógica correcta?Analizamos por partes:
- 'no estudio' se traduce como $\sim p$.
- 'si no estudio, entonces aprobaré el examen' se traduce como $\sim p \rightarrow q$.
- 'Es falso que...' niega toda la estructura condicional, resultando en $\sim(\sim p \rightarrow q)$.Respuesta: $\\sim(\\sim p \\rightarrow q)$
-
Un profesor plantea la siguiente condición para eximirse de una prueba final: "Si entregas todas las tareas o apruebas todos los talleres, entonces no rindes la prueba final". Si definimos las variables:
$p$: "Entregas todas las tareas"
$q$: "Apruebas todos los talleres"
$r$: "Rindes la prueba final"
¿Cuál es la formalización correcta de la regla planteada?La estructura condicional tiene como antecedente 'entregas todas las tareas o apruebas todos los talleres', que se escribe $(p \lor q)$. El consecuente es 'no rindes la prueba final', que se traduce como $\sim r$. La unión de ambos da $(p \lor q) \rightarrow \sim r$.
Respuesta: $(p \\lor q) \\rightarrow \\sim r$