Ejercicio 2: Proposiciones y Tablas de verdad

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.

 Definir las proposiciones simples del argumento.

p = consume alimento balanceado.

q = practica ejercicio regularmente.

r = goza de buena salud.

t = se dedica a otras actividades.

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

[(𝒑 ^ 𝒒) → 𝒓] → [(¬𝒒 𝒗 𝒕) → ¬𝒓]

 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).
  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 r t ¬q ¬r (p ^ q) [ (p ^ q) → r] ( ¬ q v t) [ ( ¬q v t) → ¬ r] [(p ^ q)→r] →[(¬q v t)→¬r]

V V V V F F V V V F F
V V V F F F V V F V V
V V F V F V V F V V V
V V F F F V V F F V V
V F V V V F F V V F F
V F V F V F F V V F F
V F F V V V F F V V V
V F F F V V F F V V V
F V V V F F F V V F F
F V V F F F F V F V V
F V F V F V F F V V V
F V F F F V F F F V V
F F V V V F F V V F F
F F V F V F F V V F F
F F F V V V F F V V V
F F F F V V F F V V V

• Resultado de la tabla de verdad: CONTINGENCIA