Lo que es la lógica proposicional también se conoce como lógica matemática o lógica simbolice. Se trata del estudio de las lógicas proposicionales o sentencias lógicas, en donde se intenta evaluar la verdad y su nivel absoluto. Se relaciona con la matemática, ya que utiliza símbolos que, a través de tablas de la verdad, indican lo verdadero y lo falso.
La lógica proposicional forma parte de la lógica clásica, y permite estudiar las implicaciones de las variables proposicionales, así como los valores de verdad de las proposiciones. Estos valores se construyen a partir de conectores lógicos, y son aplicables tanto en matemáticas como en otras ramas de conocimiento.
Esto quiere decir que el estudio y la comprensión de la composición estructural de la lógica es fundamental en todas las ramas de las ciencias. Esto incluye también el conocimiento de cómo la lógica estudia las proposiciones. Continúa leyendo nuestro artículo sobre qué es la lógica proposicional, y descubre cómo está latente en cada uno de tus discursos diarios.
La lógica proposicional solo puede ser verdadera o falsa
El título de este apartado es bastante claro referente a qué es la lógica proposicional. Y es que, dentro de las leyes lógicas, para que un enunciado pueda considerarse proposicional, solo se debe definir si es verdadero o falso.
Cuando se trata de proposiciones simples, solo son válidas aquellas que emiten una información verdadera o falsa. Es el caso de las siguientes proposiciones:
- «La capital de China es Pekín»
- «El presidente actual del gobierno de España es Mariano Rajoy Brey»
Ambos enunciados indican información que es o no verdadera. En el caso de oraciones interrogativas como: ¿Dónde estás? ¿Cuándo vienes?, no aplican como enunciado proposicional, porque no brindan ninguna información verdadera o falsa.
También existen proposiciones complejas, en las que se conectan dos enunciados, para formar uno solo. En este caso el conector lógico sería la palabra que lo vincula: «y», «entonces», entre otros. Ejemplos:
- Juan es estudiante
- Juan es vendedor de cosméticos
Con el conector lógico sería: Juan es estudiante y vendedor de cosméticos.
Proposición simple y proposiciones compuestas
Una proposición simple expresa una sola afirmación y suele representarse mediante una variable como p. Las proposiciones compuestas se forman al negar una proposición o al relacionar dos o más mediante conectores lógicos. Su valor de verdad depende tanto de los componentes como de la operación que los une.
| Tipo | Forma simbólica | Ejemplo |
|---|---|---|
| Simple | p | La biblioteca está abierta. |
| Compuesta por conjunción | p ∧ q | La biblioteca está abierta y ofrece servicio. |
| Negada | ¬p | La biblioteca no está abierta. |
Dato clave: los enunciados o proposiciones deben poder recibir un valor de verdad. La complejidad no depende de la longitud de la frase, sino de que intervengan una o varias proposiciones y de cómo se relacionen.
Elementos de la lógica proposicional
La lógica proposicional está compuesta, grosso modo, por símbolos (variables proposicinales y constantes de verdad) y conectores lógicos. Ambos permiten representar la relación entre los enunciados, en la que se observa la correcta agrupación de las fórmulas y la jerarquía entre los conectores. Entonces, tenemos lo siguiente:
- p, q y r son variables proposicionales que representan a los enunciados o proposiciones
- ∧, ∨, ¬, entre otros, son los símbolos de los conectores
- hay una estructura marcada por paréntesis y llaves
- los valores de V y F se atribuyen a los enunciados
- reglas de inferencia
El cálculo proposicional como sistema formal
El cálculo proposicional funciona como un sistema formal: utiliza un lenguaje de símbolos, reglas para construir fórmulas y criterios para interpretarlas. Este lenguaje incluye variables como p, q y r, constantes de verdad y cada operador lógico necesario para negar, unir o relacionar proposiciones.
- Sintaxis: determina qué combinaciones de símbolos forman expresiones correctamente construidas.
- Semántica: asigna valores de verdad y explica cómo se obtiene el valor de una fórmula compuesta.
- Inferencia: establece qué pasos permiten obtener una conclusión a partir de unas premisas.
Por el uso de signos y fórmulas, también se habla de lógica simbólica o lógica de proposiciones. Para reconocer mejor la notación empleada, puede consultarse esta guía de símbolos matemáticos.
En lo que sigue, profundizamos un poco más en los conectores de la lógica proposicional.
Conectores de la lógica proposicional
El estudio de qué es la lógica proposicional, incluye el conocimiento de los conectores que se aplican en su uso:
- Negación (No / / ). Se conoce también como complemento lógico, y es verdadera cuando la proposición lógica expuesta es falsa; y viceversa. Ejemplo: no he comido.
/ 
). Se conoce también como complemento lógico, y es verdadera cuando la proposición lógica expuesta es falsa; y viceversa. Ejemplo: no he comido.- Conjunción (Y / / &). Ocurre cuando los componentes expuestos son verdaderos. Ejemplo: Ha llegado y se ha dormido.
/ &). Ocurre cuando los componentes expuestos son verdaderos. Ejemplo: Ha llegado y se ha dormido.- Disyunción (O / / |). Solo es falsa, si ambos componentes lo son. Ejemplo: Está lloviendo o está soleado.
/ |). Solo es falsa, si ambos componentes lo son. Ejemplo: Está lloviendo o está soleado.- Condicional (Entonces / / ). Se trata de valores de verdad en dos preposiciones, que conecta A y B. Ejemplo: Si está oscuro, entonces es de noche.
/ 
). Se trata de valores de verdad en dos preposiciones, que conecta A y B. Ejemplo: Si está oscuro, entonces es de noche.- Bicondicional (si y solo si / / ). También es conocido como doble implicación. Funciona bajo dos valores de verdad, otorgando el valor de verdad verdadero cuando ambas tienen el mismo valor. Ejemplo: La Tierra es esférica si y sólo si el Sol es una estrella.
/ 
). También es conocido como doble implicación. Funciona bajo dos valores de verdad, otorgando el valor de verdad verdadero cuando ambas tienen el mismo valor. Ejemplo: La Tierra es esférica si y sólo si el Sol es una estrella.- Disyunción opuesta (Ni… ni / ). También se conoce como inalternador. Resulta verdadero solo si ambas preposiciones son falsas. Ejemplos: Ni estoy feliz ni estoy triste.
- Disyunción exclusiva (O bien… o bien / / ). Se trata de un operador lógico, también simbolizado como XOR, EOR, EXOR. Solo es verdadera cuando ambos enunciados tienen valores de verdad diferentes. Y es falsa si ambas tienen valor de verdad verdaderos, o ambos son falsos. Ejemplo: O bien está fría el agua, o bien está caliente.
). También se conoce como inalternador. Resulta verdadero solo si ambas preposiciones son falsas. Ejemplos: Ni estoy feliz ni estoy triste.
/ 
). Se trata de un operador lógico, también simbolizado como XOR, EOR, EXOR. Solo es verdadera cuando ambos enunciados tienen valores de verdad diferentes. Y es falsa si ambas tienen valor de verdad verdaderos, o ambos son falsos. Ejemplo: O bien está fría el agua, o bien está caliente.Entonces, podemos resumir esto en la siguente tabla:
| Nombre del conector | Símbolo | Se lee como… |
|---|---|---|
| Negación | ¬ | no |
| Conjunción | ∧ | y |
| Disyunción | ∨ | o |
| Condicional | → | si… entonces |
| Bicondicional | ↔ | si y solo si… |
Tabla de verdad de los conectores lógicos
Las tablas de verdad muestran el resultado de las principales conectivas lógicas para todas las combinaciones posibles de dos variables. En la siguiente tabla, V significa verdadero y F, falso:
| p | q | ¬p | p ∧ q | p ∨ q | p → q | p ↔ q |
|---|---|---|---|---|---|---|
| V | V | F | V | V | V | V |
| V | F | F | F | V | F | F |
| F | V | V | F | V | V | F |
| F | F | V | F | F | V | V |
Recuerda: el condicional p → q solo es falso cuando el antecedente es verdadero y el consecuente es falso. La disyunción p ∨ q es inclusiva: resulta verdadera cuando al menos una de las proposiciones lo es.
¿Qué significa p → q ∧ r?
Para comprender qué significa esta proposición, vamos a recuperar parte de lo que hemos mencionado en la sección anterior. En primer lugar, tenbemos que considerar que el símbolo «→» representa implicación que, traducido a términos simples, es el equivalente a «entonces». En segundo lugar, el símbolo «« indica conjunción entre los dos elementos unidos por él. Ahora bien, dicho esto, también hay que mencionar que hay una jerarquía entre los conectores: la conjunción va antes que la implicación, por lo que tendríamos la siguiente manera de expresar la proposición con más claridad: p → (q ∧ r). Pero ¿cómo leerla correctamente? Se toma como punto de partida que las premisas de la proposición son verdaderas: si p es verdadera, entonces q y r también.
Ahora un ejemplo para comprenderlo con más precisión:
- p: día de huelga
- q: biblioteca sin servicio
- r: universidad sin clases
Entonces, «si es día de huelga, la biblioteca no brinda servicio y la universidad no da clases». Hay que tomar en cuenta que, para que la proposición sea verdadera, todos los elementos deben serlo, porque la contradicción de algún enunciado de la conjunción terminaría por derivar en la falsedad.
Precisión lógica: la verdad de p por sí sola no obliga a que q y r sean verdaderas. La conclusión q ∧ r se obtiene cuando se aceptan como premisas tanto p → (q ∧ r) como p, aplicando modus ponens.
Tautologías, contradicciones y contingencias
La columna final de una tabla de verdad permite clasificar una fórmula según el resultado que presenta en todas las interpretaciones posibles:
- Tautología: es verdadera en todas las filas, como p ∨ ¬p.
- Contradicción: es falsa en todas las filas, como p ∧ ¬p.
- Contingencia: es verdadera en unas filas y falsa en otras, por lo que depende de los valores asignados a sus variables.
Equivalencias lógicas básicas
Dos fórmulas son lógicamente equivalentes cuando tienen el mismo valor en todas las filas de su tabla de verdad. Estas equivalencias ayudan a simplificar expresiones sin modificar su significado lógico:
| Ley | Equivalencia |
|---|---|
| Doble negación | ¬¬p ≡ p |
| Implicación material | p → q ≡ ¬p ∨ q |
| Primera ley de De Morgan | ¬(p ∧ q) ≡ ¬p ∨ ¬q |
| Segunda ley de De Morgan | ¬(p ∨ q) ≡ ¬p ∧ ¬q |
| Contraposición | p → q ≡ ¬q → ¬p |
Cómo comprobar la validez de los argumentos
La validez de los argumentos depende de su estructura, no de que sus premisas describan hechos reales. Un razonamiento proposicional es válido cuando no existe ninguna asignación en la que todas las premisas sean verdaderas y la conclusión sea falsa.
- Identificar las premisas y la conclusión.
- Representar cada proposición mediante una variable.
- Formalizar los conectores y construir la tabla de verdad correspondiente.
- Revisar las filas en las que todas las premisas son verdaderas.
- Comprobar que la conclusión también es verdadera en cada una de esas filas.
Dato clave: una sola fila con premisas verdaderas y conclusión falsa funciona como contraejemplo y basta para demostrar que el argumento es inválido.
Reglas de inferencia más utilizadas
Las reglas de inferencia son esquemas válidos que permiten pasar de unas premisas a una conclusión. Entre las más habituales se encuentran las siguientes:
| Regla | Esquema |
|---|---|
| Modus ponens | p → q; p; ∴ q |
| Modus tollens | p → q; ¬q; ∴ ¬p |
| Silogismo disyuntivo | p ∨ q; ¬q; ∴ p |
| Silogismo hipotético | p → q; q → r; ∴ p → r |
| Simplificación | p ∧ q; ∴ p |
| Conjunción | p; q; ∴ p ∧ q |
Recuerda: afirmar el consecuente —p → q; q; ∴ p— y negar el antecedente —p → q; ¬p; ∴ ¬q— no son reglas válidas, aunque puedan parecer convincentes en el lenguaje cotidiano.
Ejemplos de argumentos proposicionales
Veamos algunos ejemplos de argumentos proposicionales:
- Ejemplo 1
Si compro semillas, plantaré flores o plantaré hortalizas
Compro semillas
Por tanto, plantaré flores o plantaré hortalizas
Asignación de variables proposicionales para la formalización:
- Compro semillas: p
- Planto flores: q
- Planto hortalizas: r
Formalización:
- p → (q ∨ r)
- p
- q ∨ r
- Ejemplo 2
Estudio estadística o practico deporte
No practico deporte
Por tanto, estudio estadística
Asignación de variables proposicionales para la formalización:
- Estudio estadística: p
- Practico deporte: q
Formalización:
- p ∨ q
- ¬q
- p
- Ejemplo 3
Si hago ejercicio, mejoraré mi salud
No mejoraré mi salud
Por tanto, no hago ejercicio
Asignación de variables proposicionales para la formalización:
- Hago ejercicio: p
- Mejoro mi salud: q
Formalización:
- p → q
- ¬q
- ¬p
- Ejemplo 4
El semáforo está en verde si y solo si los coches avanzan
El semáforo está en verde
Por tanto, los coches avanzan
Asignación de variables proposicionales para la formalización:
- Semáforo en verde: p
- Los coches avanzan: q
Formalización:
- p ↔ q
- p
- q
- Ejemplo 5
Si termino el máster, ampliaré mis oportunidades laborales y mejoraré mi salario
Termino el máster
Por tanto, mejoraré mi salario
Asignación de variables proposicionales para la formalización
- Termino el máster: p
- Ampliaré mis oportunidades laborales: q
- Mejoraré mi salario: r
Formalización
- Si termino el máster, ampliaré mis oportunidades laborales y mejoraré mi salario: p → (q ∧ r)
- Termino el máster: p
- Por tanto, mejoraré mi salario: r
Aplicaciones y límites de este sistema
La lógica proposicional matemática se utiliza para justificar deducciones, simplificar expresiones y estudiar relaciones entre premisas y conclusiones. También aparece en condiciones de programación, circuitos digitales y sistemas basados en reglas. Estas aplicaciones muestran cómo este tipo de lógica ayuda a estructurar decisiones y a revisar procedimientos de resolución de problemas matemáticos.
Límite principal: cada enunciado atómico se trata como una unidad indivisible. El sistema no analiza por sí solo sujetos, propiedades, relaciones ni cuantificadores como «todos» o «existe». Cuando el razonamiento depende de esa estructura interna, se necesita la lógica de predicados.
Preguntas frecuentes
¿Qué es la lógica proposicional?
Es un sistema formal que representa enunciados mediante variables y estudia cómo cambian sus valores de verdad al aplicar conectores como negación, conjunción, disyunción, condicional y bicondicional. También permite analizar si una conclusión se deriva válidamente de unas premisas mediante procedimientos semánticos o esquemas deductivos.
¿Qué estudia la lógica proposicional?
Estudia proposiciones completas que pueden ser verdaderas o falsas, las formas de combinarlas y las relaciones de consecuencia que aparecen entre ellas. No examina por separado sujetos, predicados o cuantificadores; se concentra en la estructura externa de los enunciados y en el comportamiento lógico de sus conectivas.
¿Cuál es la diferencia entre una proposición simple y una compuesta?
La primera expresa una sola afirmación y se representa con una variable, como p. Una proposición compuesta combina o modifica una o más proposiciones mediante conectores lógicos: por ejemplo, p ∧ q, ¬p o p → q. Su valor depende de los componentes y del conector empleado.
¿Para qué sirven las tablas de verdad?
Estas tablas muestran de forma sistemática el resultado de una fórmula para todas las combinaciones posibles de sus variables. Sirven para interpretar conectores, clasificar fórmulas como tautologías, contradicciones o contingencias, comprobar equivalencias y localizar contraejemplos que revelen si un argumento es inválido.
¿Cómo se comprueba la validez de un argumento?
Primero se formalizan las premisas y la conclusión. Después se revisan todas las asignaciones de verdad, normalmente con una tabla. El argumento es válido si no existe ninguna fila en la que todas las premisas sean verdaderas y la conclusión sea falsa; una sola fila así demuestra su invalidez.
¿Qué son las reglas de inferencia?
Son esquemas que autorizan el paso de unas premisas a una conclusión sin perder validez. Entre los más conocidos se encuentran el modus ponens, el modus tollens, el silogismo disyuntivo y el silogismo hipotético. Se aplican por su forma, no por el tema de los enunciados.
¿Qué diferencia hay entre lógica proposicional y lógica de predicados?
El cálculo de enunciados trata cada afirmación simple como una unidad indivisible. La lógica de predicados permite analizar su estructura interna e incorpora predicados, variables de individuo y cuantificadores como «todos» o «existe». Por ello puede representar razonamientos que ese sistema no expresa con suficiente detalle.
