Escuelas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

Trabajo colaborativo 1

Presenta

Juan Carlos Vanegas – 1.048.206.711
Claudia Milena Jaramillo Jaramillo – 1.048.216.031
Carlos Darío Caro Flórez – 1.048.014.359
Katry Lizeth Peralta – 1.048.266.591Tutor
Georffrey Acevedo González

Director de curso
Georffrey Acevedo González

OCTUBRE 15 DEL 2012
________________________________________________________________________________________________________________________________
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD –

www.unad.edu.co

Director de curso: georffrey.acevedo@unad.edu.co

1/14

UNIVERSIDAD NACIONALABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

INTRODUCCIÓN

La lógica matemática ha existido desde muchos años atrás, siempre se ha utilizado para dar
facilidad al análisis e interpretación de una manera más fácil y simple resumiendo el lenguaje
tradicional a uno simbólico.
Es por ello que a continuación se encontrara un trabajo donde seaplicó los conocimientos
cognitivos y asimismo adquiridos durante el desarrollo y elaboración de un trabajo
colaborativo perteneciente a la unidad 1 del módulo de lógica matemática, donde cada
participante profundizo en cada uno de los temas y de esta manera irlos dando a conocer a
sus compañeros para construir y consolidar un buen trabajo grupal. Aunque quizás hemos
presentado algunaspequeñas dificultades en el desarrollo de este, se dio la oportunidad de
consultar otras fuentes para entregar un producto final bien estructurado y entendible.
Es así entonces que posteriormente se hallaran con un ejercicio de las teorías de conjuntos
en el cual se usara gráficamente un diagrama de Venn donde se establecerán relaciones de
inclusión, exclusión, intersección y conjunciónentre conceptos, en este caso sobre los
problemas sociales de Colombia y de esta manera representar una lógica racional.
Seguidamente se encontrarán con un cuadro donde de acuerdo al programa académico que
esté ejecutando cada estudiante, se plasmaran diez proposiciones lógicas divididas en:
cinco expresiones que correspondan a proposiciones lógicas y otras cinco expresiones que
no puedanser clasificadas como proposiciones lógicas.
Luego de acuerdo a los conectivos lógicos (^, v, →, ↔), nos plantearan seis expresiones en
lenguaje natural y nosotros teniendo en cuenta lo profundizado en el tema de los
conectivos lógicos, lo debemos plantear en expresiones de lenguaje simbólico. Asimismo
se encontraran con una proposición lógica, la cual se le dio solución en una tabla deverdad
que nos permitió conocer el valor de verdad de una proposición compuesta para cada calor
posible de las proposiciones simples que la conformaba, de igual manera para verificar si la
solución de los valores de la tabla de verdad estaban correctos, se utilizó un simulador en
internet para comprobar los resultados obtenidos y así se procedió a tomar un pantallazo y
este fue anexado altrabajo y además con respecto a la tabla de verdad se admitió
________________________________________________________________________________________________________________________________
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD –

www.unad.edu.co

Director de curso: georffrey.acevedo@unad.edu.co

2/14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de cienciasbásicas tecnologías e Ingeniería
Lógica Matemática

clasificar esta proposición como contingente.
Igualmente más adelante nos encontraremos con nueve enunciados de los cuales dos de
ellos son ejemplos y los otros siete se deben clasificar como verdadero o falso, proposición
atómica, proposición molecular o no es una proposición. Y así para finalizar se hallara una
breve reflexión grupal....