TAREA 1 PROPOSICIONES Y TABLAS DE VERDAD

TUTOR: YIMER CAMILO VARGAS

MAICOL SNEIDER VASALLO TRIANA

CODIGO: 1124218727

GRUPO: 200611_2010

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
LICENCIATURA EN PEDAGOGIA INFANTIL
CEAD: ACACIAS META
2019/20/09
Ejercicio 2: Proposiciones y Tablas de verdad
Descripción del ejercicio: A continuación, encontrará los argumentos
para el desarrollo del ejercicio 2:
 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
A partir del argumento que haya seleccionado deberá dar respuesta a
los siguientes ítems:
 Definir las proposiciones simples del argumento
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

p: el vehículo de Gabriela necesita mantenimiento

q: ella lo lleva al concesionario
~q: ella no lo lleva al concesionario
r: lo lleva taller de Fernando
 Definir la expresión del argumento en lenguaje simbólico o
formal.
[(p → q) ^(~q →r)]
• Generar una tabla de verdad con el simulador Lógica UNAD a partir
del lenguaje simbólico
• 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 ~q (p➝q) (~q➝r) [(p➝q)^(~q➝r)]

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

Resultado de la tabla de verdad:

CONTINGENCIA
 Referencias bibliográficas
 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. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action
?ppg=20&docID=3226457&tm=1529246259924
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.
Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.act
ion?ppg=12&docID=3199701&tm=1529335849013