Definición de proposición matemática
Identificar proposiciones matemáticas y determinar si un enunciado es una proposición.
Introducción
Imagina que eres un juez y alguien te dice una frase. Tu trabajo es decidir si esa frase es verdadera o falsa. Si puedes decidirlo con total seguridad, esa frase es una proposición. Por ejemplo, si te dicen "el color del cielo es verde", puedes decir "¡Eso es falso!". Pero si te dicen "¿qué hora es?", no puedes decir si es verdadero o falso, porque es una pregunta.
En el mundo de las matemáticas y la lógica, las proposiciones son los bloques de construcción básicos. Son enunciados declarativos a los que, sin lugar a dudas, se les puede asignar un valor de verdad: o son verdaderos, o son falsos, pero nunca ambos a la vez.
Explicación
Una proposición matemática (o proposición lógica) es un enunciado declarativo que tiene la propiedad de ser verdadero ($V$) o falso ($F$), pero no ambos de forma simultánea.
Para que una oración sea considerada una proposición, debe cumplir con las siguientes características:
1. Ser declarativa: Debe afirmar o negar algo sobre el mundo o sobre objetos matemáticos.
2. Tener un valor de verdad definido: Debe ser posible (en principio) determinar si es verdadera o falsa de manera objetiva.
Ejemplos de proposiciones:
- '$p$: "Santiago es la capital de Chile" (Es una proposición verdadera, $V$).'
- '$q$: "$5 + 3 = 9$" (Es una proposición falsa, $F$, ya que $5 + 3 = 8$).'
- '$r$: "El número $2$ es el único primo par" (Es una proposición verdadera, $V$).'
Ejemplos de enunciados que NO son proposiciones:
- '"¡Qué hermoso día!" (Es una exclamación, subjetiva).'
- '"¿Dónde están mis llaves?" (Es una pregunta).'
- '"Resuelve la ecuación" (Es una instrucción u orden).'
- '"El chocolate es el mejor sabor" (Es una opinión subjetiva, no tiene valor de verdad objetivo).'
- '"$x + 3 = 10$" (Es una función proposicional o enunciado abierto; no se puede determinar su valor de verdad sin conocer el valor de $x$).'
Cómo hacerlo paso a paso
- Paso 1: Leer atentamente el enunciado y determinar si es una oración declarativa (que afirma o niega algo).
- Paso 2: Evaluar si tiene sentido preguntarse si la declaración es verdadera o falsa de forma objetiva.
- Paso 3: Si es declarativa y tiene un único valor de verdad (verdadero o falso), entonces es una proposición. Si es una exclamación, pregunta, orden o expresión con variables libres sin definir, no es una proposición.
Ejemplos
1 Determine si el enunciado '$7$ es un número impar' es una proposición.
- Paso a: El enunciado '$7$ es un número impar' es una oración declarativa que afirma una propiedad del número $7$.
- Paso b: Podemos evaluar de forma objetiva si es verdadero o falso. En este caso, $7$ efectivamente es impar, por lo tanto el enunciado es verdadero.
- Paso c: Como es un enunciado declarativo con un valor de verdad definido, concluimos que sí es una proposición.
2 Determine si el enunciado '¿Cuánto es $4 \\cdot 5$?' es una proposición.
- Paso a: El enunciado es una pregunta directa, no una declaración.
- Paso b: Las preguntas no afirman nada y no se les puede asignar un valor de verdadero o falso.
- Paso c: Por lo tanto, no es una proposición.
3 ¿Es una proposición el enunciado 'El número $15$ es un número primo'?
- El enunciado afirma que $15$ es primo. Aunque esta afirmación es falsa (porque $15 = 3 \\cdot 5$), sigue siendo una proposición, ya que es una declaración con un valor de verdad objetivo bien definido (falso).
4 ¿Es una proposición el enunciado '¡Ojalá llueva mañana!'?
- Este enunciado expresa un deseo (oración desiderativa) y no una afirmación o negación objetiva. Por lo tanto, no se le puede asignar un valor de verdad (no es ni verdadero ni falso), así que no es una proposición.
Ejemplos Verdadero/Falso
"Creer que un enunciado falso no es una proposición. Una proposición puede ser falsa; lo importante es que tenga un valor de verdad definido."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir oraciones exclamativas, interrogativas o imperativas con proposiciones."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Considerar que las opiniones subjetivas son proposiciones matemáticas."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que las ecuaciones con variables libres (como $x + 2 = 5$) son proposiciones, cuando en realidad son enunciados abiertos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que si no conocemos actualmente si algo es verdadero o falso, no es una proposición (por ejemplo, 'Hay vida en Marte' sí es una proposición porque tiene un valor de verdad objetivo, aunque no lo conozcamos con certeza absoluta)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Una proposición matemática es un enunciado aseverativo o declarativo del cual se puede afirmar, de forma objetiva y sin ambigüedad, que es verdadero o falso. No incluye preguntas, órdenes, exclamaciones ni opiniones subjetivas.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Por qué el enunciado '$x$ es un número primo' no se considera una proposición matemática bajo las reglas de la lógica elemental?
El enunciado contiene la variable libre '$x$'. Sin conocer el valor de esta variable, no se le puede asignar un valor de verdad único, por lo que es un enunciado abierto y no una proposición.
Respuesta: Porque su valor de verdad depende de una variable cuyo valor no está especificado.
-
¿Cuál de las siguientes expresiones representa una proposición matemática?
El enunciado '$5 + 3 = 10$' es declarativo y se le puede asignar con certeza un valor de verdad (falso). Las demás opciones son preguntas, órdenes o expresiones algebraicas sin valor de verdad.
Respuesta: $5 + 3 = 10$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifique cuál de las siguientes opciones corresponde a un enunciado declarativo que califica como proposición matemática.
La frase 'El número $2$ es el único primo par' es un enunciado declarativo del cual se puede determinar objetivamente que es verdadero, cumpliendo la definición de proposición matemática.
Respuesta: El número $2$ es el único primo par.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿La expresión matemática '$3x + 5$' es una proposición matemática?
La expresión '$3x + 5$' es una expresión algebraica (un término polinomial), no es una oración aseverativa, por lo tanto no tiene valor de verdad y no es una proposición.
Respuesta: Falso
-
¿El enunciado '$7 \\cdot 8 = 56$' es una proposición matemática verdadera?
Es una proposición matemática porque afirma una igualdad declarativa, y su valor de verdad es verdadero puesto que $7$ por $8$ efectivamente es igual a $56$.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Un profesor escribe en la pizarra la oración: "El número $p$ es primo". Para que esta oración sea considerada una proposición matemática formal en una prueba de matemática, ¿cuál de las siguientes condiciones es suficiente?
Al asignarle un valor a la variable $p$ (por ejemplo, $p = 7$), el enunciado abierto se convierte en una proposición declarativa con un valor de verdad perfectamente definido.
Respuesta: Asignar un valor numérico específico a la variable $p$.
-
Una estudiante analiza la frase: "El doble de un número entero es un número par". ¿Cuál de las siguientes afirmaciones describe de manera lógicamente correcta este enunciado?
Aunque el enunciado no mencione una variable explícita como $n$, está haciendo una declaración general afirmativa sobre todos los números enteros: si $k$ es entero, entonces $2k$ es par. Esta declaración es universalmente verdadera y constituye una proposición válida.
Respuesta: Es una proposición matemática verdadera porque afirma una propiedad universal de los enteros.
-
Durante un taller escolar sobre fundamentos lógicos, los alumnos deben dar ejemplos de proposiciones matemáticas que tengan un valor de verdad falso ($F$). ¿Cuál de los siguientes enunciados cumple con la condición solicitada?
"El número $15$ es un número primo" es una aseveración declarativa falsa (ya que $15$ es divisible por $1, 3, 5, 15$), por lo que califica como proposición matemática falsa. Las demás alternativas corresponden a una pregunta, a un enunciado abierto o a una exclamación.
Respuesta: "El número $15$ es un número primo."