Medio
Lógica proposicional
UNMSM · 2026

Ejercicio de Aritmética — UNMSM

Determine, en cada caso y en el orden indicado, si las siguientes proposiciones son tautología (⊤\top), contradicción (⊥\bot) o contingencia (C):

I. David trabaja, ya que no estudia. Además, estudia.

II. Betty no viaja en bus, entonces viaja en avión. Sin embargo, no es cierto que; viaja en bus o que viaja en avión.

III. Luis juega tenis o no juega fútbol; puesto que, juega tenis dado que juega fútbol.

Ver solución paso a paso

I. Con pp: David estudia, qq: David trabaja, el enunciado se traduce como (∼p→q)∧p(\sim p \rightarrow q)\wedge p, que se simplifica a pp: su valor depende de si David realmente estudia o no, así que es una contingencia.

II. Con pp: Betty viaja en bus, qq: Betty viaja en avión, la expresión (∼p→q)∧∼(p∨q)(\sim p \rightarrow q)\wedge \sim(p\vee q) se reduce, paso a paso, a ∼p∧q∧∼q\sim p \wedge q \wedge \sim q, que contiene la contradicción q∧∼qq\wedge\sim q, por lo que el resultado final es siempre falso: es una contradicción.

III. Con pp: Luis juega tenis, qq: Luis juega fútbol, la fórmula (q→p)→(p∨∼q)(q\rightarrow p)\rightarrow(p\vee\sim q) se simplifica hasta llegar a p∨q∨∼qp\vee q\vee\sim q, que contiene q∨∼qq\vee\sim q (siempre verdadero), por lo que el resultado es siempre verdadero: es una tautología.

Rpta.: C, ⊥\bot, ⊤\top