Question

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia
1. En la vida de cualquier persona es fundamental un equilibrio entre la alimentación y la actividad física. Por eso un deportista de alto rendimiento se hace una reflexión sobre su alimentación: “Si consumo huevo en el desayuno y me como un banano, entonces tendré pesadez en el estómago. No es cierto que si me como un banano, tendré pesadez en el estómago. Como ensalada o consumo huevo en el desayuno. Si como ensalada, me alimento sanamente. Por lo tanto, me alimento sanamente.

Answer 1

Definición de preposiciones simples:

p: consumir huevo en el desayuno
q: comerse un banano
o: comer ensalada.
r: pesadez en el estómago

s: me alimento sanamente

Lenguaje natural de la exposición formal

p ∧ q→r : Si consumo huevo en el desayuno y me como un banano, entonces tendré pesadez en el estómago

¬(q→r): No es cierto que si me como un banano, tendré pesadez en el estómago

(q v p) : como ensalada o consumo huevo en el desayuno

(o→s): si como ensalada, me alimento sanamente

Generar Tabla de la Verdad.

{[(p ∧ q)→r] ∧ [¬(q→r)] ∧ [(q v p)] ∧[(o→s)]  → s}

Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es de Tautología

4cb38be1776ee3b7a475619f12e47c6d.xlsx