TRABAJO COLABORATIVO 1.

TEORA DE CONJUNTOS Y PRINCIPIOS DE LGICA

90004 - Lgica Matemtica

Grupo: MIGMONTES 2

Medelln-Antioquia UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Cead Medelln, Abril 06 de 2008

INTRODUCCION
El propsito de este trabajo tiene como objetivos demostrar los conocimientos aprendidos en la unidad 1 como son la teora de conjuntos, su relacin entre ellos, diferentes clases de conjuntos y su representacin grafica y la solucin de problemas con los mismos. Se plantearan y formularan expresiones del lenguaje simblico y el lenguaje natural, haciendo un anlisis en la aplicacin de conectores lgicos que se dan para determinadas situaciones que se plantean en el trabajo a presentar. Argumentar y formular tablas de verdad por medio del anlisis de premisas y todos los conocimientos adquiridos en los captulos de deduccin e Induccin.

Fase 1. Teora de conjuntos. 1. Expresar cinco operaciones entro dos conjuntos (como mnimo), con notacin por comprensin y utilizando una o varias de las siguientes operaciones: Unin Interseccin Complemento Diferencia Diferencia Simtrica
Expresin de operaciones entre conjuntos, con notacin por comprensin.

1.1 Unin.
Los das de la seman a

A=

B=

Los B= meses del ao

U= A= B=

{Calendario}

{Los das de la semana}

{Los meses del ao}

AUB= {Los das de la semana, los meses del ao}

1.2 Interseccin.
U

Lo d as s d la e s mn e aa
B

A U=

Jugadores Jugadores de futbol {Deportistas de lade Unad} basquetbol

A= B=

{Futbolistas} {Beisbolistas} { }

A B=

1.3 Complemento.
U

Nmeros del 1 hasta el 10

Nmeros pares del 1 hasta el 10

U= A= B= BI
=

{Nmeros naturales} {Nmeros del 1 hasta el 10} {Nmeros pares hasta el 10} {Nmeros impares hasta el 10}

1.4 Diferencia.
U A Das de la semana B Meses del ao

U= A= B= A-B= A-B =

{Calendario} {Das de la semana} {Meses del ao} { }

1.5 Diferencia simtrica.

U A= Meses de 30 das B= Meses de 31 das

U= A= B= A B=

{ Meses del ao} { Meses de 30 das} { Meses de 31 das} {Meses diferentes a 31dias y diferentes a 30 das}

2. Expresar cinco operaciones entro dos conjuntos (como mnimo), con notacin por extensin y utilizando una o varias de las siguientes operaciones: Unin Interseccin Complemento Diferencia Diferencia Simtrica
Operaciones con conjuntos por extensin.

2.1 Unin
U= A= B= AUB= { 1,2,4,5,6,7,8,10,11,12,13 } {1, 2, 4, 5, 6, 7,8} {10, 11,12, 13} {1,2,4,5,6,7,8,10,11,12,13 }

2.2 Interseccin
U= A= B= A B= {a, b, c, d, e, f, g, h, i, j, k, l, m, n, , o, q} {a, b, c, d, e, f} {e, f, g, h, i, j, k, l, m. n. , o, q} {e, f}

2.3 Diferencia.

U= A= B= A-B=

{a, b, c, d, e, f, g, h, i, j, k, l, m. n. , o, q} {a, b, c, d, e, f} {g, h, i, j, k, l, m, n, , o, q} { }

2.4 Diferencia simtrica.

U= A= B= A B= B A= {a, b, c, d, e, f, g, h, i, j, k, l, m, n, , o, q} {a, b, c, d, e, f} {g, h, i, j, k, l, m, n, } {a, b, c, d, g, h, i, j, k, l, m, n, } {a, b, c, d, g, h, i, j, k, l, m, n, }

2.5 Complemento.
U= A= B= AI = {a, b, c, d, e, f, g h, i, j, k, l, m, n, , o, q} {a, b, c, d, e, f, g, h, i, j, k} {i, j, k, l, m, n, } {l, m, n, }

3. En una agencia de automviles usados hay 22 automviles, de los cuales 11

tienen aire acondicionado, 9 tienen direccin hidrulica y 8 tienen frenos de potencia. 7 tienen aire acondicionado y direccin hidrulica; 4 tienen aire acondicionado y frenos de potencia; 5 tienen direccin hidrulica y frenos de potencia; y 3 tiene aire acondicionado, direccin hidrulica y frenos de potencia. Elabore un diagrama de Venn que represente la situacin anterior. Usando las letras A, D y F, identifique la regin que corresponde a cada Combinacin de caractersticas.

A
11

7 3

F
8

U = {22 automviles} A = {automviles con aire acondicionado} D= F=

{automviles con direccin hidrulica} {automviles con frenos de potencia}

A D = {7 automviles con aire acondicionado y direccin hidrulica} A F = {4 automviles con aire acondicionado y frenos de potencia} D F = {5 automviles con direccin hidrulica y frenos de potencia} A D F = {3 automviles con aire acondicionado, direccin hidrulica y frenos de potencia}

Cuntos automviles no tienen ninguna de las caractersticas mencionada? Respuesta: 3 Cuntos automviles tienen nicamente aire acondicionado? Respuesta: 3 Cuntos automviles tienen nicamente direccin hidrulica? Respuesta: 2 Cuntos automviles tienen nicamente Frenos de potencia? Respuesta: 2 Cuntos automviles no tienen aire acondicionado? Respuesta: 4 Cuntos automviles no tienen frenos de potencia? Respuesta: 5

Fase 2. Conectivos Lgicos: 1. Para cada una de las siguientes expresiones, el estudiante debe transformar la proposicin compuesta de manera que se puedan identificar las proposiciones simples y los conectivos lgicos presentes en stas, posteriormente declarar las proposiciones simples y el correspondiente lenguaje simblico.
a) Siempre y cuando Juan estudia aprende Respuesta: p = Juan estudia q = Juan aprende

pq
b) Si Juan estudia y practica, aprende Respuesta: p = Juan estudia q = Juan aprende r = Juan practica

rq

c) Si Carlos Madruga, estudia o Si Carlos descansa, duerme Respuesta: p = Carlos madruga r = Carlos estudia q = Carlos descansa s = Carlos duerme

prvqs

d) Servir a los dems es el camino que permite crear el sentido de comunidad y pertenencia, si hay sentido de comunidad y pertenencia, entonces, se destruye la soledad, la alienacin, la competitividad y el deseo de seguir con las apariencias, si esto se logra, es posible ser feliz, luego, para ser feliz hay que servir a los dems (Dalai Lama.) Respuesta: p = servir a los dems es el camino r = permite crear el sentido de comunidad y pertenencia q = se destruye la soledad, la alienacin, la competitividad s = el deseo de seguir con las apariencias f = es posible ser feliz

p r q s f f p

e) "Aparentemente, el eslabn entre la fe y el bienestar no es porque la felicidad conduce a la participacin religiosa tanto como la participacin religiosa conduce a la felicidad," (David Larson) Respuesta: p = el eslabn entre la fe y el bienestar q = la felicidad no conduce a la participacin religiosa

pq~q

f) son felices Quienes escuchan la palabra de Dios o Quienes creen sin haber visto o Quienes practican la caridad con los necesitados o Los

humildes y serviciales con sus hermanos (Jess. (Lc 11, 28), (Jn 13, 17) (Lc 14, 14) (Jn 20, 29))

Respuesta: p = son felices q = quienes escuchan la palabra de Dios r = quienes crean sin haber visto s = quienes practican la caridad con los necesitados f = los humildes h = los serviciales con los hermanos

pq

g) Existen dos maneras de ser feliz en esta vida, una es hacerse el idiota y la otra serlo. (Sigmund Freud)

Respuesta: p = Existen dos maneras de ser feliz en esta vida q = Una es hacerse el idiota r = la otra serlo

p q

v p r

h) Si dos individuos estn siempre de acuerdo en todo, puedo asegurar que uno de los dos piensa por ambos. (Sigmund Freud) Respuesta: p = si dos individuos estn siempre de acuerdo en todo q = puedo asegurar que uno de los dos piensa por ambos pq 2. Elabora una expresin en lenguaje natural para la siguiente representacin dada en lenguaje simblico: (p q) (q r) (p r)

Si presentamos el trabajo de lgica a tiempo entonces obtendremos buena calificacin y si obtenemos buena calificacin entonces tendremos altas notas finales, entonces presentando el trabajo de lgica a tiempo aportaremos a tener altas notas finales.

Fase 3. Deduccin e Induccin

1. En el siguiente dilogo, identifica, las leyes de inferencia aplicadas

en cada razonamiento, si las hubiere. Posteriormente, obtn de stas las premisas y realiza la representacin simblica que te permita construir tablas de verdad para demostrar la validez de los argumentos en por lo menos 2 razonamientos:
Juan: Hola Diego, Cmo has estado? Diego: Muy bien compaero, me encontr con Ana y me cont que est en un curso de Canto y en otro de pintura. Juan: Entonces, con que Ana estudia Canto, eso explica sus habilidades Diego: Si, lo que no comprendo es que Ana haba dicho en clase que ella no trabajaba y Pintaba. Es por eso que vena pensando que Ana me minti. Juan: Estas equivocado Diego, lo que quiso decir Ana es que ella no haca las dos cosas al mismo tiempo, ten en cuenta que us una conjuncin precedida de una negacin, luego, si aplicamos el teorema de D'Morgan encontrars que lo que quiso decir Ana es que ella o no Trabaja o no canta. Diego: Entonces, si Ana me ha contado que Canta, podemos concluir que Ana no trabaja? Juan: Claro, porque si no Canta es falso, entonces no Trabaja es verdadero. Diego: y si no trabaja es verdadero, entonces Trabaja, luego Ana hace las dos cosas. Juan: Quedamos peor compaero. Donde nos habremos equivocado?

Respuesta Ana no trabajaba y pintaba Ana no trabaja o no canta Ana canta p : Ana no trabaja

q : Ana no canta r : Ana canta s : Ana trabaja

p v

q f

pvq v

No trabaja

r v

p v

rvp f

No trabaja Canta

q f

p v

qvp v

No trabaja Canta

p v

s f

pvs v

Canta

Conclusin: Ana canta

-Las dos premisas no pueden ser verdaderas al mismo tiempo. -Principio de identidad: una cosa no puede ser y no ser al mismo tiempo y bajo las mismas circunstancias.

REPRESENTACION SIMBOLICA Juicios Contrarios y Categricos p: Ana no trabaja r : Ana canta q : Ana no canta s : Ana trabaja

Ana

Trabaja

P=

Ana no trabaja

S=

Ana trabaja

CONCLUSIONES

Con este trabajo se logra un conocimiento mas a fondo sobre la primera unidad la cual nos ensea sobre lo importante que son las teoras de conjuntos, conectivos lgicos, la deduccin y la induccin, y que son la forma de iniciar la lgica matemtica la cual nos da grandes bases para nuestro diario vivir. Se realiza la entrega del trabajo colaborativo #1, logrando el objetivo de introducirnos en los conocimientos de la unidad 1, participando activamente buscando el objetivo comn: aprender a aprender con estrategias desconocidas por todos, soportados con el deseo de superacin de los integrantes del grupo. Respecto a lo acadmico el grupo est adquiriendo la madurez requerida para soportar los cambios en las rutinas del da a da y la forma de adquirir nuevos conceptos a distancia.

REFERENCIAS USADAS

Modulo de lgica matemtica Unad Normas APA sobre material numrico, estadstico y matemtico