Proposiciones y Valores de Verdad: Fundamentos de la Lógica Matemática

¿Qué es una proposición lógica?

Una proposición es un enunciado declarativo que puede clasificarse de manera inequívoca como verdadero o falso, pero nunca ambos simultáneamente. Esta definición aparentemente simple tiene implicaciones profundas: no todos los enunciados que decimos o escribimos son proposiciones.

Características esenciales de una proposición

Para que un enunciado sea considerado una proposición, debe cumplir con criterios específicos que lo distinguen de otros tipos de oraciones.

• Debe ser una oración declarativa (afirma o niega algo)

• Debe tener un valor de verdad definido (verdadero o falso)

• No puede ser simultáneamente verdadera y falsa

• No debe ser una pregunta, orden, exclamación o deseo

Ejemplos de proposiciones válidas

Observemos enunciados que sí califican como proposiciones:

• "El número 7 es primo" → Verdadero

• "La suma de los ángulos internos de un triángulo es 200°" → Falso

• "México está en América del Norte" → Verdadero

• "2 + 2 = 5" → Falso

• "Todos los números pares son divisibles entre 2" → Verdadero

Enunciados que no son proposiciones

Muchas oraciones del lenguaje cotidiano no cumplen los criterios para ser proposiciones:

• "¿Cuánto es 3 más 5?" → Es una pregunta, no afirma nada

• "¡Qué hermoso día!" → Es una exclamación

• "Cierra la puerta" → Es una orden

• "Ojalá apruebe el examen" → Es un deseo

• "x + 3 = 7" → Es una ecuación abierta (depende del valor de x)

• "Esta oración es falsa" → Genera una paradoja (no puede ser V ni F)

Valores de verdad: verdadero y falso

En lógica clásica bivalente, trabajamos exclusivamente con dos valores de verdad, representados de diferentes formas según la convención utilizada.

Notaciones para los valores de verdad

Existen varias formas de representar verdadero y falso en lógica matemática:

• Verdadero: V, T (True), 1

• Falso: F, F (False), 0

La notación numérica (1 y 0) es especialmente útil en programación y electrónica digital, donde los circuitos lógicos operan con estos valores binarios.

Principios fundamentales de la lógica clásica

Dos principios rigen el comportamiento de los valores de verdad:

Principio de no contradicción

Una proposición no puede ser verdadera y falsa al mismo tiempo. Si afirmamos "El Sol es una estrella", este enunciado es verdadero, y no puede simultáneamente ser falso.

Principio del tercero excluido

Toda proposición es verdadera o falsa, sin término medio. No existe un tercer valor de verdad en la lógica clásica. Si decimos "Mañana lloverá", aunque no sepamos ahora cuál es su valor, en el momento que llegue mañana será definitivamente verdadero o falso.

Variables proposicionales y su uso

Así como en álgebra usamos letras para representar números desconocidos, en lógica utilizamos variables proposicionales para representar proposiciones.

Notación estándar

Las variables proposicionales se representan típicamente con letras minúsculas del alfabeto latino: p, q, r, s... También se usan frecuentemente P, Q, R mayúsculas.

Por ejemplo, si definimos:

• p: "Está lloviendo"

• q: "El suelo está mojado"

Podemos construir expresiones como "Si p entonces q", que representa la idea de que si llueve, el suelo se moja.

Proposiciones simples y compuestas

Las proposiciones se clasifican según su estructura interna en dos categorías fundamentales.

Proposiciones simples o atómicas

Son aquellas que no contienen otras proposiciones como partes. No pueden descomponerse en proposiciones más pequeñas mediante conectivos lógicos.

• "El número 5 es impar"

• "La Tierra gira alrededor del Sol"

• "2 es el único número primo par"

Proposiciones compuestas o moleculares

Se forman combinando proposiciones simples mediante conectivos lógicos como "y", "o", "si... entonces", "no", etc.

• "El número 6 es par y divisible entre 3"

• "Llueve o hace sol"

• "Si estudio, entonces aprobaré el examen"

• "No es cierto que todos los pájaros vuelan"

Determinación del valor de verdad

Determinar si una proposición es verdadera o falsa requiere diferentes enfoques según la naturaleza del enunciado.

Proposiciones matemáticas

Se verifican mediante demostración, cálculo o definición:

• "15 es múltiplo de 3" → Calculamos 15 ÷ 3 = 5 exacto → Verdadero

• "√2 es racional" → Se demuestra por contradicción que es falso → Falso

• "Todo cuadrado es un rectángulo" → Por definición de cuadrado → Verdadero

Proposiciones empíricas

Se verifican mediante observación o experimentación:

• "El agua hierve a 100°C al nivel del mar" → Experimento confirma → Verdadero

• "Todos los cisnes son blancos" → Existen cisnes negros → Falso

Aplicaciones prácticas de las proposiciones

En programación

Los lenguajes de programación evalúan condiciones como proposiciones. Un if statement verifica si una condición es true o false para decidir qué código ejecutar:

if (edad >= 18) significa evaluar la proposición "la edad es mayor o igual a 18".

En matemáticas

Los teoremas son proposiciones que se demuestran verdaderas. Las conjeturas son proposiciones cuyo valor de verdad aún no se ha determinado, como la famosa conjetura de Goldbach.

En la vida cotidiana

El pensamiento crítico implica evaluar la veracidad de afirmaciones. Cuando analizamos noticias, argumentos publicitarios o discursos políticos, estamos determinando valores de verdad de proposiciones.

Ejercicios para practicar

Clasifica cada enunciado: ¿es una proposición? Si lo es, determina su valor de verdad.

• "El número 1 es primo" → Proposición, Falso (por definición, 1 no es primo)

• "¿Cuántos lados tiene un hexágono?" → No es proposición (es pregunta)

• "3² + 4² = 5²" → Proposición, Verdadero (9 + 16 = 25)

• "Suma estos números" → No es proposición (es orden)

• "Algunos triángulos son equiláteros" → Proposición, Verdadero

Conclusión

Las proposiciones y sus valores de verdad constituyen los bloques fundamentales de la lógica matemática. Comprender qué hace que un enunciado sea una proposición y cómo determinar su valor de verdad es el primer paso para dominar el razonamiento lógico. Esta base nos permitirá avanzar hacia los conectivos lógicos y la construcción de argumentos más complejos.