TAREA 1-CONECTIVOS LOGICOS Y TEORIA DE CONJUNTOS

WILINTON ESNEIDER VARGAS CASTRO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

INGENIERIA DE SISTEMAS

FOSCA

01/05/2019

CEAD GACHETA

1
 EJERCICIO 2. TABLAS DE VERDAD

DESCRIPCIÓN DEL EJERCICIO

 Aprender matemáticas desarrolla el razonamiento lógico si y solo si se

posee una buena comprensión lectora y buena ortografía.

 Definir las proposiciones simples del argumento

p: aprender matemáticas desarrolla el razonamiento lógico

q: se posee una buena comprensión lectora
r: buena ortografía

 definir la expresión del argumento en lengua simbólico o formal.

(p↔q) Λ r
 Generar una tabla de verdad con el simulador lógica UNAD a partir del lenguaje simbólico.

p q r p↔q∧r
v v v V
v v f F
v f v F
v f f F
f v v F
f v f V
f f v V
f f f V

2
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
resultado es una tautologia, contingencia o contradiccion.

3
 BIBLIOGRAFIA

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
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226457&tm
=1529246259924

http://logicaunad.com/jtruth/