Ejercicio 2: Tablas de verdad

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28)
 Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

a) Si Gabriela 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 gozara de buena salud.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.
 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.

Definir l<as proposiciones simples del argumento.

P : Si Gabriela consume alimentos balanceados

Q:Y practica ejercicios regularmente, entonces

R: goza de buena salud. Si Lina no practica ejercicio regularmente
S:se dedica a otras actividades , no gozara de buena salud

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

 {(p∧q) r∨s)
Generar una tabla de verdad con el simulador Lógica UNAD

p q r s ((p∧q)→r∨s)
v v v v V
v v v f V
v v f v V
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s ((p∧q)→r∨s)

v v v v V
v v v f V
v v f v V

v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V