Unidad 1: Tarea 1 – Proposiciones y Tablas de Verdad

Tutor: Nestor Hernandez Moreno

Estudiante: Jarby Moya Bayona

Grupo: 145

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación

Licenciatura en Lenguas Extranjeras con Énfasis en Ingles

Pensamiento Lògico y Matemàtico (200611A-762)

Abril - 2020
Argumento: C. Si el uso de computador es muy básico en la UNAD y Juan no tiene
computador, entonces tendrá dificultad para estudiar o irá al CEAD más cercano para
usar los que la universidad le ofrece.

 Proposiciones Simples: (se define cada proposición simple del argumento,

siempre en afirmativo y con letras en minúscula).
p = El uso de computador es muy básico en la UNAD
q = Juan no tiene computador
r = Tendrá dificultad para estudiar
s = Irá al CEAD más cercano para usar los que la universidad le ofrece.

Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

[(p ^ ~q ) → (r ˅ s)]

TABLA DE VERDAD

p q r s ̴q (p^ ̴q) (r ˅ s) [( p ^ ̴ q ) → (r ˅ s )]
v v v v f f v v
v v v f f f v v
v v f v f f v v
v v f f f f f v
v f v v v v v v
v f v f v v v v
v f f v v v v v
v f f f v v f f
f v v v f f v v
f v v f f f v v
f v f v f f v v
f v f f f f f v
f f v v v f v v
f f v f v f v v
f f f v v f v v
f f f f v f f v

 Resultado de la tabla de verdad: CONTINGENCIA

Resultados obtenidos del Simulador UNAD

[(p ^ ~q ) → (r ˅ s)]

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 V
v f v v V
v f v f V
v f f v V
v f f f F
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

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). Madrid,
España: Editorial Tébar Flores.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 9-28). Ediciones Elizcom,