UNIDAD 1

PENSAMIENTO LÓGICO MATEMÁTICO

GRUPO: 200611_890
IDENTIFICACION:
1065853879
TELEFONO:
3005083210

PRESENTADO POR:
MORELIA ANDREA MORENO PINO

PRESENTADO A TUTOR:
DAVID RODRIGO OLIVARES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

VALLEDUPAR-CESAR
AÑO 2020
Introducción

Con el desarrollo del presente trabajo estudiaremos la Teoría entre conjuntos y Principios
de Lógica, donde nos formaremos en la comprensión de las definiciones de la lógica
formal; uso de conectores lógicos y las leyes de las proposiciones, las cuales nos darán las
bases para formalizar nuestros conocimientos; todas estas herramientas nos ayudarán a
desempeñarnos en nuestro campo profesional
Objetivos
Desarrollar las temáticas de proposiciones, tablas de verdad, conjuntos y sus operaciones.

Específicos
Utilizar estrategias basadas en problemas
Interactuar con los diferentes compañeros
Adquirir herramientas útiles para nuestra vida profesional
Ejercicio # 1: Conceptualización de Cuantificadores
Tema C: Cuantificador Existencial 
https://prezi.com/view/61691vRTcVQKSi48qs94/

Ejercicio 2: Proposiciones Y Tablas De Verdad

Descripción del ejercicio

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

C: Colombia cuenta con una variedad de fauna y flora. Si y solo si, la atraviesa la
cordillera de los Andes y la llanura amazónica.

A partir del argumento seleccionado deberá dar respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento.

p: Colombia cuenta con una variedad de fauna
q: Colombia cuenta con una variedad de flora
r: la atraviesa la cordillera de los Andes
s: la atraviesa la llanura amazónica

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

[(p ∧ q)]↔(r ∧ s)]
 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.
La Tabla Obtenida Es Una Contingencia

Ejercicio 3: Problemas De Aplicación

Descripción del ejercicio

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

C: [ ( p → q ) ⟷ r ]

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico.
 [ ( p → q) ⟷ r ]

P: Morelia estudia en la UNAD de Valledupar

q: Pertenece al CEAD Valledupar

r: Cursa el programa de psicología

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante.

Si Morelia estudia en la UNAD de Valledupar entonces pertenece al CEAD

Valledupar. Si y solo si cursa el programa de psicología.

 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 (En Word,
Excel o foto del desarrollo manual).
  Definir si el argumento seleccionado inicialmente es una tautología, contradicción o
contingencia

La Tabla Obtenida Es Una Contingencia

Conclusiones
Desarrollamos las temáticas de proposiciones, tablas de verdad, conjuntos y sus
operaciones
Utilizamos estrategias basadas en problemas
Interactuamos con los diferentes compañeros
Adquirimos herramientas útiles pars nuestra vida profesional

Referecias 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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961