Question

1.15 Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son válidos (tautologías) o no. • Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia. • Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre que me entra un hambre atroz, viajo. • Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón.

Answer 1

En el ejercicio de lógica utilizando la tabla de verdad, formalizamos los enunciados:

1)

A: Juan partirá para Japón.

B: María se queda en Venecia.

C: Rosa viajará a Luxemburgo

D: Juan no partirá para Japón.

Obtenemos:

(A ← B) ∧ (C ∨ D) ∧ (¬A  ↔ ¬C) → ¬ B

Tabla de Verdad: Primera Imagen adjunta

2)

A: Viajo

B: Me mareo.

C: Me entra un hambre atroz.

(A → B) ∧ (B → C). → (C → A)

Tabla de Verdad: Segunda Imagen adjunta

3.

A: La Luna es mayor que la Tierra,

B: Tierra es mayor que el Sol.

C: Júpiter es mayor que Plutón

(A → B) ∧ (C ← B) → (A → C)

Tabla de Verdad: Tercera Imagen adjunta