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 (pq)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 (pq)(pq)(\sim p \rightarrow q)\wedge \sim(p\vee q) se reduce, paso a paso, a pqq\sim p \wedge q \wedge \sim q, que contiene la contradicción qqq\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 (qp)(pq)(q\rightarrow p)\rightarrow(p\vee\sim q) se simplifica hasta llegar a pqqp\vee q\vee\sim q, que contiene qqq\vee\sim q (siempre verdadero), por lo que el resultado es siempre verdadero: es una tautología.

Rpta.: C, \bot, \top