Ejercicio 2 Unidad 1_yureinis Guerrero.docx

Sofía juega básquet por hobby o practica tenis de forma profesional. Si practica tenis de forma profesional entonces juega por más de tres horas diarias y quema muchas calorías

Definir la expresión del argumento en lenguaje simbólico o formal. P= Sofía juega básquet por hobby q= practica tenis de forma profesional r= juega por más de tres horas diarias s= quema muchas calorías

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

(p v q) ˄ [q→ ( r ˄ s)]

Generar una tabla de verdad con el simulador lógica 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 v v v v v v v v f f f f f f f f

q v v v v f f f f v v v v f f f f

r

s v v f f v v f f v v f f v v f f

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

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

Resultado de la tabla: Contingencia

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