La lógica matemática es una rama de las matemáticas que permite analizar y expresar razonamientos de manera clara, precisa y estructurada. Para ello, utiliza proposiciones, símbolos, conectores lógicos y cuantificadores que ayudan a determinar la relación entre diferentes afirmaciones.
En este artículo aprenderás qué es la lógica matemática y cuáles son sus elementos fundamentales. Comenzaremos con las proposiciones, diferenciando entre proposiciones simples y compuestas; después conoceremos los principales conectores lógicos, los cuantificadores y la forma de representar expresiones mediante el lenguaje simbólico.
Fundamentos de lógica matemática: proposiciones y cuantificadores
¿Qué es la lógica matemática?
La lógica matemática es la rama de las matemáticas que estudia los métodos y principios del razonamiento válido. Su objetivo es distinguir cuándo un argumento está bien construido (la conclusión se sigue realmente de las premisas) y cuándo no, sin importar de qué tema trate ese argumento.
No se trata solo de teoría abstracta: la lógica matemática es la base de las demostraciones matemáticas, de la programación (todo código ejecuta condiciones lógicas: si esto, entonces aquello), de los circuitos electrónicos, y de cualquier disciplina donde haga falta razonar con precisión.
Proposiciones matemáticas
Una proposición es un enunciado (una oración declarativa) que puede calificarse como verdadero o falso, pero nunca ambas cosas a la vez ni ninguna de las dos. Este principio se llama principio de bivalencia.
2. «La Luna es un planeta» — F
3. «2 + 2 = 5» — F
4. «El agua hierve a 100°C al nivel del mar» — V
5. «Bogotá es la capital de Colombia» — V
2. «¡Estudia para el examen!» — orden
3. «x + 3 = 8» — depende del valor de x
4. «¡Qué buena película!» — exclamación
5. «Ojalá llueva mañana» — deseo, no una afirmación
Las proposiciones se representan con letras minúsculas, generalmente p, q, r, s… Cada letra nombra una proposición distinta, y se usa cualquiera de ellas sin que importe el orden. Por ejemplo:
q: «16 es un número impar» → F
r: «El Ecuador está en América del Sur» → V
s: «Un triángulo tiene cinco lados» → F
Proposiciones simples y proposiciones compuestas
5 ejemplos de proposiciones simples
| 1. «Hoy es lunes» | Simple |
| 2. «México está en América» | Simple |
| 3. «El número 12 es par» | Simple |
| 4. «La ballena es un mamífero» | Simple |
| 5. «5 es mayor que 3» | Simple |
5 ejemplos de proposiciones compuestas
En cada una, la primera proposición está en azul, el conector lógico en naranja, y la segunda proposición en verde.
| 1. «Hoy es lunes y mañana es martes« | Compuesta (conjunción) |
| 2. «Voy al cine o me quedo en casa« | Compuesta (disyunción) |
| 3. «No es cierto que 5 sea par« | Compuesta (negación) |
| 4. «Si llueve, entonces no salgo a correr« | Compuesta (condicional) |
| 5. «Un número es par si y solo si es divisible entre 2« | Compuesta (bicondicional) |
En el próximo artículo de esta serie profundizamos en cada uno de estos conectores lógicos (conjunción, disyunción, negación, condicional y bicondicional) y cómo afectan el valor de verdad de una proposición compuesta.
Casos que no son proposiciones
Para decidir si un enunciado es una proposición, pregúntate: ¿Puedo decir con certeza si esto es verdadero o falso, sin ambigüedad? Existen cinco tipos de enunciados que fallan esta prueba.
1. Preguntas
No afirman nada, así que no tienen valor de verdad.
| «¿Vas a venir a la fiesta?» | No es proposición |
| «¿Qué día es hoy?» | No es proposición |
| «¿Cuánto cuesta esto?» | No es proposición |
2. Órdenes y exclamaciones
Expresan una instrucción o una emoción, no una afirmación verificable.
| «¡Cierra la puerta!» | No es proposición |
| «¡Qué calor hace!» | No es proposición |
| «Siéntense, por favor» | No es proposición |
3. Enunciados con variables no definidas (proposiciones abiertas)
Su verdad depende del valor de una variable que no se ha fijado. Se convierten en proposición recién cuando la variable toma un valor concreto, o se les agrega un cuantificador.
| «x es mayor que 5» | No es proposición (depende de x) |
| «y + 2 = 10» | No es proposición (depende de y) |
| «3 es mayor que 5» (x ya fijado en 3) | Sí es proposición — falsa |
4. Enunciados con sujeto no identificado
Cuando el enunciado usa un pronombre o una referencia cuyo significado no está establecido, no se puede verificar su verdad — es un problema parecido al de la variable no definida, pero con personas o cosas en vez de números.
| «Él es médico» (sin saber quién es «él») | No es proposición |
| «Ese país tiene la mejor economía del mundo» (sin especificar cuál país) | No es proposición |
| «Juan Pérez es ingeniero» (si se especifica de cuál Juan Pérez se habla) | Sí es proposición, una vez identificado el sujeto |
5. Opiniones subjetivas
No tienen un valor de verdad objetivo — dependen del gusto o del punto de vista de cada persona.
| «El chocolate es el mejor sabor de helado» | No es proposición |
| «Esta canción es aburrida» | No es proposición |
| «El fútbol es más emocionante que el básquetbol» | No es proposición |
Valor de verdad y negación
El valor de verdad de una proposición es su condición de verdadera (V) o falsa (F). Toda proposición tiene exactamente uno de estos dos valores — nunca los dos, nunca ninguno.
q: «Todos los números primos son pares» → Valor de verdad: F (falsa, ya que 3, 5, 7… son primos e impares)
Toda proposición tiene una negación, que invierte su valor de verdad. Si p es verdadera, su negación ¬p (se lee «no p») es falsa, y viceversa. Por ejemplo, si p: «5 es par» (F), entonces ¬p: «5 no es par» (V). En el artículo de conectores lógicos veremos la negación en profundidad, junto con su tabla de verdad y varios ejemplos de traducción.
Lenguaje natural y lenguaje simbólico
El lenguaje natural es el idioma cotidiano (el español, en nuestro caso). El lenguaje simbólico reemplaza cada proposición por una letra y cada conector por un símbolo, para poder trabajar con precisión matemática sin la ambigüedad del lenguaje hablado.
En cada ejemplo, identificamos por separado qué es p, qué es q, y cuál es el conector que los une — así queda claro de dónde sale cada símbolo.
p: «Hace frío» | q: «Está lloviendo» | Conector: «y» (conjunción)
p: «Apruebo el examen» | q: «Repito el curso» | Conector: «o» (disyunción)
p: «Estoy cansado» | Conector: «no» (negación — no necesita una segunda proposición q)
p: «Estudio» | q: «Apruebo» | Conector: «si… entonces» (condicional)
p: «Es par» | q: «Es divisible entre 2» | Conector: «si y solo si» (bicondicional)
Este proceso de convertir una oración en símbolos se llama simbolización o formalización. Es la herramienta que usaremos constantemente en el resto de la serie.
Cuantificadores
Los cuantificadores convierten una proposición abierta (que tiene una variable, como «x es par») en una proposición completa, indicando para cuántos elementos se cumple la condición.
∀x ∈ ℕ, x + 1 > x («para todo x natural, x+1 es mayor que x»)
Para que esta proposición universal sea verdadera, TODOS los números naturales deben cumplir la condición, sin excepción.
Probamos con varios valores: si x=0, 0+1=1>0 ✓. Si x=5, 5+1=6>5 ✓. Si x=100, 100+1=101>100 ✓.
No existe ningún número natural que sea un contraejemplo — la propiedad se cumple siempre. Por lo tanto, la proposición es verdadera.
∃x ∈ ℕ, x² = 49 («existe un x natural tal que x al cuadrado es 49»)
Para que esta proposición existencial sea verdadera, basta con encontrar UN solo número que cumpla la condición.
Probamos: x=7 → 7²=49. ¡Lo encontramos!
Como existe al menos un caso que cumple la condición, la proposición es verdadera — no importa que no todos los números naturales cumplan esto, solo se necesita uno.
Ejercicios resueltos
¿Es proposición o no?
| Enunciado | Análisis |
|---|---|
| «Quito es la capital de Ecuador» | Sí es proposición — verdadera |
| «¿Cuántos años tienes?» | No es proposición — es una pregunta |
| «3 + 5 = 9» | Sí es proposición — falsa |
| «¡Vámonos ya!» | No es proposición — es una orden |
| «x − 4 = 10» | No es proposición — es una proposición abierta (depende de x) |
| «El número 15 es divisible entre 3» | Sí es proposición — verdadera |
| «Esta película es aburrida» | No es proposición — es una opinión subjetiva |
Determina el valor de verdad
| Proposición | Valor de verdad |
|---|---|
| «El número 2 es el único primo par» | V |
| «Todos los múltiplos de 4 son múltiplos de 8» | F (4 no es múltiplo de 8) |
| «La suma de dos números pares es par» | V |
| «√2 es un número racional» | F (√2 es irracional) |
Clasifica: simple o compuesta
| Proposición | Clasificación |
|---|---|
| «El sol es una estrella» | Simple |
| «Iré al cine o me quedaré en casa» | Compuesta (disyunción) |
| «7 es un número primo» | Simple |
| «Si llueve, entonces no salgo a correr» | Compuesta (condicional) |
| «No es cierto que 5 sea par» | Compuesta (negación) |
Traduce a lenguaje simbólico
Usa: p: «Ana estudia», q: «Ana aprueba el examen»
| Enunciado | Traducción simbólica |
|---|---|
| «Ana estudia y aprueba el examen» | p ∧ q |
| «Ana no estudia» | ¬p |
| «Si Ana estudia, entonces aprueba el examen» | p → q |
| «Ana estudia o no aprueba el examen» | p ∨ ¬q |
Identifica el cuantificador y determina el valor de verdad
Cuantificador: universal (∀) — la palabra clave es «todos».
Razonamiento: revisamos si existe algún número natural que sea negativo. Por definición, los números naturales son 0, 1, 2, 3… — ninguno es negativo. No hay contraejemplo.
Cuantificador: existencial (∃) — la palabra clave es «existe».
Razonamiento: buscamos al menos un número que sea par y primo a la vez. El número 2 es par, y sus únicos divisores son 1 y él mismo, así que también es primo. Encontramos un caso.
Cuantificador: universal (∀).
Razonamiento: buscamos un contraejemplo — un número primo que NO sea impar. El número 2 es primo y es par. Ya con ese único caso, la proposición universal queda invalidada, sin necesidad de revisar más números.
Cuantificador: existencial (∃).
Razonamiento: por definición, un triángulo tiene exactamente 3 lados — ninguna figura con 4 lados puede llamarse triángulo. No existe ningún caso que cumpla la condición.
Regla: la negación de «para todo, se cumple» es «existe al menos uno para el cual no se cumple».
Aplicamos la regla: negamos el cuantificador (∀ se convierte en ∃) y negamos la condición («aprobaron» se convierte en «no aprobó»).
Resumen del artículo
Errores comunes
Preguntas frecuentes
No, dentro del mismo contexto y con el mismo significado, una proposición tiene un único valor de verdad. Lo que puede pasar es que un mismo enunciado, con un significado ambiguo, en realidad esconda dos proposiciones distintas (por ejemplo, «el banco está cerca» podría referirse a una entidad financiera o a un asiento de parque). Una vez que fijas el significado, el valor de verdad es único.
Porque su verdad o falsedad no se puede establecer de forma objetiva e independiente de quién las evalúa. «Esta canción es la mejor» depende del gusto de cada persona — no hay un criterio externo y universal para decidir si es verdadera o falsa, como sí lo hay para «9 es impar».
Una proposición es cualquier enunciado con un valor de verdad definido. Un axioma es un tipo especial de proposición que se acepta como verdadera sin necesidad de demostración, y sirve como punto de partida para demostrar otras proposiciones (llamadas teoremas) dentro de un sistema matemático.
Sí, y es muy común en matemáticas avanzadas. Por ejemplo: «para todo número real x, existe un número real y tal que y es mayor que x» (∀x ∃y, y>x) combina ambos cuantificadores. El orden en que aparecen importa mucho — cambiarlo puede cambiar completamente el significado de la proposición.
El siguiente artículo de la serie profundiza en los conectores lógicos: conjunción (∧), disyunción (∨), negación (¬), condicional (→) y bicondicional (↔). Ahí veremos cómo cada conector combina proposiciones simples y cómo traducir frases completas del español al lenguaje simbólico con varios conectores a la vez.
🧠 Explora Lógica Matemática
🌐 Herramientas de cálculo
