Disyunción inclusiva
Resumen inicial
Definición, tabla de verdad y propiedades de la disyunción inclusiva ($p \lor q$), que es verdadera cuando al menos una proposición es verdadera.
Explicación en palabras simples
La disyunción inclusiva es el conectivo lógico que une dos frases con la letra "o" (escrito en símbolos como $p \lor q$). Funciona con una regla muy generosa: para que la frase completa sea Verdadera, basta con que al menos una de las dos partes sea verdadera (o incluso ambas al mismo tiempo). La única forma de que una disyunción inclusiva sea Falsa es que ambas partes sean falsas. Por ejemplo, "Para entrar al cine necesitas carnet o entrada": si tienes carnet entras, si tienes entrada entras, y si tienes ambas cosas también entras.
Explicación formal
Definición formal
En el cálculo proposicional, la disyunción inclusiva (o suma lógica) es un operador binario $\lor: \mathcal{P} \times \mathcal{P} \to \mathcal{P}$ definido por la función veritativa booleana $f_\lor: \{V, F\}^2 \to \{V, F\}$ tal que:
$$v(p \lor q) = \begin{cases} F & \text{si } v(p) = F \text{ y } v(q) = F \\ V & \text{en cualquier otro caso} \end{cases}$$
En álgebra booleana sobre $\{0, 1\}$, se expresa como: $v(p \lor q) = v(p) + v(q) - v(p) \cdot v(q) = \max(v(p), v(q))$.
Desglose simbólico
- Símbolos equivalentes: $p \lor q$, $p + q$.
- Tabla de verdad canónica:
$$\begin{array}{|c|c|c|} \hline p & q & p \lor q \\ \hline V & V & V \\ V & F & V \\ F & V & V \\ F & F & F \\ \hline \end{array}$$ - Propiedad de Idempotencia: $p \lor p \equiv p$.
- Propiedad Conmutativa: $p \lor q \equiv q \lor p$.
- Elemento neutro: La falsedad $F$ actúa como neutro ($p \lor F \equiv p$).
- Elemento absorbente: La verdad $V$ actúa como absorbente ($p \lor V \equiv V$).
Síntesis didáctica
La disyunción inclusiva permite la coexistencia de verdad: es verdadera si la primera es verdadera, si la segunda es verdadera, o si ambas son verdaderas simultáneamente.
La alternativa correcta es 'Cuando ambas proposiciones $p$ y $q$ son falsas ($v(p)=F$ y $v(q)=F$)'. La disyunción solo falla si ambos operandos son falsos.
Definiciones clave
- Disyunción inclusiva ($p \lor q$): Conectivo binario que produce valor falso si y solo si ambos operandos son falsos.
- Operador disyuntor ($\lor$): Símbolo formal para representar la partícula "o" en sentido no excluyente.
- Máximo veritativo: Interpretación de la disyunción como el valor máximo booleano entre sus componentes ($\max(v(p), v(q))$).
Propiedades y relaciones importantes
- Principio del Tercero Excluido: $p \lor \neg p \equiv V$ (siempre es una tautología).
- Leyes de De Morgan: $\neg(p \lor q) \equiv \neg p \land \neg q$.
Ejemplo guiado
Sean las proposiciones $p$: "$7$ es un número primo" y $q$: "$7$ es un número par". Determina el valor de verdad de la disyunción inclusiva $p \lor q$.
- Paso 1: Evaluar la proposición simple $p$: El número $7$ solo es divisible por $1$ y $7$, por lo tanto $v(p) = V$.
- Paso 2: Evaluar la proposición simple $q$: El número $7$ no es divisible por $2$, por lo tanto $v(q) = F$.
- Paso 3: Aplicar la regla de la disyunción inclusiva: $v(p \lor q) = v(V \lor F)$.
- Paso 4: Concluir el resultado: Como al menos uno de los componentes es verdadero ($v(p) = V$), la disyunción es verdadera: $v(p \lor q) = V$.
La alternativa correcta es 'Falso ($F$)'. Si $p \lor q$ es falsa, necesariamente $p=F$ y $q=F$, por lo que $p \land q = F \land F = F$.
Procedimiento
- Paso 1: Identificar las dos proposiciones simples componentes $p$ y $q$.
- Paso 2: Evaluar individualmente el valor de verdad de $p$ y de $q$.
- Paso 3: Si al menos una de las proposiciones es $V$, asignar $V$ a la disyunción $p \lor q$.
- Paso 4: Si ambas proposiciones son $F$, asignar $F$ a la disyunción.
Errores frecuentes y cómo corregirlos
- Error 1: Creer que en una disyunción "o" no pueden ser verdaderas ambas partes a la vez. Cómo corregirlo: La disyunción inclusiva ($\lor$) incluye la posibilidad de que ambas proposiciones sean verdaderas. El caso donde se excluye la simultaneidad corresponde a la disyunción exclusiva ($\oplus$).
- Error 2: Confundir el símbolo de disyunción ($\lor$) con el de conjunción ($\land$). Cómo corregirlo: Recordar que $\lor$ (forma de "V") es la disyunción inclusiva y $\land$ (forma de "A" sin barra) es la conjunción ("AND").
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $3 > 5$ es $F$.
- $2 < 8$ es $V$.
- $F \lor V = V$.
- $1 = 0$ es $F$.
- $4 = 9$ es $F$.
- $F \lor F = F$.
- Al contener el valor absorbente $V$, la disyunción es siempre verdadera independientemente de $p$.
- Sí, es la primera Ley de De Morgan para la disyunción inclusiva.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Comprender, evaluar y formalizar la disyunción inclusiva ($p \lor q$).
Aplicar la regla del mínimo de falsedad ($F \lor F = F$) y distinguirla conceptualmente de la disyunción exclusiva.