EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD

Descripción del ejercicio:

E. Si Lina consume alimentos balanceados y practica ejercicio regularmente,
entonces goza de buena salud. Si Lina no practica ejercicio regularmente o se
dedica a otras actividades, no gozará de buena salud
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
 Definir las proposiciones simples del argumento.
p = Lina consume alimentos balanceados
q = Practica ejercicios regularmente

r = se dedica a otras actividades

s = goza de buena salud

 Definir la expresión del argumento en lenguaje simbólico o formal.

[[(p^q)s] [( ~ q v r ) ~ s]

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

http://logicaunad.com/jtruth/resolver.php
simulador lógico unad
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico
y determinar si el resultado es una tautología, contingencia o
contradicción.
[(p^q)s]  [( ~ q v r )  ~
p q r s ~q ~s p^q (p^q ) s ~q r v
( ~ q r )  (~ s)
v
s]

v v v v f f v v v f f
v v v f f v v f v v f
v v f v f f v v f v v
v v f f f v v f f f v
v f v v v f f v v f f
v f v f v v f v v v v
v f f v v f f v v f f
v f f f v v f v v v v
f v v v f f f v v f f
f v v f f v f v v v v
f v f v f f f v f v v
f v f f f v f v f f f
f f v v v f f v v f f
f f v f v v f v v v v
f f f v v f f v v f f
f f f f v v f v v v v

 Resultado de la tabla de verdad: CONTRADICCION