Question

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.

Ø  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.

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

30d32914ddcb4d6ae777645268631d72.xlsx