Universidad Nacional Abierta y a Distancia UNAD

Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas

Curso: Linux

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Lgica Matemtica
Grupo: 90004_311

Unidad 1 Paso 2
Conectivos Lgicos y teora de conjuntos

Presentado por:
ROBERTO JOSE SERRANO PEREZ
Cdigo: 1114451738

Presentado a:
Tutor: Arnol Ortiz

Escuela De Ciencias Bsicas e Ingeniera

(Ingeniera en Sistemas)
CEAD Palmira
Septiembre de 2017
 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

INTRODUCCIN

Los conectores lgicos al igual que los conjuntos nos permiten

representar situaciones del mundo real en smbolos o frmulas
matemticas con el fin de poder trabajar con esa informacin.
 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

OBJETIVOS

Identificar oraciones con conectores lgicos.

Expresar oraciones en lenguaje simblico.
Determinar valores de verdad de las proposiciones.
Representacin de conjuntos.
 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

Actividad Individual

Tarea 1: Proposiciones

Escriba la proposicin compuesta propuesta en lenguaje natural y

determine su valor de verdad, a partir del valor de verdad de cada
proposicin simple:

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual

escogi, para que no sea escogido por otro integrante)

a. :
:
:

Preposicin compuesta en el lenguaje simblico

[( ) ()]

Preposicin compuesta en el lenguaje natural

El departamento de la Guajira tiene acceso al Ocano Atlntico,

adems el departamento del choco no tiene acceso al ocano pacifico
entonces Colombia no tiene acceso a dos ocanos.

Determinacin del valor de la verdad

p: El departamento de la Guajira tiene acceso al ocano atlntico V

q: El departamento del Choco tiene acceso al Ocano Pacifico V

r: Colombia tiene acceso a dos ocanos V

 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

( ) ()

( ) ()

Tarea 2: Tablas de verdad

a. Si el valor del dlar aumenta, entonces la inflacin aumenta. El

dlar no aument. Por lo tanto, la inflacin no aument

P: El valor del dlar aumenta

Q: la inflacin aumenta

Expresin en lenguaje simblico.

Proposicin en lenguaje formal o simblico.

(p q) ^ (p q)

(v v) ^ (v v)

(v) ^ (v)

(v)

El valor de verdad de [(p q) ^ p] q es verdadero

Desarrollo mediante tablas de verdad

 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

p q [(p q) p] q

V V V

V F V

F V F

F F V

Uso del simulador Truth Table.

 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

Tarea 3: Teora de Conjuntos

Teora 1

= { }

= { }

= { }

= { , }

Los profesores que dirigen los cursos de Lgica Matemtica o lgebra

sin los profesores que estn en Lgica Matemtica y lgebra.

U=L A
 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

Tarea 4: Aplicacin de la Teora de Conjuntos

De las siguientes situaciones representarlas en un diagrama de Venn y

solucionar los interrogantes planteados

(Solo selecciona uno de los 5 casos e informa en el foro cual escogi,

para que no sea escogido por otro integrante)

a. En una empresa de transporte se realiz una encuesta a 630

usuarios, sobre los sitios de la costa preferidos por ellos para ir
de vacaciones; obteniendo los siguientes resultados:
125 prefieren solo la ciudad de Cartagena
230 prefieren por lo menos las ciudades de Santa Marta y
Barranquilla
75 prefieren solo Barranquilla y Cartagena
El total de usuarios que prefieren Barranquilla es 345
45 prefieren solo Santa Marta Y Cartagena
El total de usuarios que prefieren Cartagena es 270
La suma de los usuarios que prefieren Santa Marta o Cartagena
es 490
 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

125+75+25+45+205+15+40=530

Cuntos usuarios prefieren solo la ciudad de Barranquilla?

Prefieren la ciudad de barranquilla 40

Cuantos usuarios prefieren las tres ciudades?

Prefieren las tres ciudades 25

Cuntos usuarios prefieren solo Santa Marta?

Prefieren solo Santa Marta 15

Cuntos usuarios no prefieren ninguna de las tres ciudades?

No prefieren ninguna de las tres ciudades 100

 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

Conclusiones

Se realiza actividades de acuerdo a los puntos acordados, entendiendo

tanto la tabla de la verdad como la teora de conjuntos, tanto uno como
la otra tiene el enfoque de resolver problemticas de la vida diaria con
diferentes formas de ejercerlos.
 Universidad Nacional Abierta y a Distancia UNAD
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ingeniera de Sistemas
Curso: Linux

Bibliografa

Acevedo, g. (2010). Ejemplo de uso de un generador de tablas de

verdad 2. Octubre 10, 2016, Recuperado de
https://www.youtube.com/watch?v=ZKg7wt9EGJI

Jaramillo Atehorta, A., Tejada Ramrez, J., Rivas, C., Ospina, D.,
Romero, M., & Gmez Hernndez, J. (2005). Fundamentos de Lgica y
Teora de Conjuntos - Universidad de Antioquia -
2004.Docencia.udea.edu.co. Octubre 10, 2016, Recuperado de
http://docencia.udea.edu.co/cen/logica/

QuidiMat- Vdeos de Matemtica Superior,. (2015). VALOR DE VERDAD

DE PROPOSICIONES EXPRESADOS EN EL LENGUAJE SIMBOLICO.
Octubre 10, 2016, Recuperado de
https://www.youtube.com/watch?v=J3t4G7r_5Ww

Tareasplus,. (2013). Cmo convertir una proposicin al lenguaje

simblico. Octubre 11, 2016, Recuperado de
https://www.youtube.com/watch?v=pl-lDGb_Dzo

Tareasplus,. (2013). Conectores lgicos y tablas de verdad. Octubre,

11, 2016. Recuperado de
https://www.youtube.com/watch?v=kANelfBRR9Y

Wagner, M. (2016). Octubre, 12, 2016. Lgica Conjuntos1,

Recuperado de https://www.youtube.com/watch?v=QL9T8MFWuBw