1. ¿Qué es una Proposición Lógica? Guía Completa (actualizado)

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.

Veremos cómo identificarla, qué expresiones NO califican como proposiciones y cómo representarlas simbólicamente. Al final, pondrás a prueba lo aprendido con ejercicios prácticos resueltos.

¿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. Esa es la esencia de 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.
• Vete a comprar pan.

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 falsa» (conocida como la paradoja del mentiroso)

Si la oración «Esta oración es falsa» fuera verdadera, entonces lo que afirma sería cierto, es decir, sería falsa. Pero si fuera falsa, entonces lo que afirma no se cumple, es decir, sería verdadera. Esta contradicción impide asignarle un valor de verdad.

Dato curioso: La frase «Yo siempre miento» suele confundirse con la paradoja del mentiroso, pero no es una paradoja genuina. Si fuera verdadera, quien la dice estaría mintiendo al decirla, lo cual es contradictorio; por tanto, no puede ser verdadera. Pero si es falsa, solo significa que esa persona a veces dice la verdad, y eso no genera ninguna contradicción. Es, simplemente, una proposición falsa. Algo similar ocurre con la célebre paradoja de Epiménides: el filósofo cretense Epiménides (siglo VI a. C.) habría afirmado que «todos los cretenses son mentirosos». Siendo él mismo cretense, parece una contradicción, pero basta con que exista al menos un cretense que diga la verdad para que la frase sea, sencillamente, falsa.

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, siendo la montaña más alta.
   • Valor de verdad: V
4. «\( \pi = 3.14 \)»
   • Análisis: \( \pi = 3.14159265… \) El valor 3.14 es solo una aproximación, no el valor exacto.
   • Valor de verdad es: V (si hablamos del valor aproximado)
   • Caso contrario: Si π=3.1415 entonces es falsa porque 3.1415≠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 «Lima es la capital del Perú», esta afirmación es exactamente esa y no otra diferente.

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.

Históricamente, desde Aristóteles, estos tres principios se consideraron verdades evidentes por sí mismas, conocidas como las leyes fundamentales del pensamiento, y son la base del razonamiento deductivo.

Sin embargo, en el cálculo proposicional moderno no es necesario aceptarlos sin prueba: se pueden demostrar como tautologías (fórmulas que son verdaderas en todos los casos posibles), algo que veremos en la publicación de tablas de verdad. Por eso, más que axiomas, lo preciso es llamarlos principios o leyes lógicas.

Nota: Que una fórmula sea axioma o teorema depende del sistema formal que se elija. En algunos sistemas, el tercero excluido se toma como axioma; en otros, se demuestra a partir de otros axiomas.

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 ley válida en general)
• 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, sistemas de control 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
\( t \)	«Un año tiene 12 meses»	V

Nota sobre el contexto: Oraciones como «Hoy es lunes» contienen palabras cuyo significado depende del contexto («hoy», «aquí», «él»). Sin un contexto fijo se comportan como frases abiertas, igual que «Él es estudiante de ingeniería». Pero una vez fijado el contexto (por ejemplo, el día concreto en que se dice), adquieren un valor de verdad y se convierten en proposiciones.

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 al menos un conectivo lógico. Pueden estar formadas por una sola proposición simple (como en la negación) o por varias.

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 del Perú»	«Lima no es la capital del Perú»

Conjunción (\( \land \))

La conjunción une dos proposiciones con «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 «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 \)

\( 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 \)
«4 es par»	«4 es divisible entre 2»	«4 es par si y solo si 4 es divisible entre 2″
«Hoy es sábado»	«Mañana es domingo»	«Hoy es sábado si y solo si mañana es domingo»
«Son las 12:00 p. m.»	«Es mediodía»	«Son las 12:00 p. m. si y solo si es mediodía»
«El triángulo es equilátero»	«El triángulo tiene sus tres lados iguales»	«El triángulo es equilátero si y solo si tiene sus tres lados iguales»

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.

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:

Limitación	Ejemplo	Solución
No analiza la estructura interna	«Sócrates es mortal» es solo «p», no ve la propiedad «mortal»	Lógica de Predicados
No expresa cuantificadores	«Todos los humanos son mortales», «Algunos gatos son negros»	Lógica de Predicados (∀, ∃)
No representa relaciones	«Juan es más alto que Pedro»	Lógica de Predicados
No maneja vaguedad	«Juan es alto»	Lógica Difusa
No maneja incertidumbre	«Probablemente llueva mañana»	Lógica Probabilística
No razona sobre tiempo	«Algún día lloverá»	Lógica Temporal
No expresa posibilidad	«Es posible que llueva»	Lógica Modal

¿Cuándo 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
Probabilidades («probablemente», 70 % de probabilidad)	Probabilística
Posibilidad y necesidad	Modal

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

¿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. Las condiciones de las estructuras if-else se evalúan como verdaderas o falsas, igual que una proposición. Por ejemplo, en Python:

if edad >= 18 and tiene_documento:
    permitir_acceso()

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

Nota: Técnicamente, edad >= 18 es una frase abierta, porque depende del valor de la variable edad. Cuando el programa se ejecuta y edad tiene un valor concreto (por ejemplo, 20), la condición se convierte en una proposición con valor V o F.

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 se basan en la lógica proposicional:

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

Aquí: \( p \): «promedio > 14», \( q \): «asistencia >= 80» → La condición es: \( p \land q \). La consulta devuelve solo los estudiantes (filas) para los que la condición es verdadera.

Dato curioso: SQL no usa exactamente dos valores de verdad. Cuando un dato falta (valor NULL), la condición no es ni verdadera ni falsa, sino desconocida. Por eso se dice que SQL trabaja con una lógica de tres valores.

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

Ejercicios Prácticos

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

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

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, 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 en la universidad y trabajo en una tienda.

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. (Aunque mencioné que la lógica proposicional no usa cuantificadores directamente, esta proposición se trata como una proposición simple; su estructura interna con «todos» se analiza en la publicación de cuantificadores lógicos)
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 \). Como la palabra «Además» funciona como una conjunción, el texto completo se expresa como una sola proposición compuesta: \( [(p \land q) \rightarrow r] \land (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 en la universidad» (p) y «trabajo en una tienda» (q), unidas por «y»

Resumen

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

Concepto	Descripción
Proposición	Enunciado declarativo 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	Contiene uno o más conectivos lógicos

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 \)

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, vaguedad, incertidumbre, posibilidad ni tiempo. Para eso existen la lógica de predicados, la lógica difusa, la lógica probabilística, la lógica modal y la lógica temporal.

Preguntas Frecuentes

Las siguientes preguntas están basadas en consultas reales que los usuarios escriben en los motores de búsqueda. Me parecieron lo suficientemente interesantes como para responderlas aquí, ya que reflejan dudas comunes que probablemente tú también tengas.

¿Una opinión puede ser una proposición lógica?

Por lo general, no. Una oración como «El chocolate es delicioso» o «Ese cuadro es hermoso» tiene forma declarativa, pero su verdad depende del gusto de cada persona y no de un hecho verificable. Por eso no cumple la condición de objetividad.

Sin embargo, muchas opiniones pueden reformularse como proposiciones si se reemplaza el criterio subjetivo por uno medible:

Opinión (no es proposición)	Reformulación (sí es proposición)
«Hace mucho frío en Lima»	«La temperatura en Lima es menor a 15 °C»
«Juan es alto»	«Juan mide más de 1.80 m»
«Ese libro es largo»	«Ese libro tiene más de 500 páginas»

Nota: En la lógica difusa, predicados vagos como «frío» o «alto» no se tratan como simplemente verdaderos o falsos, sino que reciben un grado de verdad (por ejemplo, 0.7).

¿»Las proposiciones lógicas se usan como herramientas de la programación» es una proposición lógica?

Primero, nota que la pregunta «¿es una proposición lógica, sí o no?» no es en sí misma una proposición, porque es una pregunta (interrogativa). Pero la oración que se evalúa — «Las proposiciones lógicas se usan como herramientas de la programación» — sí es una proposición, porque es declarativa y tiene valor de verdad.

En este caso, es verdadera: la lógica booleana, basada en proposiciones, es el fundamento de toda la programación. Cada condición if-else, cada variable booleana y cada operador lógico (AND, OR, NOT) son aplicaciones directas de la lógica proposicional.

¿Cómo puedo identificar si una oración es una proposición lógica?

Ya vimos anteriormente qué tipo de oraciones no son proposiciones. Como refuerzo, aquí tienes tres condiciones rápidas para verificarlo:

1. ¿Es declarativa? Debe afirmar o negar algo. Si es pregunta, orden, exclamación o deseo, no es proposición.
2. ¿Tiene valor de verdad? Debe poder clasificarse como verdadera (V) o falsa (F), sin ambigüedades.
3. ¿Es objetiva? Su verdad o falsedad no debe depender de variables indefinidas ni de opiniones personales.

Si cumple las tres, es una proposición lógica.

¿Por qué no todas las oraciones son proposiciones lógicas?

Porque no todas las oraciones tienen valor de verdad. Las preguntas solicitan información, las órdenes expresan mandatos, las exclamaciones expresan emociones y los deseos expresan esperanzas — ninguna de estas afirma ni niega un hecho verificable. Además, las frases abiertas (como «\( x + 5 = 10 \)») dependen de variables sin definir, y las paradojas (como «esta oración es falsa») generan contradicciones que impiden asignarles un valor de verdad.

¿Cuántos tipos de proposiciones lógicas existen?

Existen dos tipos principales:

1. Proposiciones simples (atómicas): Expresan una sola idea sin conectivos lógicos. Ejemplo: «El sol es una estrella.»
2. Proposiciones compuestas (moleculares): Contienen al menos un conectivo lógico (negación, conjunción, disyunción, condicional o bicondicional). Pueden estar formadas por una sola proposición simple, como en la negación («No llueve»), o por varias unidas entre sí («Llueve y hace frío»).

¿Qué son las formas proposicionales?

Una forma proposicional (también llamada esquema proposicional o fórmula proposicional) es una expresión que contiene variables proposicionales (\( p \), \( q \), \( r \)…) y conectivos lógicos, pero sin un contenido específico asignado. Por ejemplo, \( (p \land q) \rightarrow r \) es una forma proposicional. Al sustituir las variables por proposiciones concretas, se obtiene una proposición compuesta con valor de verdad.

No debe confundirse con una función proposicional, que contiene variables de individuo (como \( x \) en «\( x > 3 \)») y corresponde a las frases abiertas que vimos al inicio.

¿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. Aprenderemos a construir tablas de verdad y a evaluar proposiciones compuestas.

¿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.

Cambios recientes (actualizado)

Actualización del 4 de octubre de 2026. Se revisó esta publicación para corregir errores y mejorar la precisión de algunos conceptos:

• Proposición compuesta: se corrigió la definición. Lo que la caracteriza es contener al menos un conectivo lógico, por lo que también incluye la negación, que se forma con una sola proposición simple.
• Función proposicional y forma proposicional: se distinguieron ambos términos. La función proposicional tiene variables de individuo (como \( x \)); la forma proposicional tiene variables proposicionales (como \( p, q, r \)).
• Paradojas: se retiró «Yo siempre miento» de los ejemplos, porque no es una paradoja genuina, y se añadió un dato curioso sobre la paradoja de Epiménides.
• Principios lógicos: se precisó que la identidad, la no contradicción y el tercero excluido se demuestran como tautologías en el cálculo proposicional, por lo que es más preciso llamarlos leyes lógicas que axiomas.
• Limitaciones: se distinguió entre vaguedad (lógica difusa) e incertidumbre (lógica probabilística) y se mejoró el ejemplo de lógica temporal.
• Variables proposicionales: se reemplazó el ejemplo «Hoy es lunes» por una proposición con valor fijo y se añadió una nota sobre las oraciones que dependen del contexto.
• Preguntas frecuentes: se reemplazó la pregunta sobre «El día está frío» por una sobre opiniones y proposiciones.
• Respuestas a los ejercicios: se agregó una claración a la respuesta del ejercicio B6, se completó la fórmula de la sección C y se añadió una aclaración sobre el cuantificador «todos» en la respuesta B6.
• Aplicaciones: el ejemplo de programación ahora usa sintaxis real de Python y aclara que sus condiciones son frases abiertas hasta que se ejecutan; el ejemplo de SQL incluye su equivalencia lógica y un dato curioso sobre la lógica de tres valores.
• Otras mejoras: ejemplos más precisos en la negación y el bicondicional, y ajustes de redacción.