Disyunción inclusiva
Identificar y aplicar el conectivo de disyunción inclusiva para formar proposiciones compuestas que son verdaderas cuando al menos una de las partes es verdadera
Introducción
Imagina que un restaurante ofrece postre gratis si cumples al menos una condición: que sea tu cumpleaños O que hayas pedido el menú completo. Si cumples alguna —o incluso ambas— recibes el postre. Solo te quedas sin él si no cumples ninguna. Esa es la idea de la disyunción inclusiva: basta con que una sea verdadera.
Explicación
La disyunción inclusiva es un conectivo binario que admite que ambas proposiciones sean verdaderas simultáneamente.
Símbolo: $p \lor q$
Lectura: "p o q", "p o q, o ambas"
Tabla de verdad:
| $p$ | $q$ | $p \lor q$ |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Regla clave: $p \lor q$ es Falso únicamente cuando AMBAS proposiciones son Falsas.
Diferencia con la disyunción exclusiva: La disyunción inclusiva permite que $p$ y $q$ sean ambas verdaderas; la exclusiva no lo permite.
Propiedad conmutativa: $p \lor q \equiv q \lor p$
Relación con la conjunción (De Morgan): $\neg(p \lor q) \equiv \neg p \land \neg q$
Cómo hacerlo paso a paso
- Identificar las dos proposiciones simples $p$ y $q$, y determinar su valor de verdad individual.
- Formar la proposición compuesta $p \lor q$.
- Aplicar la regla: $p \lor q = F$ solo si $p = F$ Y $q = F$; en cualquier otro caso, $p \lor q = V$.
- Confirmar que la interpretación lingüística corresponde a un "o" inclusivo.
Ejemplos
1 Sea $p$: "El número 4 es par" y $q$: "El número 4 es primo". ¿Cuál es el valor de verdad de $p \lor q$?
- $p$: "El número 4 es par" → Verdadero (4 es divisible por 2).
- $q$: "El número 4 es primo" → Falso (4 = 2 × 2, tiene divisores distintos de 1 y sí mismo).
- Como $p = V$ (al menos una es verdadera), entonces $p \lor q = V$.
2 Sea $p$: "El número 9 es par" y $q$: "El número 9 es divisible por 4". ¿Cuál es el valor de verdad de $p \lor q$?
- $p$: "El número 9 es par" → Falso (9 es impar).
- $q$: "El número 9 es divisible por 4" → Falso (9 ÷ 4 = 2,25).
- Como ambas son Falsas, entonces $p \lor q = F$.
3 ¿Puede la disyunción inclusiva $p \lor q$ ser Verdadera cuando ambas proposiciones son Verdaderas?
- La primera fila de la tabla de verdad (V-V) da como resultado $p \lor q = V$.
- Esto es precisamente lo que distingue a la disyunción inclusiva de la exclusiva: incluye el caso en que ambas son verdaderas.
4 ¿Es $p \lor q$ siempre Falso si $p$ es Falso?
- Si $p = F$ pero $q = V$, entonces $p \lor q = V$.
- Solo cuando $p = F$ Y también $q = F$, la disyunción es Falsa.
Ejemplos Verdadero/Falso
"Confundir la disyunción inclusiva (∨) con la exclusiva (⊕), olvidando que la inclusiva permite que ambas sean verdaderas."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que "o" en lógica siempre significa "uno u otro, pero no ambos" (ese sería el "o exclusivo")."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir el símbolo ∨ (disyunción) con ∧ (conjunción)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Olvidar que la disyunción es Falsa únicamente cuando AMBAS proposiciones son Falsas."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Traducir "o" del lenguaje natural directamente como exclusivo sin verificar el contexto lógico."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La disyunción inclusiva ($p \lor q$) une dos proposiciones con "o". El resultado es Verdadero cuando AL MENOS UNA de las proposiciones es Verdadera. Solo es Falso cuando ambas son Falsas.