Lógica proposicional

La lógica proposicional, también conocida como lógica de enunciados o cálculo proposicional, es la rama de la lógica matemática que estudia las proposiciones y la forma en que se combinan mediante conectivos lógicos.

A diferencia de la lógica de predicados, la lógica proposicional no analiza la estructura interna de las proposiciones, por lo que se considera un sistema lógico de orden cero. Para ella, cada afirmación es un bloque atómico e indivisible; no distingue sujetos, predicados ni cuantificadores, sino que se enfoca exclusivamente en el valor de verdad de la oración completa y cómo se relaciona con otras.

El objetivo central de la lógica proposicional es analizar la validez de los argumentos. Un argumento es válido cuando, siempre que todas sus premisas son verdaderas, la conclusión también lo es. Para este fin, se utilizan reglas de inferencia, que son patrones deductivos básicos que permiten derivar conclusiones válidas a partir de premisas dadas.

En este artículo desarrollaremos los conceptos básicos del cálculo proposicional: proposiciones, conectivos lógicos, tablas de verdad y reglas de inferencia, entre otros.

Proposiciones

Una proposición es una afirmación declarativa que puede ser verdadera o falsa, pero no ambas a la vez. Las proposiciones se utilizan como las unidades básicas de la lógica proposicional y se representan con las letras minúsculas p, q, r, s, etc., llamadas variables proposicionales.

Algunos ejemplos de proposiciones son:

• "El Sol es una estrella". (Proposición verdadera).
• "La Tierra es plana". (Proposición falsa).
• "2 + 2 = 4". (Proposición verdadera).
• "El agua hierve a 30°C a nivel del mar". (Proposición falsa).

En cambio, enunciados como "¡Deténgase!", "¿Qué hora es?" o "¡Buenos días!" no son proposiciones, pues no se puede determinar si son verdaderos o falsos; en este grupo entran las órdenes, exclamaciones, preguntas, etc.

El valor de verdad de una proposición es uno de dos posibles estados: verdadero (V) o falso (F). Esta dicotomía está fundada en el principio de bivalencia, pilar de la lógica clásica. Si bien el interés principal de la lógica proposicional no es verificar la verdad fáctica de una afirmación respecto al mundo real (eso corresponde a las ciencias empíricas o al conocimiento particular), sí requiere asignar un valor definido (V o F) a cada proposición atómica para poder operar.

El proceso de convertir expresiones del lenguaje cotidiano al lenguaje lógico se conoce como formalización de proposiciones.

Existen dos tipos de proposiciones:

• Proposiciones simples o atómicas: son afirmaciones básicas que no pueden descomponerse en proposiciones más pequeñas; constituyen las unidades mínimas de significado dentro del sistema. Ejemplos de ellas son los enunciados del inicio.
• Proposiciones compuestas o moleculares: se forman al combinar dos o más proposiciones simples mediante el uso de conectivos lógicos (que veremos enseguida).

Más información y ejemplos de proposiciones

Conectivos lógicos

Los conectivos lógicos son operadores que nos permiten construir proposiciones compuestas a partir de otras proposiciones. Cada uno tiene un símbolo, una lectura en lenguaje natural y unas condiciones de verdad definidas, que resumimos en la siguiente tabla.

Para los ejemplos consideremos las proposiciones p: "La puerta está abierta" y q: "La luz está encendida".

Conectivo	Símbolo	Expresión (lectura)	Ejemplo	Valor de verdad
Negación	¬	"no", "no es cierto que", "es falso que"	¬p: "La puerta no está abierta" ¬q: "No es cierto que la luz esté encendida"	Es verdadera cuando la proposición original es falsa. Es falsa cuando la proposición original es verdadera.
Conjunción	∧	"y", "pero"	p ∧ q: "La puerta está abierta y la luz está encendida"	Es verdadera únicamente cuando ambas proposiciones unidas son verdaderas, en los demás casos es falsa.
Disyunción inclusiva	∨	"o" (inclusivo)	p ∨ q: "La puerta está abierta o la luz está encendida"	Es verdadera cuando al menos una de las proposiciones es verdadera. Es falsa si ambas son falsas.
Disyunción exclusiva	⊻	"o… o…, pero no ambos"	p ⊻ q: "O la puerta está abierta o la luz está encendida, pero no ambas"	Es verdadera cuando exactamente una de las proposiciones es verdadera y la otra es falsa. Es falsa si ambas tienen el mismo valor de verdad.
Condicional o implicación	→	"si…, entonces…"	p → q: "Si la puerta está abierta, entonces la luz está encendida"	Es falsa solo cuando el antecedente (primera proposición) es verdadero y el consecuente (segunda proposición) es falso. En todos los demás casos es verdadera.
Bicondicional o doble implicación	↔	"si y solo si"	p ↔ q: "La puerta está abierta si y solo si la luz está encendida"	Es verdadera cuando ambas proposiciones tienen el mismo valor de verdad (ambas V o ambas F). Es falsa si los valores de verdad son diferentes.

El comportamiento lógico de cada conectivo, es decir, las condiciones bajo las cuales una proposición formada con él es verdadera o falsa, puede resumirse en una tabla de verdad. Esta tabla considera todas las combinaciones posibles de valores de verdad para las proposiciones atómicas que intervienen y, para cada combinación, especifica el resultado de aplicar el conectivo. A continuación podemos ver las tablas de cada conector.

Negación

p	¬p
V	F
F	V

Conjunción

p	q	p ∧ q
V	V	V
V	F	F
F	V	F
F	F	F

Disyunción inclusiva

p	q	p ∨ q
V	V	V
V	F	V
F	V	V
F	F	F

Disyunción exclusiva

p	q	p ⊻ q
V	V	F
V	F	V
F	V	V
F	F	F

Condicional

p	q	p → q
V	V	V
V	F	F
F	V	V
F	F	V

Bicondicional

p	q	p ↔ q
V	V	V
V	F	F
F	V	F
F	F	V

Las proposiciones compuestas pueden, a su vez, combinarse con otras mediante conectivos lógicos para formar fórmulas proposicionales de mayor complejidad. Esta capacidad de anidamiento permite construir estructuras lógicas que reflejen razonamientos extensos. Por ejemplo, partiendo de proposiciones simples p, q, r algunas de las fórmulas que podemos construir son:

• (p ∧ q) → r
• ¬(p ∨ q) ↔ (¬p ∧ ¬q)
• (p → q) ∧ (q → p)
• [(p ∧ q) ∧ r] → p

Más información y ejemplos de los conectivos lógicos

Tablas de verdad

Las tablas de verdad son herramientas que permiten determinar el valor de verdad de proposiciones compuestas. En ellas, se enumeran todas las combinaciones posibles de valores de verdad para las proposiciones atómicas y se calcula el valor de verdad de la proposición compuesta en cada caso.

Por ejemplo, la tabla de verdad de la proposición (p → q) ∧ (q → p) es:

p	q	p → q	q → p	(p → q) ∧ (q → p)
V	V	V	V	V
V	F	F	V	F
F	V	V	F	F
F	F	V	V	V

Cada combinación de valores de verdad (cada fila de la tabla) se llama interpretación. Para conocer el valor de la proposición compuesta en cada caso, debemos ir leyendo fila por fila.

Por ejemplo, mirando la primera fila, la tabla indica que si p y q son verdaderos, entonces la proposición compuesta (p → q) ∧ (q → p) es verdadera, pero en la segunda y tercera fila vemos que si p y q tienen valores de verdad diferentes, la proposición compuesta es falsa. En la última fila vemos que si p y q son falsos, la proposición compuesta es verdadera.

Cómo hacer tablas de verdad paso a paso

Calculadora de tablas de verdad

Una vez hecha la tabla de verdad, toda fórmula proposicional puede clasificarse en una de tres categorías fundamentales según su comportamiento lógico:

• Tautología: es una fórmula que resulta verdadera para todas las posibles combinaciones de valores de verdad de sus variables proposicionales. Por ejemplo, la ley del tercero excluido: p ∨ ¬p.
• Contingencia: es una fórmula que es verdadera para algunas combinaciones de valores de verdad y falsa para otras. Por ejemplo, la proposición (p ∧ q) → r.
• Contradicción: es una fórmula que resulta falsa para todas las posibles combinaciones de valores de verdad de sus variables. Por ejemplo, la fórmula p ∧ ¬p.

Equivalencias lógicas

En lógica proposicional, dos proposiciones son equivalentes lógicamente si tienen el mismo valor de verdad en todas las posibles interpretaciones. En este caso, las proposiciones son intercambiables sin afectar la veracidad de un argumento.

Formalmente, dos fórmulas proposicionales A y B son equivalencias lógicas, simbolizado como A ≡ B, si y sólo si sus tablas de verdad coinciden en todas las filas.

Las equivalencias lógicas son esenciales en la lógica matemática y la informática porque permiten simplificar proposiciones complejas y demostrar teoremas, además de permitir transformar argumentos de una forma a otra sin alterar su validez.

Algunas de las equivalencias o leyes lógicas más importantes las vemos en la siguiente tabla.

Nombre	Fórmula
Ley de la doble negación	¬(¬p) ≡ p
Leyes de conmutatividad	p ∧ q ≡ q ∧ p p ∨ q ≡ q ∨ p
Leyes de asociatividad	(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Leyes distributivas	p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Leyes de absorción	p ∧ (p ∨ q) ≡ p p ∨ (p ∧ q) ≡ p
Leyes de De Morgan	¬(p ∧ q) ≡ ¬p ∨ ¬q ¬(p ∨ q) ≡ ¬p ∧ ¬q

Ver todas las equivalencias o leyes lógicas

Para comprobar la equivalencia lógica de dos proposiciones, podemos construir sus tablas de verdad y verificar que sean idénticas.

Razonamientos

Un razonamiento o argumento es una secuencia ordenada de proposiciones llamadas premisas, cuya función es ofrecer apoyo o evidencia para afirmar una proposición final llamada conclusión.

Desde la perspectiva de la lógica matemática, un razonamiento es válido cuando la estructura que vincula las premisas con la conclusión garantiza que, si todas las premisas son verdaderas, entonces la conclusión también lo es necesariamente. La validez depende exclusivamente de la forma lógica del argumento, no del contenido concreto de las proposiciones involucradas.

Por ejemplo, consideremos el siguiente argumento:

1. Si el servidor está caído, entonces el sitio web no carga.
2. El servidor está caído.
3. Por lo tanto, el sitio web no carga.

La estructura de este razonamiento corresponde a una regla de inferencia fundamental conocida como modus ponens (MP). Formalmente, el modus ponens establece que a partir de una implicación p → q y la afirmación del antecedente p, se puede derivar válidamente el consecuente q.

Otro ejemplo de razonamiento válido es el siguiente:

1. Si hay conexión a internet, entonces el correo se envía.
2. El correo no se envía.
3. Por lo tanto, no hay conexión a internet.

En este caso, la regla aplicada es el modus tollens (MT). Formalmente, a partir de p → q y de la negación del consecuente ¬q, se deduce válidamente la negación del antecedente ¬p.

Un razonamiento inválido frecuente es el que presenta la forma conocida como falacia de la negación del antecedente. Consideremos este ejemplo:

1. Si llueve, entonces las calles están mojadas.
2. No llueve.
3. Por lo tanto, las calles no están mojadas.

Aunque en una situación concreta pueda resultar que las calles efectivamente estén secas, la validez lógica no depende de la coincidencia, sino de la forma estructural. En efecto, existen casos en que las premisas pueden ser verdaderas y la conclusión falsa.

De la falsedad del antecedente no se puede deducir lógicamente la falsedad del consecuente, ya que este último podría ser verdadero por otras razones independientes (por ejemplo, porque se haya regado la calle). Este razonamiento es, por tanto, una falacia formal: un patrón que parece persuasivo pero que no garantiza la verdad de la conclusión a partir de la verdad de las premisas.

Además de su expresión en lenguaje natural, un razonamiento puede representarse de varias maneras para evidenciar su estructura lógica. En lógica proposicional, una de las notaciones más comunes consiste en escribir las premisas, cada una en un renglón separado, trazar una línea horizontal bajo la última premisa y escribir finalmente la conclusión.

Por ejemplo, el modus ponens se puede expresar así:

\(\begin{array}{l} p \to q \\ p \\ \hline \therefore q \end{array}\)

Y el modus tollens así:

\(\begin{array}{l} p → q \\ ¬q \\ \hline \therefore ¬p \end{array}\)

El símbolo ∴ se lee "por lo tanto" o "en conclusión".

Otra forma de representar un razonamiento de manera compacta es mediante una única fórmula proposicional. En este formato, todas las premisas se unen mediante la conjunción ∧, el conjunto de premisas se encierra entre paréntesis y se relaciona con la conclusión mediante un condicional →. Así, un razonamiento con premisas P₁, P₂,..., P_n y conclusión C se expresa como:

(P₁ ∧ P₂ ∧... ∧ P_n) → C

Diferencia entre validez, verdad y solidez

La lógica proposicional se ocupa de la validez de los argumentos, no de la verdad fáctica de sus enunciados. Estos dos conceptos son distintos y es esencial diferenciarlos.

• Verdad se refiere al contenido concreto de una proposición: si lo que afirma se corresponde con la realidad. Por ejemplo, "París es la capital de Francia" es una proposición verdadera, mientras que "2 + 2 = 5" es falsa.
• Validez, en cambio, es una propiedad estructural del razonamiento. Un argumento es válido cuando su conclusión se deriva necesariamente de sus premisas, de modo que si todas las premisas fueran verdaderas, la conclusión también lo sería inevitablemente.

Esto implica que un argumento puede ser perfectamente válido incluso si sus premisas y conclusión son falsas o absurdas en la vida real. Lo único que importa para la validez es la forma lógica. Por ejemplo:

1. Si los cerdos vuelan, entonces los elefantes cantan ópera.
2. Los cerdos vuelan.
3. Por lo tanto, los elefantes cantan ópera.

Este razonamiento es estructuralmente válido (es un modus ponens), aunque su contenido no tenga ningún sentido en el mundo real. La lógica proposicional juzga la estructura de la deducción, no la verosimilitud de lo que se afirma.

Ahora bien, el análisis puramente formal de la validez puede llevar a aceptar razonamientos cuya conclusión, aunque derivada correctamente, sea falsa en la práctica debido a la falsedad de alguna premisa. Por ello, junto a la noción de validez lógica, surge el concepto de argumento sólido.

Un argumento es sólido cuando cumple dos condiciones simultáneamente: en primer lugar, debe ser válido (su estructura garantiza que si las premisas son verdaderas, la conclusión también lo es); y en segundo lugar, todas sus premisas deben ser de hecho verdaderas.

Por ejemplo, consideremos el siguiente argumento:

1. Si 4 es un número par, entonces es divisible entre 2.
2. 4 es un número par.
3. Por lo tanto, 4 es divisible entre 2.

Este razonamiento es válido (su forma es la del modus ponens). Además, ambas premisas son verdaderas en aritmética. Al cumplir las dos condiciones, se trata de un argumento sólido. En contraste, un argumento como "Si 5 es par, entonces es divisible entre 2; 5 es par; luego 5 es divisible entre 2" es válido en su forma, pero no es sólido porque la premisa "5 es par" es falsa.

Reglas de inferencia

Las reglas de inferencia son patrones o fórmulas que permiten deducir una nueva proposición válida a partir de una o más proposiciones premisas que se consideran verdaderas. Su validez puede verificarse mediante tablas de verdad, comprobando que la proposición que representa la forma completa del argumento resulta ser una tautología.

Las reglas de inferencia más usadas son:

Nombre	Fórmula
Modus ponens	[(p → q) ∧ p] → q
Modus tollens	[(p → q) ∧ ¬q] → ¬p
Silogismo	(p → q) → [(q → r) → (p → r)]
Silogismo disyuntivo	[(p ∨ q) ∧ ¬p] → q [(p ∨ q) ∧ ¬q] → p
Transitividad o silogismo hipotético	[(p → q) ∧ (q → r)] → (p → r) [(p ↔ q) ∧ (q ↔ r)] → (p ↔ r)
Simplificación	p ∧ q → p p ∧ q → q
Adición	p → p ∨ q q → p ∨ q
Dilema constructivo	[( p ∨ q) ∧ ( p → r) ∧ (q → r)] → r
Segunda ley del dilema constructivo	[(p → q) ∧ (r → s) ∧ (p ∨ r)] → (q ∨ s)
Dilema destructivo	[(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s) ] → (¬p ∨ ¬r)
Ley de casos	[(p → q) ∧ (¬p → q)] → q

Limitaciones de la lógica proposicional

Si bien la lógica proposicional permite analizar la validez de innumerables argumentos, tiene una limitación fundamental: no puede "mirar dentro" de las proposiciones atómicas. Este sistema trata cada afirmación declarativa como un bloque indivisible. Debido a esto, muchos razonamientos que dependen de relaciones lógicas entre los componentes de una proposición (como sujetos, predicados o cuantificadores) quedan fuera de su alcance.

Un ejemplo paradigmático es el clásico silogismo:

1. Todos los hombres son mortales.
2. Sócrates es hombre.
3. Por lo tanto, Sócrates es mortal.

Desde la perspectiva de la lógica proposicional, este argumento consta simplemente de tres proposiciones atómicas distintas, que podríamos simbolizar como p, q y r. Su estructura formal se vería como: (p ∧ q) → r.

Al construir la tabla de verdad, esta fórmula no resulta una tautología, sino que es contingente, lo que indicaría que el razonamiento no es válido. Sin embargo, nuestra intuición nos dice que la conclusión se sigue necesariamente de las premisas. La discrepancia surge porque la lógica proposicional es "ciega" a los componentes internos: no puede reconocer que "Sócrates" es un caso particular del sujeto "hombres" ni que "todos" establece una relación de inclusión universal.

Para capturar este tipo de dependencias estructurales es necesario un sistema más expresivo: la lógica de predicados (o de primer orden). Esta lógica extiende el lenguaje formal permitiendo descomponer las proposiciones en términos (objetos, como "Sócrates") y predicados (propiedades o relaciones, como "ser mortal"), e introducir cuantificadores como ∀ (para todo) y ∃ (existe). Así, el silogismo anterior puede formalizarse correctamente, revelando su validez mediante reglas de inferencia que sí tienen en cuenta la estructura interna y la cuantificación.

Circuitos lógicos

Los circuitos lógicos son representaciones gráficas que utilizan símbolos y diagramas para ilustrar las relaciones entre proposiciones y sus valores de verdad. Estos circuitos permiten visualizar de forma intuitiva el funcionamiento de los conectivos lógicos y cómo se determinan los valores de verdad asociándose al pasaje de corriente en un circuito eléctrico con uno o varios interruptores.

En electrónica digital, estos circuitos procesan señales binarias (0 y 1, que representan valores de verdad falso y verdadero respectivamente) para realizar operaciones lógicas. Los circuitos lógicos son fundamentales en la construcción de sistemas digitales como computadoras, dispositivos móviles y otros equipos electrónicos.

Los componentes básicos de un circuito lógico son:

1) Proposiciones (variables lógicas): representan las entradas del circuito. Cada variable lógica puede tomar uno de dos valores: 0 (falso) o 1 (verdadero).

2) Conectores lógicos (puertas lógicas): realizan operaciones lógicas sobre las variables. Las puertas lógicas básicas son:

• AND (conjunción): produce una salida de 1 solo si todas sus entradas son 1.
• OR (disyunción): produce una salida de 1 si al menos una de sus entradas es 1.
• NOT (negación): produce una salida que es la inversa de su entrada (0 se convierte en 1 y 1 se convierte en 0).
• NAND (negación de la conjunción): produce una salida de 0 solo si todas sus entradas son 1.
• NOR (negación de la disyunción): produce una salida de 0 si al menos una de sus entradas es 1.
• XOR (disyunción exclusiva): produce una salida de 1 si una y solo una de sus entradas es 1.
• XNOR (negación de la disyunción exclusiva): produce una salida de 1 si ambas entradas son iguales.

Ejemplo: el circuito lógico asociado a la proposición compuesta p ∧ (q ∨ r) es:

Bibliografía

• Acevedo González, G. (2011). Lógica matemática. Universidad Nacional Abierta y a Distancia (UNAD).
• Castillo P., E. y Pinta, M. (2015). Lógica matemática I: proposiciones y leyes de inferencia (2.ª ed.). Universidad Técnica de Machala.
• Copi, I. y Cohen, C. (2013). Introducción a la lógica (2.ª ed.). Limusa.
• Corral de Franco, Y. y Manzanares, L. (2018). Nociones elementales de lógica matemática y teoría de conjuntos. Fondo Editorial OPSU.
• Daun, J. y Falcón, Y. (1995). Lógica matemática. Universidad Autónoma Metropolitana.
• Garrido, M. (1974). Lógica simbólica (4.ª ed.). Tecnos.
• Gentile, E. (1984). Notas de álgebra I. Editorial Universitaria de Buenos Aires.
• Moreno, A. (1969). Lógica matemática: antecedentes y fundamentos. Editorial Universitaria de Buenos Aires.
• Puyau, H. y Roetti, J. (1976). Elementos de lógica matemática. Editorial Universitaria de Buenos Aires.
• Rojo, A. (1996). Álgebra I (18.ª ed.). El Ateneo.

Contenidos de lógica proposicional