Tabla de verdad de la disyunción inclusiva
Resumen inicial
Estructura canónica de la tabla de verdad de la disyunción inclusiva ($p \lor q$), caracterizada por tres filas verdaderas y una única fila falsa.
Explicación en palabras simples
La tabla de verdad de la disyunción inclusiva ($p \lor q$) organiza las $4$ combinaciones posibles entre dos variables unidas con "o". La columna de salida es muy generosa: contiene Verdadero ($V$) en las tres primeras filas (donde al menos una de las dos partes es verdadera). La única fila donde la disyunción inclusiva resulta Falsa ($F$) es la cuarta fila, donde tanto $p$ como $q$ son falsos ($F \lor F = F$).
Explicación formal
Definición formal
La tabla de verdad de la disyunción inclusiva binaria es la representación matricial de la función veritativo-funcional booleana $\lor: \{V, F\}^2 \to \{V, F\}$:
$$\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}$$
donde el vector columna de salida canónico es $\mathbf{v}(p \lor q) = [V, V, V, F]^T$.
Desglose simbólico
- Fila 1 ($V, V$): $V \lor V = V$ (ambas verdaderas).
- Fila 2 ($V, F$): $V \lor F = V$ (primer operando verdadero).
- Fila 3 ($F, V$): $F \lor V = V$ (segundo operando verdadero).
- Fila 4 ($F, F$): $F \lor F = F$ (única fila de falsedad).
Síntesis didáctica
La disyunción inclusiva posee una tasa de verdad del $75\%$ ($3$ de $4$ filas), siendo el complemento booleano exacto de la tabla de la conjunción negada mediante las Leyes de De Morgan.
La alternativa correcta es 'Exactamente $3$ filas de las $4$ posibles'. La disyunción inclusiva es verdadera siempre que exista al menos un $V$.
Definiciones clave
- Tabla de verdad de la disyunción inclusiva: Matriz de 4 filas que describe el comportamiento veritativo del operador $\lor$.
- Fila de falsedad exclusiva: Única fila (Fila 4) donde la disyunción produce el valor $F$.
- Vector de salida booleano: Vector binario $[1, 1, 1, 0]$ representativo de la disyunción inclusiva.
Propiedades y relaciones importantes
- Dualidad con la conjunción: El vector $[V, V, V, F]^T$ de $p \lor q$ es el inverso ordenado del vector $[F, F, F, V]^T$ de $\neg p \land \neg q$.
- Conmutatividad matricial: Las filas intermedias ($V, F \mapsto V$ y $F, V \mapsto V$) confirman que $p \lor q \equiv q \lor p$.
Ejemplo guiado
Construye la tabla de verdad de la fórmula $(p \lor q) \land \neg p$ y determina su vector columna de salida.
- Paso 1: Establecer las $4$ combinaciones de entrada para $p$ y $q$.
- Paso 2: Calcular la subcolumna $p \lor q$: $[V, V, V, F]^T$.
- Paso 3: Calcular la subcolumna $\neg p$: Invertir $p$, obteniendo $[F, F, V, V]^T$.
- Paso 4: Evaluar la conjunción final $(p \lor q) \land \neg p$: - Fila 1: $V \land F = F$ - Fila 2: $V \land F = F$ - Fila 3: $V \land V = V$ - Fila 4: $F \land V = F$
- Paso 5: Concluir que el vector de salida es $[F, F, V, F]^T$, correspondiente a una contingencia (equivalente lógicamente a $\neg p \land q$).
La alternativa correcta es 'En la fila 4, donde $p=F$ y $q=F$'. Solo la combinación de doble falsedad genera $F$.
Procedimiento
- Paso 1: Colocar las 4 filas estándar de entrada para $p$ ($V, V, F, F$) y $q$ ($V, F, V, F$).
- Paso 2: Escribir la columna de salida con el título $p \lor q$.
- Paso 3: Colocar $V$ en cada fila donde figure al menos una entrada $V$.
- Paso 4: Colocar $F$ exclusivamente en la fila donde ambas entradas sean $F$.
Errores frecuentes y cómo corregirlos
- Error 1: Asignar $F$ en la primera fila ($V, V$). Cómo corregirlo: La disyunción inclusiva permite que ambos componentes sean verdaderos; por ende, $V \lor V = V$.
- Error 2: Confundir la tabla de la disyunción inclusiva con la de la disyunción exclusiva. Cómo corregirlo: La disyunción inclusiva tiene vector $[V, V, V, F]^T$; la exclusiva tiene vector $[F, V, V, F]^T$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $V \lor V = V$.
- $V \lor F = V$.
- $F \lor F = F$.
- Sí, 3 de cada 4 filas son verdaderas (75%).
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 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.
Al terminar debes poder
Construir y evaluar la tabla de verdad canónica de la disyunción inclusiva ($p \lor q$).
Asignar las $4$ combinaciones de entrada y aplicar la regla de tres verdades y una falsedad ($[V, V, V, F]^T$).
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Cuál de los siguientes casos ejemplifica mejor tabla de verdad de la disyunción inclusiva?
El ejemplo correcto es: V ∨ F = V es una fila típica de la disyunción inclusiva.. Ese caso representa adecuadamente tabla de verdad de la disyunción inclusiva.
Respuesta: V ∨ F = V es una fila típica de la disyunción inclusiva.
-
¿Qué describe mejor tabla de verdad de la disyunción inclusiva?
La definición correcta es: la disyunción inclusiva p ∨ q es verdadera cuando al menos una proposición es verdadera. Esa es la idea central de tabla de verdad de la disyunción inclusiva.
Respuesta: la disyunción inclusiva p ∨ q es verdadera cuando al menos una proposición es verdadera
-
¿Qué afirmación clave conviene recordar sobre tabla de verdad de la disyunción inclusiva?
La afirmación correcta es: La disyunción inclusiva solo es falsa cuando ambas proposiciones son falsas.. Esa observación ayuda a usar bien el concepto.
Respuesta: La disyunción inclusiva solo es falsa cuando ambas proposiciones son falsas.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifica la opción que corresponde a tabla de verdad de la disyunción inclusiva.
Se reconoce tabla de verdad de la disyunción inclusiva en el ejemplo: V ∨ F = V es una fila típica de la disyunción inclusiva..
Respuesta: V ∨ F = V es una fila típica de la disyunción inclusiva.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es correcto afirmar que la disyunción inclusiva p ∨ q es verdadera cuando al menos una proposición es verdadera?
Verdadero. Esa es justamente la definición de tabla de verdad de la disyunción inclusiva.
Respuesta: Verdadero
-
¿El caso “V ∨ F = V es una fila típica de la disyunción inclusiva” corresponde a tabla de verdad de la disyunción inclusiva?
Verdadero. El ejemplo dado es una aplicación directa de tabla de verdad de la disyunción inclusiva.
Respuesta: Verdadero
-
¿La afirmación “La negación trabaja con una sola variable proposicional.” describe tabla de verdad de la disyunción inclusiva?
Falso. Tabla de verdad de la disyunción inclusiva se describe mejor así: la disyunción inclusiva p ∨ q es verdadera cuando al menos 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 inclusiva. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: V ∨ F = V es una fila típica de la disyunción inclusiva.. Ese caso representa tabla de verdad de la disyunción inclusiva sin ambigüedad.
Respuesta: V ∨ F = V es una fila típica de la disyunción inclusiva.
-
Un profesor escribe la afirmación “La disyunción inclusiva solo es falsa cuando ambas proposiciones son falsas”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Tabla de verdad de la disyunción inclusiva, porque su idea clave es: La disyunción inclusiva solo es falsa cuando ambas proposiciones son falsas..
Respuesta: Tabla de verdad de la disyunción inclusiva
-
En un control se pide identificar la definición correcta de tabla de verdad de la disyunción inclusiva. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: la disyunción inclusiva p ∨ q es verdadera cuando al menos una proposición es verdadera.
Respuesta: la disyunción inclusiva p ∨ q es verdadera cuando al menos una proposición es verdadera