1. ¿Qué es una Proposición Lógica? Guía Completa con algunos ejercicios

En esta guía completa aprenderás qué es una proposición lógica y todo lo que necesitas saber sobre este concepto fundamental de la lógica matemática.

Aprenderás qué es una proposición lógica, cómo identificarla, qué expresiones NO califican como proposiciones, cómo representarlas simbólicamente e incluiremos algunos ejercicios prácticos.

¿Qué es una Proposición Lógica?

Una proposición lógica (o simplemente proposición) es una oración declarativa que tiene un único valor de verdad: puede ser verdadera (V) o falsa (F), pero nunca ambas cosas al mismo tiempo.

Características fundamentales

1. Es una oración declarativa: Afirma o niega algo sobre el mundo.
2. Tiene un valor de verdad definido: Siempre es V o F, sin excepciones.
3. Es objetiva: Su verdad o falsedad no depende de opiniones personales.

Ejemplos de proposiciones

Proposición	Valor de verdad
Lima es la capital del Perú	V
\( 2 + 3 = 7 \)	F
El agua hierve a 100°C a nivel del mar	V
La Luna es más grande que la Tierra	F
\( \sqrt{16} = 4 \)	V
Brasil está en Europa	F

Observa que cada enunciado puede clasificarse claramente como verdadero o falso e identifica que es una proposición y que no es una proposición.

¿Qué NO es una Proposición?

No todas las oraciones son proposiciones. Para que un enunciado sea considerado una proposición lógica, debe poder asignársele un valor de verdad. Las siguientes expresiones NO son proposiciones:

Preguntas (oraciones interrogativas)

Las preguntas no afirman nada, solo solicitan información.

• ¿Cuántos años tienes?
• ¿Qué hora es?
• ¿Vendrás mañana a clase?

Órdenes e imperativos

Los mandatos expresan deseos de que alguien haga algo, no afirman hechos.

• ¡Cierra la puerta!
• Estudia para el examen.
• Por favor, siéntate.

Exclamaciones

Las exclamaciones expresan emociones, no hechos verificables.

• ¡Qué bonito día!
• ¡Increíble!
• ¡Feliz cumpleaños!

Deseos y ruegos

Los deseos expresan esperanzas, no afirmaciones.

• Ojalá apruebe el curso.
• Espero que no llueva mañana.
• Desearía poder viajar.

Frases abiertas (con variables sin valor definido)

Una expresión con variables indefinidas no tiene valor de verdad hasta que se asigne un valor específico.

• \( x + 5 = 10 \) (¿Cuánto vale \( x \))
• Él es estudiante de ingeniería (¿quién es «él»?)
• \( y > 3 \) (depende del valor de \( y \))

Nota importante: Si asignamos un valor a la variable, la frase abierta se convierte en proposición. Por ejemplo, si \( x = 5 \), entonces «\( x + 5 = 10 \)» se convierte en «\( 5 + 5 = 10 \)», que es una proposición verdadera.

Terminología: Las frases abiertas también se conocen como enunciados abiertos o funciones proposicionales. Este último término es muy utilizado en lógica de primer orden (o lógica de predicados), tema que abordaremos en futuras publicaciones.

Paradojas

Las paradojas generan contradicciones lógicas y no pueden tener un valor de verdad consistente.

• «Esta oración es mentira»
• «Yo siempre miento»

Si la oración «Esta oración es mentira» fuera verdadera, entonces estaría mintiendo, lo que la haría falsa. Pero si fuera falsa, entonces no estaría mintiendo, lo que la haría verdadera. Esta contradicción impide asignarle un valor de verdad.

Valor de Verdad

El valor de verdad es la cualidad que indica si una proposición es verdadera o falsa.

Notación

El valor de verdad se representa de diferentes formas equivalentes:

Verdadero	Falso
V	F
1	0
True	False

Ejemplos de determinación del valor de verdad

Determina el valor de verdad de las siguientes proposiciones:

1. «El número 7 es primo»
   • Análisis: Los números primos solo son divisibles por 1 y por sí mismos. El 7 cumple esta condición.
   • Valor de verdad: V
2. «\( 3^2 = 6 \)»
   • Análisis: \( 3^2 = 3 \times 3 = 9 \neq 6 \)
   • Valor de verdad: F
3. «El Everest es la montaña más alta del mundo»
   • Análisis: El Monte Everest tiene 8,848 metros superando a todas montañas del mundo desde el nivel del mar, siendo la montaña más alta oficialmente registrada.
   • Valor de verdad: V
4. «\( \pi \thickapprox 3.1415 \)»
   • Análisis: \( \pi \thickapprox 3.14159265… \) es un número irracional, El valor 3.1415 es solo una aproximación, no el valor exacto.
   • Valor de verdad: V (si hablamos del valor aproximado)
   • Caso contrario: Si \( \pi = 3.1415 \) entonces es falsa porque \( 3.1415 \neq 3.14159265… \)

Principios Lógicos Fundamentales

La lógica clásica se fundamenta en tres principios que toda proposición debe cumplir:

Principio de Identidad

Toda proposición es idéntica a sí misma.

En símbolos: \( p \equiv p \) (se lee: «p es equivalente a p»)

Si afirmamos que «un circulo es un circulo» es porque no puede ser un cuadrado o un triangulo ya que es ilógico.

Principio de No Contradicción

Una proposición no puede ser verdadera y falsa al mismo tiempo.

En símbolos: \( \neg(p \land \neg p) \) (se lee: «no es el caso que \( p \) y no \( -p \)»)

Es imposible que «\( 2 + 2 = 4 \)» sea verdadero y falso simultáneamente.

Principio del Tercero Excluido

Toda proposición es verdadera o es falsa; no existe una tercera posibilidad.

En símbolos: \( p \lor \neg p \) (se lee: «\( p \) o no \( -p \)»)

Una proposición como «Marte tiene agua» es verdadera o falsa. No hay un estado intermedio.

Nota: Los símbolos \( \neg \), \( \land \) y \( \lor \) son conectivos lógicos que estudiaremos en detalle en la próxima publicación.

¿Son axiomas estos principios?

Un axioma es una proposición que se acepta como verdadera sin necesidad de demostración. Sirve como punto de partida para construir un sistema lógico o matemático.

En la lógica clásica, estos tres principios funcionan como axiomas o verdades fundamentales que se aceptan sin demostración. Son la base del razonamiento deductivo y pueden verificarse como tautologías (fórmulas siempre verdaderas) mediante tablas de verdad.

Sin embargo, existen lógicas no clásicas donde algunos de estos principios no se aceptan:

• Lógica Intuicionista: Rechaza el Tercero Excluido (no acepta \( p \lor \neg p \) como axioma)
• Lógica Paraconsistente: Permite contradicciones controladas
• Lógica Difusa: Admite valores de verdad intermedios entre 0 y 1

Estos sistemas alternativos tienen aplicaciones en inteligencia artificial, computación cuántica y filosofía. Los estudiaremos en futuras publicaciones.

Variables Proposicionales

Para trabajar de manera más eficiente con proposiciones, utilizamos variables proposicionales (también llamadas variables sentenciales o letras proposicionales): son letras minúsculas que representan proposiciones completas.

Notación estándar

Se utilizan las letras: \( p, q, r, s, t, u, v, w… \)

También se pueden usar subíndices cuando se necesitan más variables: \( p_1, p_2, p_3… \)

Ejemplos de asignación con valor de verdad

Variable	Proposición	Valor
\( p \)	«5 es un número par»	F
\( q \)	«Perú está en América»	V
\( r \)	«El agua hierve a 100°C a nivel del mar»	V
\( s \)	«Madrid es la capital de Francia»	F

Al asignar letras a las proposiciones, podemos referirnos a ellas de forma abreviada. Esto será especialmente útil cuando trabajemos con proposiciones compuestas y tablas de verdad.

Ventajas de usar variables proposicionales

1. Simplicidad: Es más fácil escribir \( p \) que «El triángulo tiene tres lados»
2. Generalización: Permite trabajar con fórmulas lógicas sin importar el contenido específico
3. Manipulación algebraica: Facilita aplicar reglas lógicas
4. Abstracción: Permite estudiar la estructura lógica independiente del contenido

Clasificación de Proposiciones

Las proposiciones se clasifican en dos tipos según su estructura:

Proposiciones Simples (Atómicas)

Son aquellas que no contienen conectivos lógicos y expresan una sola idea. No pueden descomponerse en proposiciones más pequeñas.

Ejemplos:

• «El sol sale por el este»
• «María estudia medicina»
• «\( 5 > 3 \)»
• «El agua es líquida a temperatura ambiente»

Proposiciones Compuestas (Moleculares)

Son aquellas que contienen uno o más conectivos lógicos y están formadas por dos o más proposiciones simples.

Ejemplos:

• «Llueve y hace frío» (dos proposiciones unidas por «y»)
• «Estudio o trabajo» (dos proposiciones unidas por «o»)
• «Si apruebo el examen, entonces celebraré» (estructura condicional)
• «No es cierto que la Tierra sea plana» (negación)

Introducción a los Conectivos Lógicos

Los conectivos lógicos (también llamados operadores lógicos) son símbolos que permiten combinar proposiciones simples para formar proposiciones compuestas. A continuación, presentamos una introducción breve a cada uno:

Negación (\( \neg \))

La negación invierte el valor de verdad de una proposición. Si \( p \) es verdadera, entonces \( \neg p \) es falsa, y viceversa.

Estructura: \( \neg p \)

\( p \)	\( \neg p \)
«Está lloviendo»	«No está lloviendo»
«El número 5 es par»	«El número 5 no es par»
«Lima es la capital»	«Lima no es la capital»

Conjunción (\( \land \))

La conjunción une dos proposiciones con la letra «y». Es verdadera solo cuando ambas proposiciones son verdaderas.

Estructura: \( p \land q \)

\( p \)	\( q \)	\( p \land q \)
«Hace sol»	«Hace calor»	«Hace sol y hace calor»
«2 es par»	«3 es impar»	«2 es par y 3 es impar»
«Estudio»	«Trabajo»	«Estudio y trabajo»

Disyunción (\( \lor \))

La disyunción une dos proposiciones con la vocal «o». Es verdadera cuando al menos una de las proposiciones es verdadera.

Estructura: \( p \lor q \)

\( p \)	\( q \)	\( p \lor q \)
«Voy al cine»	«Me quedo en casa»	«Voy al cine o me quedo en casa»
«Es lunes»	«Es martes»	«Es lunes o es martes»
«Llueve»	«Hace frío»	«Llueve o hace frío»

Condicional (\( \rightarrow \))

El condicional establece una relación de implicación: «si… entonces…». Es falso solo cuando el antecedente es verdadero y el consecuente es falso.

Estructura: \( p \rightarrow q \), donde \( p \) es el antecedente y \( q \) es el consecuente.

\( p \)	\( q \)	\( p \rightarrow q \)
«Juan estudia»	«Juan aprueba»	«Si Juan estudia, entonces Juan aprueba»
«Hoy llueve en Lima»	«María lleva paraguas»	«Si hoy llueve en Lima, entonces María lleva paraguas»
«Hoy es feriado»	«El banco está cerrado»	«Si hoy es feriado, entonces el banco está cerrado»

Bicondicional (\( \leftrightarrow \))

El bicondicional indica equivalencia: «si y solo si». Es verdadero cuando ambas proposiciones tienen el mismo valor de verdad.

Estructura: \( p \leftrightarrow q \)

\( p \)	\( q \)	\( p \leftrightarrow q \)
«Es par»	«Es divisible entre 2»	«Es par si y solo si es divisible entre 2″
«Son las 12:00»	«Es mediodía»	«Son las 12:00 si y solo si es mediodía»
«Hoy es sábado»	«Mañana es domingo»	«Hoy es sábado si y solo si mañana es domingo»

Nota: Esta es solo una introducción a los conectivos lógicos. En la próxima publicación estudiaremos cada conectivo en profundidad, incluyendo sus tablas de verdad completas, propiedades y ejemplos avanzados.

¿Por qué estudiar proposiciones lógicas?

Ahora que conoces la teoría, es momento de entender para qué nos sirve todo esto en la práctica:

Programación y Ciencias de la Computación

Las proposiciones son la base de la lógica booleana, el corazón de toda la programación. Cada condición if-else es una proposición:

if (edad >= 18 AND tieneDocumento == true) {    permitirAcceso();}

Aquí: \( p \): «edad >= 18», \( q \): «tieneDocumento == true» → La condición es: \( p \land q \)

¿Qué significa esto? Si no tienes experiencia en programación, te lo explico:

• if-else significa «si… entonces… si no…». Es la forma en que las computadoras toman decisiones.
• AND es lo mismo que el conectivo lógico conjunción (\( \land \)) que vimos antes.
• El código dice: «Si la edad es mayor o igual a 18 y tiene documento, entonces permitir acceso».

En otras palabras: solo si ambas proposiciones son verdaderas (\( p \land q = \mathrm{V} \)), se ejecuta la acción. ¡Es exactamente la conjunción lógica en acción!

Inteligencia Artificial

Los sistemas de IA usan lógica proposicional para sistemas expertos, diagnóstico médico y verificación de software.

Circuitos Digitales

Las compuertas lógicas (AND, OR, NOT) funcionan exactamente como los conectivos lógicos. Tu computadora procesa información usando estos principios.

Matemáticas

Fundamentales para construir demostraciones rigurosas, entender teoremas y trabajar con conjuntos.

Pensamiento Crítico

Te ayuda a identificar falacias, construir argumentos válidos y detectar información falsa.

Bases de Datos (SQL)

Las consultas usan directamente lógica proposicional:

SELECT * FROM estudiantes WHERE promedio > 14 AND asistencia >= 80;

¿Qué significa esto? SQL es el lenguaje para consultar bases de datos. Este código dice:

• SELECT * FROM estudiantes → «Selecciona todos los datos de la tabla estudiantes»
• WHERE → «Donde se cumplan las siguientes condiciones»
• promedio > 14 AND asistencia >= 80 → \( p = \text{promedio} > 14 \), \( q = \text{asistencia} ≥ 80 \): es lo mismo que \( p \land q \)

En español: «Dame todos los estudiantes cuyo promedio sea mayor a 14 y cuya asistencia sea al menos 80%». Solo aparecen los estudiantes donde ambas condiciones son verdaderas.

En resumen: Las proposiciones no son solo simples teorías. Son herramientas que usamos en tecnología, ciencia, derecho y vida cotidiana.

Limitaciones de la Lógica Proposicional

Aunque la lógica proposicional es fundamental, tiene limitaciones importantes que debes conocer:

Lo que NO puede hacer la lógica proposicional en otros campos:

Limitación	Ejemplo	Detalle oculto	Solución
No analiza la estructura interna	«Sócrates es mortal» es solo «p»	Sujeto: Sócrates, Predicado: mortal → Mortal(Sócrates)	Lógica de Predicados
No expresa cuantificadores	«Todos los humanos son mortales»	Cuantificador: ∀ (para todo) → ∀x: Humano(x) → Mortal(x)	Lógica de Predicados (∀, ∃)
No representa relaciones	«Juan es más alto que Pedro»	Relación: Más Alto(Juan, Pedro) — conecta dos individuos	Lógica de Predicados
No maneja incertidumbre	«Probablemente llueva mañana»	Grado de verdad: 0.7 (70% probable), no solo V o F	Lógica Difusa
No razona sobre tiempo	«Mañana será verdadero»	Operador temporal: F (futuro) → Fp («p será verdadero en el futuro»)	Lógica Temporal
No expresa posibilidad	«Es posible que llueva»	Operador modal: ◇ (posibilidad) → ◇p («es posible que p»)	Lógica Modal
No exige relación entre proposiciones	«Si 2+2=4, entonces ella es bonita»	Implicación material: Solo evalúa V o F, no significado ni causalidad entre p y q	Lógica Relevante

En esta tabla sabrás cuando usar cada tipo de lógica

Necesidad	Tipo de lógica
Conectivos básicos (y, o, no, si-entonces)	Proposicional
Cuantificadores (todos, algunos, ninguno)	De Predicados
Grados de verdad (0.7, 0.3)	Difusa
Posibilidad y necesidad	Modal
Conexión temática entre antecedente y consecuente	Relevante

Nota: Estudiaremos la lógica de predicados (o lógica de primer orden) en futuras publicaciones, donde aprenderás a superar estas limitaciones.

Ejercicios Prácticos

Pon a prueba tu comprensión con los siguientes ejercicios.

Sección A: ¿Es o no es una proposición lógica?

Indica si cada enunciado es una proposición (P) o no es una proposición (NP). Justifica brevemente.

1. El número 15 es divisible entre 3.
2. ¿Cuál es tu color favorito?
3. \( x^2 – 4 = 0 \)
4. ¡Felicitaciones por tu logro!
5. La suma de los ángulos internos de un triángulo es 180°.
6. Ojalá mañana sea un buen día.
7. Cierra la ventana, por favor.
8. \( 2 + 2 = 5 \)
9. «Esta oración tiene cinco palabras»
10. Lima está en Perú.

Sección B: Determina el valor de verdad

Para cada proposición lógica, determina si es verdadera (V) o falsa (F).

1. \( \sqrt{25} = 5 \)
2. El cuadrado de un número negativo es negativo.
3. Perú tiene costa en el Océano Pacífico.
4. \( 7 \times 8 = 54 \)
5. El número 1 es primo.
6. Todos los mamíferos son vertebrados.
7. \( (-3)^2 = -9 \)
8. El triángulo equilátero tiene todos sus lados iguales.

Sección C: Identifica las variables proposicionales

Asigna variables proposicionales (\( p \), \( q \), \( r \)…) a las proposiciones simples del siguiente texto:

«Si estudias matemáticas y practicas ejercicios, entonces aprobarás el examen. Además, si apruebas el examen, podrás matricularte en el siguiente curso.»

Sección D: Clasifica en simple o compuesta

Indica si cada proposición es Simple (S) o Compuesta (C). Si es compuesta, identifica las proposiciones simples que la conforman.

1. El agua es un compuesto químico.
2. Llueve o hace sol.
3. Si tengo dinero, entonces viajaré.
4. La Luna gira alrededor de la Tierra.
5. No es cierto que 2 + 2 = 5.
6. Estudio y trabajo al mismo tiempo.

Respuestas a los Ejercicios

Sección A

1. P – Es una afirmación que puede ser V o F (en este caso, V)
2. NP – Es una pregunta
3. NP – Es una frase abierta (depende del valor de \( x \))
4. NP – Es una exclamación
5. P – Es una afirmación verificable (V)
6. NP – Es un deseo
7. NP – Es una orden
8. P – Es una afirmación que puede ser V o F (en este caso, F)
9. P – Es verdadera: «Esta oración tiene cinco palabras» efectivamente tiene 5 palabras
10. P – Es una afirmación verificable (V)

Sección B

1. V – \( \sqrt{25} = 5 \) es correcto
2. F – El cuadrado de cualquier número real es no negativo. \( (-3)^2 = 9 > 0 \)
3. V – Perú tiene costa en el Pacífico
4. F – \( 7 \times 8 = 56 \), no \( 54 \)
5. F – El número 1 no se considera primo por definición
6. V – Todos los mamíferos son vertebrados
7. F – \( (-3)^2 = (-3) \times (-3) = 9 \), no \( -9 \)
8. V – Por definición, un triángulo equilátero tiene sus tres lados iguales

Sección C

• \( p \): «Estudias matemáticas»
• \( q \): «Practicas ejercicios»
• \( r \): «Aprobarás el examen»
• \( s \): «Podrás matricularte en el siguiente curso»

La estructura sería: \( (p \land q) \rightarrow r \) y \( r \rightarrow s \)

Sección D

1. S – Es una sola afirmación
2. C – Compuesta por: «Llueve» (p) y «hace sol» (q), unidas por «o»
3. C – Compuesta por: «tengo dinero» (p) y «viajaré» (q), con estructura condicional
4. S – Es una sola afirmación
5. C – Es la negación de «2 + 2 = 5»
6. C – Compuesta por: «Estudio» (p) y «trabajo al mismo tiempo» (q), unidas por «y»

Resumen

En esta publicación hemos aprendido los conceptos fundamentales sobre proposiciones lógicas:

Concepto	Descripción
Proposición lógica	Oración declarativa con valor de verdad V o F
Valor de verdad	Cualidad de ser verdadero (V/1) o falso (F/0)
Variables proposicionales	Letras (\( p, q, r… \)) que representan proposiciones
Proposición simple	No contiene conectivos lógicos
Proposición compuesta	Formada por proposiciones simples unidas con conectivos
Axioma	Proposición que se acepta como verdadera sin demostración

Los tres principios fundamentales

1. Identidad: \( p \equiv p \)
2. No contradicción: \( \neg(p \land \neg p) \)
3. Tercero excluido: \( p \lor \neg p \)

Estos principios funcionan como axiomas en la lógica clásica.

Los cinco conectivos lógicos (introducción)

Conectivo	Símbolo	Ejemplo
Negación	\( \neg \)	«No llueve»
Conjunción	\( \land \)	«Llueve y hace frío»
Disyunción	\( \lor \)	«Llueve o hace sol»
Condicional	\( \rightarrow \)	«Si llueve, entonces me mojo»
Bicondicional	\( \leftrightarrow \)	«Apruebo si y solo si estudio»

Limitaciones de la lógica proposicional

La lógica proposicional no puede expresar cuantificadores («todos», «algunos»), relaciones entre objetos, incertidumbre ni tiempo. Para eso existen la lógica de predicados, lógica difusa, lógica modal y lógica temporal.

¿Qué viene después?

En la siguiente publicación de conectivos lógicos aprenderás en detalle: la negación, conjunción, disyunción inclusiva, condicional, bicondicional y la disyunción exclusiva.

---

¿Te resultó útil esta publicación? ¡Déjame un comentario con tus dudas o sugerencias! Y no olvides revisar la próxima entrega de esta serie sobre lógica matemática.