Prioridad de conectivos lógicos
Aplicar correctamente el orden de precedencia de los conectivos lógicos para interpretar y evaluar fórmulas compuestas sin ambigüedad
Introducción
Así como en aritmética se multiplica antes de sumar (recuerdas PAPOMUDAS), en lógica también existe un orden de prioridad para los conectivos. Sin ese orden, una fórmula como "p ∨ q ∧ r" sería ambigua. La prioridad establece cuál conectivo "liga más fuerte" y por lo tanto se aplica primero.
Explicación
La prioridad de conectivos (también llamada precedencia) determina cómo se agrupan los operadores cuando no hay paréntesis.
Orden de prioridad (de mayor a menor):
| Prioridad | Conectivo | Nombre |
|---|---|---|
| 1 (mayor) | $\neg$ | Negación |
| 2 | $\land$ | Conjunción |
| 3 | $\lor$ | Disyunción |
| 4 | $\to$ | Condicional |
| 5 (menor) | $\leftrightarrow$ | Bicondicional |
Mnemotecnia: "¡No Y O Si Si-solo-si" (Neg, And, Or, If, Iff)
Regla de asociatividad:
- $\land$, $\lor$, $\leftrightarrow$ son asociativos a la izquierda: $p \land q \land r = (p \land q) \land r$
- $\to$ es asociativo a la derecha: $p \to q \to r = p \to (q \to r)$
Ejemplo de interpretación:
- $p \lor q \land r$ se lee como $p \lor (q \land r)$, porque $\land$ tiene mayor prioridad que $\lor$.
- $\neg p \land q$ se lee como $(\neg p) \land q$, porque $\neg$ tiene mayor prioridad que $\land$.
Los paréntesis anulan el orden de prioridad y obligan a evaluar primero lo que encierran.
Cómo hacerlo paso a paso
- Identificar todos los conectivos presentes en la fórmula.
- Aplicar primero las negaciones ($\neg$) que no estén entre paréntesis.
- Agrupar las conjunciones ($\land$) a continuación.
- Luego las disyunciones ($\lor$), seguidas por los condicionales ($\to$) y finalmente los bicondicionales ($\leftrightarrow$).
- Verificar que el resultado sea una fórmula bien formada con agrupación inequívoca.
Ejemplos
1 Interpretar la fórmula $p \lor q \land \neg r$ aplicando el orden de prioridad.
- Paso 1: Aplicar $\neg$ primero → $\neg r$ queda como unidad.
- Paso 2: Aplicar $\land$ → $q \land \neg r$ queda agrupado.
- Paso 3: Aplicar $\lor$ → la fórmula completa es $p \lor (q \land \neg r)$.
2 Interpretar la fórmula $p \to q \lor \neg r \leftrightarrow s$ aplicando el orden de prioridad.
- Paso 1: Negación → $\neg r$ queda como unidad.
- Paso 2: Disyunción → $q \lor \neg r$ queda agrupado.
- Paso 3: Condicional → $p \to (q \lor \neg r)$ queda agrupado.
- Paso 4: Bicondicional (menor prioridad) → fórmula final: $(p \to (q \lor \neg r)) \leftrightarrow s$.
3 ¿Tiene la negación mayor prioridad que la conjunción en una fórmula como $\neg p \land q$?
- La prioridad de $\neg$ es 1 (la más alta), mientras que $\land$ tiene prioridad 2.
- Por tanto $\neg p \land q$ se interpreta como $(\neg p) \land q$, no como $\neg(p \land q)$.
4 ¿Es $p \lor q \land r$ equivalente a $(p \lor q) \land r$?
- Por prioridad, $\land$ se aplica antes que $\lor$, por lo que la fórmula equivale a $p \lor (q \land r)$.
- Las expresiones $p \lor (q \land r)$ y $(p \lor q) \land r$ tienen tablas de verdad distintas (no son equivalentes lógicas).
Ejemplos Verdadero/Falso
"Leer la fórmula de izquierda a derecha sin respetar la prioridad, aplicando los conectivos en el orden en que aparecen."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir la prioridad de ∧ y ∨, creyendo que ∨ tiene mayor precedencia que ∧."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Olvidar que la negación ¬ tiene la mayor prioridad y solo afecta a la proposición inmediatamente a su derecha."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No recordar que el bicondicional (↔) tiene la menor prioridad de todos los conectivos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Asumir que todos los conectivos son asociativos a la izquierda, ignorando que el condicional (→) es asociativo a la derecha."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
El orden de prioridad (de mayor a menor) es: $\neg$ > $\land$ > $\lor$ > $\to$ > $\leftrightarrow$. Los paréntesis siempre tienen la mayor prioridad y permiten alterar el orden predeterminado.