Formalización de un enunciado simple
Formalizar enunciados en lenguaje natural convirtiéndolos a expresiones simbólicas de la lógica proposicional.
Introducción
Imagina que tienes una máquina traductora automática. Le hablas en español y ella traduce tus palabras a un lenguaje de programación para que una computadora las entienda.
En lógica proposicional hacemos lo mismo cuando "formalizamos" un enunciado. Tomamos una frase en lenguaje común, como "Si estudio y hago la tarea, entonces pasaré el año", y la traducimos al lenguaje universal de los símbolos lógicos: $(p \land q) \rightarrow r$. Esto nos ayuda a eliminar la confusión de las palabras y analizar la estructura pura del razonamiento.
Explicación
La formalización de enunciados (o traducción simbólica) consiste en representar la estructura lógica de una oración en lenguaje natural mediante el uso de variables proposicionales ($p, q, r, ...$) y conectivos lógicos ($\sim, \land, \lor, \rightarrow, \leftrightarrow$).
Este proceso es crucial para analizar la validez de los razonamientos de manera matemática y objetiva, eliminando ambigüedades idiomáticas.
Pasos fundamentales para formalizar:
1. Identificar proposiciones simples: Buscar las afirmaciones atómicas e independientes. Asignarles variables ($p, q, r, ...$). Recuerda que la negación no forma parte de la proposición simple base.
2. Identificar conectivos lógicos: Buscar palabras de enlace y traducirlas a sus símbolos correspondientes:
- '"y", "pero", "además", "sin embargo" $\rightarrow \land$'
- '"o", "a menos que" $\rightarrow \lor$'
- '"si... entonces", "por lo tanto", "implica" $\rightarrow \rightarrow$'
- '"si y solo si", "es equivalente a" $\rightarrow \leftrightarrow$'
- '"no", "es falso que", "no es cierto que" $\rightarrow \sim$'
3. Estructurar con signos de agrupación (paréntesis): Utilizar paréntesis para indicar el orden de las operaciones lógicas, guiándose por los signos de puntuación (comas, puntos y comas) de la oración original.
Cómo hacerlo paso a paso
- Paso 1: Leer el enunciado completo e identificar cada una de las proposiciones simples atómicas. Asignar una letra minúscula ($p$, $q$, etc.) a cada una.
- Paso 2: Localizar todas las expresiones de conexión (como 'y', 'o', 'no', 'si... entonces') y determinar qué conectivo lógico representa cada una.
- Paso 3: Construir la fórmula lógica uniendo las variables con los conectivos lógicos en el orden adecuado, utilizando paréntesis para agrupar según las pausas indicadas por la puntuación del texto.
Ejemplos
1 Formalice el siguiente enunciado: 'Si comes vegetales y haces ejercicio, tendrás una vida saludable'.
- Paso a: Identificamos las proposiciones simples del enunciado: $p$: 'Comes vegetales', $q$: 'Haces ejercicio', $r$: 'Tendrás una vida saludable'.
- Paso b: Detectamos los conectivos lógicos: la conjunción 'y' ($\\land$) une $p$ y $q$, y la estructura 'Si... [eso ocurre], entonces... [lo otro]' representa un condicional ($\\rightarrow$).
- Paso c: Estructuramos la expresión lógica: el antecedente es la conjunción de $p$ y $q$, y el consecuente es $r$. Por lo tanto, la fórmula formalizada es: $(p \\land q) \\rightarrow r$.
2 Formalice la siguiente expresión matemática: 'El número $x$ no es par o $x$ es menor que $10$'.
- Paso a: Identificamos las proposiciones simples subyacentes: $p$: 'El número $x$ es par', $q$: '$x$ es menor que $10$'.
- Paso b: Identificamos los conectivos lógicos: 'no' es la negación ($\\sim$) aplicada a $p$, y la palabra 'o' es la disyunción inclusiva ($\\lor$).
- Paso c: Escribimos la expresión simbólica: $\\sim p \\lor q$.
3 ¿Es $(p \\land q) \\rightarrow \\sim r$ la formalización correcta de 'Si llueve y hace frío, entonces no iré al parque', donde $p$: 'llueve', $q$: 'hace frío', $r$: 'iré al parque'?
- Identificamos las proposiciones: $p$: 'llueve', $q$: 'hace frío', $r$: 'iré al parque'. El antecedente del condicional es 'llueve y hace frío', que se traduce como $(p \\land q)$. El consecuente es 'no iré al parque', que niega a $r$, es decir, $\\sim r$. Como están unidos por 'Si... entonces...', la expresión final es $(p \\land q) \\rightarrow \\sim r$.
4 ¿Es $p \\land (q \\lor r)$ la formalización correcta de 'Estudio medicina o ingeniería, y juego fútbol'?
- Identificamos las proposiciones: $p$: 'Estudio medicina', $q$: 'Estudio ingeniería', $r$: 'Juego fútbol'. El enunciado dice 'Estudio medicina o ingeniería, y juego fútbol'. La coma después de 'ingeniería' indica que la disyunción va agrupada primero: $(p \\lor q)$, y luego se le añade la conjunción con $r$. Por lo tanto, la formalización correcta es $(p \\lor q) \\land r$, que no es equivalente a la expresión planteada en la pregunta.
Ejemplos Verdadero/Falso
"Incluir la palabra 'no' dentro de la definición de la proposición simple (por ejemplo, definir $p$: 'El número no es par' en lugar de $p$: 'El número es par' y usar $\\sim p$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Omitir los paréntesis necesarios para indicar el orden de precedencia de los conectivos lógicos (por ejemplo, escribir $p \\land q \\rightarrow r$ cuando se requiere $(p \\land q) \\rightarrow r$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir el antecedente y el consecuente en un condicional, especialmente cuando el orden de las palabras se invierte en lenguaje natural (por ejemplo, en 'Voy al cine si tú vas', la proposición antecedente es 'tú vas' y se formaliza como $q \\rightarrow p$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Traducir conjunciones como 'pero' o 'sin embargo' como si fueran disyunciones, en lugar de conjunciones ($\\land$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No distinguir entre la disyunción inclusiva 'o' ($\\lor$) y la disyunción exclusiva 'o... o...' ($\\oplus$ o $\\underline{\\lor}$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La formalización es el proceso de traducir enunciados expresados en lenguaje natural al lenguaje simbólico de la lógica formal. Permite representar oraciones complejas mediante variables proposicionales y conectivos lógicos.
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$