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.
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.
por favor ayuda

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ónEl argumento es de Tautología

9f675401669b055760b6da6d3c061da8.xlsx