Identificación de expresiones que no son proposiciones
Identificar y clasificar expresiones que no corresponden a proposiciones matemáticas, reconociendo enunciados abiertos, preguntas, exclamaciones e instrucciones.
Introducción
¿Alguna vez has intentado responder "verdadero" o "falso" cuando alguien te dice "¡Pásame la sal!"? Sería muy raro, ¿verdad? Eso es porque esa frase es una orden, no una afirmación.
En matemáticas y lógica, existen muchas frases y expresiones matemáticas a las que no podemos ponerles la etiqueta de "verdadero" o "falso". Estas se llaman expresiones no proposicionales. Aprender a reconocerlas te ayudará a evitar confusiones al estructurar argumentos y resolver ecuaciones.
Explicación
Las expresiones no proposicionales son aquellas oraciones o fórmulas matemáticas que carecen de un valor de verdad definido o que no pueden ser evaluadas objetivamente como verdaderas o falsas.
Se pueden clasificar principalmente en las siguientes categorías:
- Enunciados abiertos o funciones proposicionales: Fórmulas o enunciados que contienen variables libres. Por ejemplo, en "$x + 5 = 12$", no podemos decir si es verdadero o falso a menos que sepamos qué valor toma $x$. Si se define un universo y se le asigna un valor a la variable (por ejemplo, $x = 7$), entonces se convierte en una proposición.
- Preguntas (interrogativas): Su función es solicitar información, no declarar un hecho. Ejemplo: "¿Cuántos lados tiene un triángulo?".
- Órdenes o instrucciones (imperativas): Indican una acción a realizar. Ejemplo: "Grafica la función $f(x) = x^2$".
- Exclamaciones (exclamativas): Expresan emociones, sentimientos o deseos. Ejemplo: "¡Qué interesante la clase!".
- Opiniones o juicios de valor: Enunciados subjetivos que dependen de la persona. Ejemplo: "Las matemáticas son difíciles".
Cómo hacerlo paso a paso
- Paso 1: Leer el enunciado y analizar su estructura gramatical o matemática.
- Paso 2: Preguntarse si es posible afirmar, de forma objetiva, que el enunciado es verdadero o falso.
- Paso 3: Si el enunciado depende de variables desconocidas (como $x$) o si es una pregunta, orden, exclamación u opinión, concluir que es una expresión no proposicional.
Ejemplos
1 Determine si '$x$ es un número par' es una expresión no proposicional.
- Paso a: Analizamos el enunciado '$x$ es un número par'. Contiene la variable '$x$', la cual no tiene un valor asignado ni un contexto que defina su dominio.
- Paso b: Si $x = 4$, el enunciado es verdadero. Si $x = 5$, el enunciado es falso. Como el valor de verdad no es fijo ni único y depende del valor de la variable $x$, no es una proposición.
- Paso c: Concluimos que es una expresión no proposicional (específicamente, un enunciado abierto).
2 Clasifique el tipo de expresión no proposicional del enunciado: '¡Resuelve los ejercicios de la página 5!'
- Paso a: Evaluamos el enunciado. Es una instrucción redactada en modo imperativo.
- Paso b: No describe una situación de la cual se pueda evaluar su verdad o falsedad de forma objetiva.
- Paso c: Concluimos que es una expresión no proposicional del tipo orden o imperativa.
3 ¿Es una expresión no proposicional la ecuación '$x^2 - 4 = 0$?'
- La ecuación '$x^2 - 4 = 0$' es una igualdad matemática que contiene la variable libre $x$. Sin conocer el valor de $x$ (el cual podría ser $2$ o $-2$ para ser verdadera, o cualquier otro número para ser falsa), no podemos asignarle un valor de verdad. Por lo tanto, es un enunciado abierto y, en consecuencia, una expresión no proposicional.
4 ¿Es una expresión no proposicional el enunciado 'El número $9$ es múltiplo de $3$'?
- El enunciado afirma de manera directa y sin variables libres una propiedad matemática. Es un enunciado declarativo que podemos evaluar con certeza como verdadero. Por lo tanto, es una proposición, no una expresión no proposicional.
Ejemplos Verdadero/Falso
"Creer que las ecuaciones con variables siempre son proposiciones."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir un enunciado abierto (como '$x > 3$') con una proposición simple."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que una pregunta que tiene una respuesta matemática única (como '¿Cuánto es $2+2$?') es una proposición, cuando la pregunta en sí no es declarativa."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Olvidar que un enunciado subjetivo carece de valor de verdad lógico."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Asumir que si un enunciado abierto es fácil de resolver, ya es una proposición sin necesidad de asignarle un valor a la variable."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Una expresión no proposicional es aquella a la que no se le puede asignar un valor de verdad (verdadero o falso) único y objetivo. Incluye preguntas, órdenes, opiniones subjetivas, exclamaciones y enunciados abiertos con variables no definidas.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Por qué las preguntas lógicas no se consideran proposiciones en lógica formal?
Una pregunta busca obtener información, no declara que un hecho ocurra o no. Por tanto, no tiene valor de verdad asociado.
Respuesta: Porque no aseveran ni niegan nada sobre la realidad, por lo que carecen de valor de verdad.
-
¿Cuál de las siguientes expresiones se clasifica como un enunciado abierto (o función proposicional)?
La igualdad '$x^2 - 9 = 0$' contiene la variable libre $x$. Su valor de verdad cambia según el valor asignado a $x$, por lo que se define como un enunciado abierto (un tipo de expresión no proposicional).
Respuesta: $x^2 - 9 = 0$
-
¿Qué caracteriza principalmente a una expresión no proposicional?
Las expresiones no proposicionales (preguntas, exclamaciones, órdenes, enunciados abiertos con variables libres) no afirman hechos de forma que puedan ser evaluados de manera unívoca y objetiva como verdaderos o falsos.
Respuesta: La imposibilidad de asignarle de manera única y objetiva un valor de verdad.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifique el grupo de expresiones que está compuesto exclusivamente por expresiones no proposicionales.
La pregunta '¿Cómo estás?', el enunciado abierto '$y + 3 = 8$' y la orden '¡Resuelve esto!' no tienen un valor de verdad determinado de forma objetiva, siendo todas ellas expresiones no proposicionales.
Respuesta: "¿Cómo estás?", "$y + 3 = 8$", "¡Resuelve esto!"
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
Si en el enunciado abierto '$x > 5$' sustituimos la variable $x$ por el número $8$, ¿la expresión resultante se convierte en una proposición?
Sí. Al sustituir $x$ por $8$, se obtiene '$8 > 5$', que es una proposición declarativa verdadera.
Respuesta: Verdadero
-
¿La expresión algebraica '$2x + 1 = 7$' es una proposición lógica porque contiene números y signos matemáticos?
No es una proposición. Es un enunciado abierto debido a la presencia de la variable libre $x$. Solo se convierte en proposición si se le asigna un valor específico a $x$.
Respuesta: Falso
-
¿Las exclamaciones y las órdenes imperativas se clasifican como expresiones no proposicionales?
Es correcto, ya que ni las exclamaciones ('¡Qué hermoso!') ni las órdenes ('Estudia para la prueba') declaran hechos objetivos verdaderos o falsos.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En un taller de informática, los estudiantes diseñan una función que evalúa si los datos introducidos cumplen con una condición. ¿Cuál de las siguientes expresiones representa un enunciado abierto que requiere necesariamente recibir un valor por parte del usuario para que la computadora determine su veracidad?
La expresión '$a + b = 10$' contiene dos variables libres ($a$ y $b$) cuyos valores se desconocen. La computadora no puede determinar si es verdadera o falsa hasta que el usuario le asigne números a dichas variables. Las demás opciones son proposiciones con valores de verdad definidos.
Respuesta: "$a + b = 10$"
-
Un examen de matemática tiene una sección de fundamentos lógicos. Una de las preguntas dice: "¿Cuál de los siguientes enunciados se clasifica como una expresión no proposicional del tipo enunciado abierto?". ¿Cuál opción debió marcar el estudiante para responder correctamente?
La inecuación '$3x - 4 < 2$' es una expresión no proposicional porque tiene una variable libre $x$ que no está cuantificada ni definida, lo que la clasifica formalmente como un enunciado abierto.
Respuesta: "$3x - 4 < 2$"
-
Considere las siguientes expresiones matemáticas:
I. $x + 2 = 5$
II. $3 + 4 = 7$
III. $\\sin(x) > 0$¿Cuál(es) de ella(s) se clasifica(n) como expresiones no proposicionales?
I y III contienen la variable libre $x$, por lo que sus valores de verdad no están definidos de manera única y son enunciados abiertos (expresiones no proposicionales). II es una proposición matemática verdadera porque es una aseveración numérica cerrada y exacta.
Respuesta: Solo I y III