Subjects lógica proposicional

Tabla Verdad Reserva

Step-by-step solutions with LaTeX - clean, fast, and student-friendly.

Search Solutions

Tabla Verdad Reserva


1. **Planteamiento del problema:** Se nos da la proposición lógica: $$\bigl(\neg(p \wedge q) \Rightarrow r\bigr) \Leftrightarrow \bigl(p \Rightarrow (q \lor r)\bigr)$$ con las variables: - $p$: El huésped realiza el check-in. - $q$: La reserva fue prepagada. - $r$: El hotel aplica un cargo por "No Show". Se pide: 1. Construir la tabla de verdad para esta fórmula. 2. Concluir si es una tautología, contradicción o contingencia y explicar su implicación. 2. **Construcción de la tabla de verdad:** Primero, listamos todas las combinaciones posibles de $p$, $q$, y $r$ (8 combinaciones). Luego calculamos paso a paso: - $p \wedge q$ - $\neg(p \wedge q)$ - $\neg(p \wedge q) \Rightarrow r$ - $q \lor r$ - $p \Rightarrow (q \lor r)$ - Finalmente, la equivalencia: $$\bigl(\neg(p \wedge q) \Rightarrow r\bigr) \Leftrightarrow \bigl(p \Rightarrow (q \lor r)\bigr)$$ | $p$ | $q$ | $r$ | $p \wedge q$ | $\neg(p \wedge q)$ | $\neg(p \wedge q) \Rightarrow r$ | $q \lor r$ | $p \Rightarrow (q \lor r)$ | Equivalencia | |-----|-----|-----|--------------|--------------------|-------------------------------|------------|----------------------------|--------------| | T | T | T | T | F | T | T | T | T | | T | T | F | T | F | F | T | T | F | | T | F | T | F | T | T | T | T | T | | T | F | F | F | T | F | F | F | F | | F | T | T | F | T | T | T | T | T | | F | T | F | F | T | F | T | T | F | | F | F | T | F | T | T | T | T | T | | F | F | F | F | T | F | F | T | F | (T = True, F = False) 3. **Análisis de la equivalencia:** La columna de equivalencia no es siempre verdadera ni siempre falsa. - Hay filas donde la equivalencia es verdadera. - Hay filas donde es falsa. Por lo tanto, la proposición es una **contingencia**. 4. **Implicación en la política de reservas del hotel:** Que la proposición sea contingente significa que la relación lógica entre las condiciones del check-in, prepago y cargo por "No Show" no es universalmente verdadera ni falsa. Esto indica que la política del hotel puede tener casos donde la implicación entre estas condiciones se cumple y otros donde no. Por ejemplo, si el huésped no realiza el check-in y la reserva no fue prepagada, el cargo por "No Show" puede o no aplicarse, dependiendo de la situación. Esto sugiere que la política debe ser clara y considerar todos los casos para evitar ambigüedades. **Respuesta final:** La proposición dada es una **contingencia**, lo que implica que la política de reservas del hotel no es una regla lógica universalmente válida y debe ser evaluada caso por caso para evitar confusiones o errores en la aplicación de cargos.