Tabla de verdad de la disyunción exclusiva
Resumen inicial
Estructura canónica de la tabla de verdad de la disyunción exclusiva ($p \oplus q$), con dos filas verdaderas intermedias y dos filas falsas en los extremos.
Explicación en palabras simples
La tabla de verdad de la disyunción exclusiva ($p \oplus q$) describe la situación de "o uno o el otro, pero no ambos". En sus $4$ combinaciones, las filas del centro (donde las variables son diferentes: $V, F$ o $F, V$) dan como resultado Verdadero ($V$). En cambio, en las filas de los extremos (donde ambas variables son iguales: $V, V$ o $F, F$), el resultado es Falso ($F$).
Explicación formal
Definición formal
La tabla de verdad de la disyunción exclusiva binaria es la matriz veritativo-funcional booleana correspondiente a la suma módulo 2 sobre $\mathbb{Z}_2$:
$$\begin{array}{|c|c|c|} \hline p & q & p \oplus q \\ \hline V & V & F \\ V & F & V \\ F & V & V \\ F & F & F \\ \hline \end{array}$$
donde el vector columna de salida canónico es $\mathbf{v}(p \oplus q) = [F, V, V, F]^T$.
Desglose simbólico
- Fila 1 ($V, V$): $V \oplus V = F$ (se descarta la coexistencia de verdad).
- Fila 2 ($V, F$): $V \oplus F = V$ (disparidad veritativa válida).
- Fila 3 ($F, V$): $F \oplus V = V$ (disparidad veritativa válida).
- Fila 4 ($F, F$): $F \oplus F = F$ (ausencia total de verdad).
Síntesis didáctica
La disyunción exclusiva es exactamente la inversa lógica del bicondicional: su vector $[F, V, V, F]^T$ niega punto a punto el vector $[V, F, F, V]^T$ de $p \leftrightarrow q$.
La alternativa correcta es 'Las filas 2 y 3, donde las variables tienen valores de verdad distintos ($V, F$ y $F, V$)'. La disyunción exclusiva exige disparidad.
Definiciones clave
- Tabla de verdad de la disyunción exclusiva: Matriz de 4 filas que exhibe dos resultados verdaderos simétricos ($[F, V, V, F]^T$).
- Detector de imparidad: Función que devuelve 1 cuando la suma de bits de entrada es impar.
- Vector complementario del bicondicional: Relación vectorial $\mathbf{v}(p \oplus q) = \mathbf{1} - \mathbf{v}(p \leftrightarrow q)$.
Propiedades y relaciones importantes
- Simetría antipodal: Los extremos superior ($V,V$) e inferior ($F,F$) son falsos, y los términos cruzados ($V,F$ y $F,V$) son verdaderos.
- Conmutatividad: $p \oplus q \equiv q \oplus p$ confirmado por la igualdad de las filas 2 y 3.
Ejemplo guiado
Construye la tabla de verdad para la fórmula $(p \oplus q) \leftrightarrow \neg(p \leftrightarrow q)$ y verifica si es una tautología.
- Paso 1: Colocar las 4 filas estándar de entrada para $p$ y $q$.
- Paso 2: Calcular la subcolumna $p \oplus q$: $[F, V, V, F]^T$.
- Paso 3: Calcular la subcolumna $p \leftrightarrow q$: $[V, F, F, V]^T$.
- Paso 4: Calcular la negación $\neg(p \leftrightarrow q)$: Invertir la columna anterior, obteniendo $[F, V, V, F]^T$.
- Paso 5: Evaluar el bicondicional entre ambas columnas: Comparar $[F, V, V, F]^T$ con $[F, V, V, F]^T$. Como coinciden fila por fila, el resultado es $[V, V, V, V]^T$, confirmando que es una tautología.
La alternativa correcta es 'Falso ($F$)'. Al ser ambas verdaderas, la condición de exclusividad mutua se incumple.
Procedimiento
- Paso 1: Disponer las 4 combinaciones canónicas de entrada ($p: V, V, F, F$ y $q: V, F, V, F$).
- Paso 2: Rotular la columna de salida como $p \oplus q$.
- Paso 3: Colocar $F$ en la primera fila ($V, V$) y en la cuarta fila ($F, F$).
- Paso 4: Colocar $V$ en las filas intermedias ($V, F$ y $F, V$).
Errores frecuentes y cómo corregirlos
- Error 1: Asignar $V$ en la fila $1$ ($V, V$). Cómo corregirlo: La disyunción exclusiva no tolera simultaneidad de verdad; si $p=V$ y $q=V$, entonces $p \oplus q = F$.
- Error 2: Creer que la fila $4$ ($F, F$) es verdadera. Cómo corregirlo: Para que la disyunción exclusiva sea verdadera debe existir al menos una verdad exclusiva; si ambas son falsas, el resultado es estrictamente $F$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $V \oplus F = V$.
- $F \oplus V = V$.
- Sí, exactamente 2 de 4 filas son verdaderas (50%).
- Sí, son vectores estrictamente complementarios fila por fila.
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 describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Construir y evaluar la tabla de verdad canónica de la disyunción exclusiva ($p \oplus q$).
Asignar las $4$ combinaciones de entrada y aplicar el patrón de disparidad veritativa $[F, V, V, F]^T$.
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