Los conectivos lógicos son los
operadores que nos permiten combinar proposiciones simples para formar
proposiciones compuestas más complejas. Junto con las tablas de verdad,
constituyen las herramientas fundamentales para analizar la validez de
argumentos, diseñar circuitos digitales y escribir código condicional. Dominar
estos conceptos te dará una base sólida para el razonamiento matemático
riguroso y la programación.
¿Qué son los conectivos lógicos?
Los conectivos lógicos (también
llamados operadores lógicos o conectores proposicionales) son símbolos que unen
proposiciones para formar nuevas proposiciones cuyo valor de verdad depende de
los valores de las proposiciones componentes.
Los cinco conectivos principales
En lógica proposicional clásica
trabajamos con cinco conectivos fundamentales:
• Negación (¬ o ~): "no"
• Conjunción (∧): "y"
• Disyunción (∨): "o"
• Condicional (→): "si... entonces"
• Bicondicional (↔): "si y solo si"
Símbolos alternativos
Dependiendo del contexto, puedes
encontrar diferentes notaciones:
• Negación: ¬p, ~p, NOT p, !p (en programación)
• Conjunción: p ∧ q, p · q, p AND q, p
&& q
• Disyunción: p ∨ q, p + q, p OR q, p || q
• Condicional: p → q, p ⊃ q, p ⇒ q
• Bicondicional: p ↔ q, p ≡ q, p ⇔ q
Tablas de verdad: el método
sistemático
Una tabla de verdad es una
representación tabular que muestra todos los posibles valores de verdad de una
proposición compuesta basándose en todas las combinaciones posibles de valores
de sus componentes.
Construcción de tablas de verdad
El número de filas en una tabla de
verdad depende del número de variables proposicionales. Con n variables,
necesitamos 2ⁿ filas para cubrir todas las combinaciones posibles:
• 1 variable: 2¹ = 2 filas
• 2 variables: 2² = 4 filas
• 3 variables: 2³ = 8 filas
• 4 variables: 2⁴ = 16 filas
Patrón de llenado sistemático
Para llenar las columnas de las
variables de forma sistemática, seguimos un patrón de alternancia. Para dos
variables p y q:
p: V, V, F, F (alterna cada 2)
q: V, F, V, F (alterna cada 1)
Tabla de verdad de la negación
La negación (¬) es el único
conectivo unario, es decir, opera sobre una sola proposición. Invierte el valor
de verdad:
Si p es Verdadero, entonces ¬p es
Falso.
Si p es Falso, entonces ¬p es Verdadero.
Ejemplo de negación
Sea p: "Hoy es lunes"
Entonces ¬p: "No es cierto que
hoy es lunes" o simplemente "Hoy no es lunes"
Si hoy efectivamente es lunes (p es
V), entonces "Hoy no es lunes" es falso (¬p es F).
Tabla de verdad de la conjunción
La conjunción (∧) representa la idea
de "y". Es verdadera únicamente cuando ambas proposiciones
componentes son verdaderas.
p ∧ q es Verdadero solo cuando p es
V y q es V.
En todos los demás casos, p ∧ q es
Falso.
Ejemplo de conjunción
p: "El número es par", q:
"El número es mayor que 10"
p ∧ q: "El número es par y
mayor que 10"
Para el número 12: ambas son
verdaderas, así que la conjunción es verdadera.
Para el número 8: es par pero no
mayor que 10, así que la conjunción es falsa.
Tabla de verdad de la disyunción
La disyunción (∨) representa la idea
de "o" en sentido inclusivo. Es verdadera cuando al menos una de las
proposiciones componentes es verdadera.
p ∨ q es Falso solo cuando ambas p y
q son Falsas.
En todos los demás casos, p ∨ q es
Verdadero.
Disyunción inclusiva vs exclusiva
En lógica, el "o" es
inclusivo: "Llueve o hace frío" es verdadero incluso si ambas cosas
ocurren. En lenguaje cotidiano, a veces usamos "o" exclusivo:
"Pagas en efectivo o con tarjeta" implica que solo puedes elegir uno.
La disyunción exclusiva (XOR) se
simboliza como ⊕ y es verdadera solo cuando exactamente una de las
proposiciones es verdadera.
Tabla de verdad del condicional
El condicional (→) representa
"si... entonces". Es la fuente de más confusión para principiantes
porque su comportamiento parece contraintuitivo.
p → q es Falso únicamente cuando p
es Verdadero y q es Falso.
En todos los demás casos, p → q es
Verdadero.
Entendiendo el condicional
Piensa en p → q como una promesa:
"Si apruebas el examen (p), te compro un regalo (q)".
• Apruebas y te doy el regalo: cumplí mi promesa
(V)
• No apruebas y te doy el regalo: no violé mi
promesa, fui generoso (V)
• No apruebas y no te doy regalo: no violé mi
promesa (V)
• Apruebas y no te doy el regalo: rompí mi
promesa (F)
La única forma de que la promesa sea
falsa es que se cumpla la condición pero no la consecuencia.
Tabla de verdad del bicondicional
El bicondicional (↔) representa
"si y solo si". Es verdadero cuando ambas proposiciones tienen el
mismo valor de verdad.
p ↔ q es Verdadero cuando p y q son
ambas Verdaderas o ambas Falsas.
p ↔ q es Falso cuando p y q tienen
valores diferentes.
Ejemplo de bicondicional
"Un triángulo es equilátero si
y solo si tiene tres lados iguales."
Esta definición funciona en ambas
direcciones: si es equilátero, tiene tres lados iguales; y si tiene tres lados
iguales, es equilátero.
Construcción de tablas para
proposiciones compuestas
Para proposiciones más complejas,
construimos la tabla paso a paso, evaluando primero las operaciones más
internas.
Ejemplo: evaluar (p ∧ q) → r
Con tres variables necesitamos 8
filas. Primero calculamos p ∧ q para cada fila, luego usamos ese resultado para
calcular el condicional con r.
Orden de precedencia
Cuando no hay paréntesis, seguimos
este orden (de mayor a menor precedencia):
• Negación (¬)
• Conjunción (∧)
• Disyunción (∨)
• Condicional (→)
• Bicondicional (↔)
Aplicaciones de las tablas de
verdad
Verificar equivalencias lógicas
Dos proposiciones son lógicamente equivalentes
si tienen los mismos valores de verdad en todas las filas de sus tablas. Por
ejemplo, ¬(p ∧ q) es equivalente a (¬p ∨ ¬q).
Determinar validez de argumentos
Un argumento es válido si siempre
que las premisas son verdaderas, la conclusión también lo es. Las tablas de
verdad permiten verificar esto sistemáticamente.
Diseño de circuitos digitales
Las compuertas lógicas (AND, OR,
NOT) en circuitos electrónicos operan exactamente según las tablas de verdad de
la conjunción, disyunción y negación.
Conclusión
Los conectivos lógicos y las tablas
de verdad proporcionan un método sistemático y libre de ambigüedad para
analizar proposiciones compuestas. Dominar la construcción e interpretación de
tablas de verdad es esencial para avanzar en lógica matemática, programación y
cualquier campo que requiera razonamiento riguroso.