PENSAMIENTO LOGICO MATEMATICO - (200611C-614)

Ejercicio 2 Unidad 1_ Emiliana Palacios Palacios

Tutor: JUAN DAVID LACHARME

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – LA UNAD

ESTUDIANTE DE LICENCIATURA EN PEDAGOGÍA INFANTIL

PUERTO BOYACÁ, BOYACÁ/SEPTIEMBRE/2019

  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.
ARGUMENTO:

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario o Si

ella no lo lleva al concesionario entonces, lo lleva taller de Fernando

Proposiciones Simples

P= el vehículo de Gabriela necesita mantenimiento.

q= Gabriela lleva el vehículo al concesionario

r= Gabriela lleva el vehículo al taller de Fernando

LENGUAJE SIMBÓLICO

(p → q) v (q → r)

TABLA DE VERDAD

p q r P→q q→r (p→q) v (q→r)

v v v v v v
v v f v f v
v f v f v v
v f f f v v
f v v v v v
f v f v f v
f f v v v v
f f f v v v
JTabla - Resultados

p q r (p→q)∨(q→r)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V

Resultado de la tabla de verdad: TAUTOLOGÍA