Tabla de verdad de la disyunción exclusiva
Comprender y construir la tabla de verdad del conectivo de disyunción exclusiva para evaluar proposiciones compuestas excluyentes.
Introducción
Imagina que te dicen: "O naces en Chile o naces en España". ¿Puedes haber nacido en ambos países a la vez? No, es imposible físicamente. Y tampoco es posible que no hayas nacido en ningún lugar del mundo. Tienes que elegir exactamente uno de los dos. Esta es la disyunción exclusiva (el "o" exclusivo). A diferencia de la disyunción inclusiva, aquí la proposición compuesta solo es verdadera si eliges una opción, pero falsa si eliges ambas o ninguna.
Explicación
La disyunción exclusiva une dos proposiciones $p$ y $q$ mediante el operador "o... o..." (excluyente). Se representa matemáticamente con el símbolo $\oplus$ o $\underline{\lor}$.
La regla de la disyunción exclusiva establece que la proposición $p \oplus q$ es verdadera si y solo si las proposiciones simples tienen valores de verdad contrarios (una verdadera y la otra falsa). Si ambas son verdaderas, o ambas son falsas, el resultado de la disyunción exclusiva es falso.
Para dos variables simples ($n = 2$), la tabla de verdad tiene $2^2 = 4$ filas:
| $p$ | $q$ | $p \oplus q$ |
|---|---|---|
| $V$ | $V$ | $F$ |
| $V$ | $F$ | $V$ |
| $F$ | $V$ | $V$ |
| $F$ | $F$ | $F$ |
Diferencia clave con la disyunción inclusiva ($\lor$):
En la disyunción inclusiva, la fila $V - V$ da como resultado Verdadero ($V$). En cambio, en la disyunción exclusiva ($\oplus$), la fila $V - V$ da como resultado Falso ($F$) porque las opciones se excluyen mutuamente.
Cómo hacerlo paso a paso
- Paso 1: Determinar el número de proposiciones simples $n$. Para dos variables $p$ y $q$ ($n=2$), calculamos el número de filas de la tabla de verdad mediante $2^n = 2^2 = 4$ filas.
- Paso 2: Definir las columnas correspondientes en la tabla de verdad: columnas para las variables de entrada $p$ y $q$, y una columna para la operación de disyunción exclusiva $p \oplus q$.
- Paso 3: Llenar las filas iniciales asignando las combinaciones lógicas de forma ordenada: $p$ con ($V, V, F, F$) y $q$ con ($V, F, V, F$).
- Paso 4: Evaluar la disyunción exclusiva fila por fila, aplicando el conectivo de adentro hacia afuera: el resultado de $p \oplus q$ es Verdadero ($V$) si los valores de $p$ y $q$ son diferentes ($V-F$ o $F-V$), y Falso ($F$) si son iguales ($V-V$ o $F-F$).
Ejemplos
1 Determina el valor de verdad de la proposición excluyente: "O bien 8 es múltiplo de 2 o bien 8 es múltiplo de 3 (pero no ambos)".
- Paso a: Identificamos las proposiciones simples. Sea $p$: "8 es múltiplo de 2" (Verdadero) y $q$: "8 es múltiplo de 3" (Falso).
- Paso b: Analizamos la disyunción exclusiva $p \oplus q$. Dado que $p$ y $q$ tienen valores de verdad distintos ($V$ y $F$), la proposición compuesta es Verdadera ($V$).
2 Si $p$ es verdadera y $q$ es verdadera, determina el valor de verdad de la expresión compuesta $(\neg p) \oplus q$.
- Paso a: Evaluamos primero la negación interna: como $p$ es Verdadero ($V$), entonces $\neg p$ es Falsa ($F$).
- Paso b: Evaluamos la disyunción exclusiva conectivo por conectivo: tenemos $(\neg p) \oplus q$, que equivale a evaluar Falso ($F$) con Verdadero ($V$). Dado que los valores son distintos, el resultado de la disyunción exclusiva es Verdadero ($V$).
3 ¿La disyunción exclusiva de dos proposiciones verdaderas da como resultado un valor verdadero?
- La disyunción exclusiva excluye la posibilidad de que ambas proposiciones ocurran simultáneamente.
- Por lo tanto, si ambas proposiciones simples son verdaderas ($V \oplus V$), el resultado lógico es Falso ($F$).
4 ¿La expresión $p \oplus q$ tiene exactamente la misma tabla de verdad que la negación de la bicondicional $\neg(p \leftrightarrow q)$?
- La bicondicional $p \leftrightarrow q$ es verdadera cuando $p$ y $q$ son iguales, y falsa cuando son distintos.
- Al negar la bicondicional $\neg(p \leftrightarrow q)$, los resultados se invierten: da verdadero cuando son distintos y falso cuando son iguales. Esto coincide exactamente con la definición de la disyunción exclusiva $p \oplus q$.
Ejemplos Verdadero/Falso
"Confundir el comportamiento de la disyunción exclusiva con el de la disyunción inclusiva en la primera fila (cuando ambas variables son verdaderas)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Asociar erróneamente el símbolo $\oplus$ con una suma binaria ordinaria sin considerar que $1 \oplus 1 = 0$ (Falso) en lógica."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Olvidar que si ambas proposiciones son falsas, el resultado de la disyunción exclusiva también es falso."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Aplicar incorrectamente la jerarquía de operadores lógicos cuando la disyunción exclusiva se combina con negaciones o conjunciones."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Utilizar indistintamente las palabras "o" (inclusivo) y "o... o..." (exclusivo) en lenguaje natural, induciendo a errores de formalización."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La disyunción exclusiva es un conectivo binario representado por el símbolo $\oplus$ o $\underline{\lor}$. La proposición $p \oplus q$ es verdadera únicamente cuando una de las proposiciones es verdadera y la otra es falsa; es decir, cuando sus valores de verdad son distintos.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué afirmación clave conviene recordar sobre tabla de verdad de la disyunción exclusiva?
La afirmación correcta es: La disyunción exclusiva es falsa cuando ambas proposiciones tienen el mismo valor.. Esa observación ayuda a usar bien el concepto.
Respuesta: La disyunción exclusiva es falsa cuando ambas proposiciones tienen el mismo valor.
-
¿Cuál de los siguientes casos ejemplifica mejor tabla de verdad de la disyunción exclusiva?
El ejemplo correcto es: V ⊕ F = V, pero V ⊕ V = F.. Ese caso representa adecuadamente tabla de verdad de la disyunción exclusiva.
Respuesta: V ⊕ F = V, pero V ⊕ V = F.
-
¿Qué describe mejor tabla de verdad de la disyunción exclusiva?
La definición correcta es: la disyunción exclusiva es verdadera cuando exactamente una proposición es verdadera. Esa es la idea central de tabla de verdad de la disyunción exclusiva.
Respuesta: la disyunción exclusiva es verdadera cuando exactamente una proposición es verdadera
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifica la opción que corresponde a tabla de verdad de la disyunción exclusiva.
Se reconoce tabla de verdad de la disyunción exclusiva en el ejemplo: V ⊕ F = V, pero V ⊕ V = F..
Respuesta: V ⊕ F = V, pero V ⊕ V = F.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es correcto afirmar que la disyunción exclusiva es verdadera cuando exactamente una proposición es verdadera?
Verdadero. Esa es justamente la definición de tabla de verdad de la disyunción exclusiva.
Respuesta: Verdadero
-
¿El caso “V ⊕ F = V, pero V ⊕ V = F” corresponde a tabla de verdad de la disyunción exclusiva?
Verdadero. El ejemplo dado es una aplicación directa de tabla de verdad de la disyunción exclusiva.
Respuesta: Verdadero
-
¿La afirmación “La negación trabaja con una sola variable proposicional.” describe tabla de verdad de la disyunción exclusiva?
Falso. Tabla de verdad de la disyunción exclusiva se describe mejor así: la disyunción exclusiva es verdadera cuando exactamente una proposición es verdadera. La afirmación propuesta corresponde a otra idea.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En una guía PAES, una estudiante debe reconocer tabla de verdad de la disyunción exclusiva. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: V ⊕ F = V, pero V ⊕ V = F.. Ese caso representa tabla de verdad de la disyunción exclusiva sin ambigüedad.
Respuesta: V ⊕ F = V, pero V ⊕ V = F.
-
Un profesor escribe la afirmación “La disyunción exclusiva es falsa cuando ambas proposiciones tienen el mismo valor”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Tabla de verdad de la disyunción exclusiva, porque su idea clave es: La disyunción exclusiva es falsa cuando ambas proposiciones tienen el mismo valor..
Respuesta: Tabla de verdad de la disyunción exclusiva
-
En un control se pide identificar la definición correcta de tabla de verdad de la disyunción exclusiva. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: la disyunción exclusiva es verdadera cuando exactamente una proposición es verdadera.
Respuesta: la disyunción exclusiva es verdadera cuando exactamente una proposición es verdadera