UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA Trabajo grupal de calificacin individual No.1

Presenta Pedro Padilla Rabace 72.313.134

Tutor Patricia Leguizamn P.

Director de curso Georffrey Acevedo Gonzlez

Barranquilla 07de octubre de 2012

Introduccin En el siguiente trabajo se recopila lo desarrollado durante la primera unidad temtica donde se evalan temas como teora de conjuntos, diagramas de ven , tablas de verdad, tipos de proposiciones y conectores lgicos entre otros , los cuales a travs de ejercicios se logran comprender de la mejor manera, para ser desarrollado fueron utilizados diversos recursos como artculos y pginas web, al igual que el material presentado en la pgina de la universidad, de igual forma se hizo uso de la biblioteca virtual que fue de gran ayuda. De igual forma y dentro del proceso de aprendizaje fue lento el proceso de construccin del trabajo ya que no cont con la participacin de mis compaeros de grupo y por tal motivo, el trabajo se fue dando poco a poco, hasta lograr el producto final.

1.1 A continuacin se plantean varias expresiones en lenguaje natural, de acuerdo con las cuales debes ubicar en el diagrama de Venn los nombres de los estudiantes involucrados en stas: Juan matricul tanto lgebra como Lgica pero no Ingls, Diego slo matricul lgebra, Ana matricul los tres cursos, Patricia no matricul ni lgebra, ni lgica ni ingls. Camilo matricul ingls pero no Algebra ni Lgica, Oscar slo matricul Lgica, Cesar matricul lgebra e Ingls pero no Lgica.

Estudiantes A Que matriculan Algebra

L Diego Juan Ana Cesar Oscar

Estudiantes Estudiantes Que matriculan Lgica

Patricia I

Camilo

Estudiantes Que matriculan Ingls

1.2. A partir del diagrama anterior, y usando las letras A, L e I para denotar los conjuntos, haga uso de la representacin simblica de las operaciones entre conjuntos, para representar cada una de las siguientes expresiones:

1. Juan matricul tanto lgebra como Lgica pero no Ingls : (A L) I 2. Estudiantes que slo matricularon lgebra : (I U L) 3. Estudiantes que matricularon los tres cursos: A L I 4. Estudiantes que no matricularon ni lgebra, ni lgica ni ingls: U L U I 5. Estudiantes que matricularon ingls pero no lgebra ni Lgica: I - (A U L) 6. Estudiantes que matricularon Lgica: L 7. Estudiantes que matricularon Lgica y lgebra: L U A

Fase 2. Principios de lgica 2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones correspondan a proposiciones lgicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De stas expresiones, el equipo debe elegir una de las propuestas por cada participante:

Nombre del estudiante

Pedro Padilla Rabace

Son proposiciones lgicas:

Si participamos en el foro a tiempo nos califican Soy estudiante de la unad El viernes gano la seleccin colombia Estoy cursando el curso de lgica matematica

No son proposiciones lgicas

no tengo acceso a internet? Cmo salir adelante en este curso? Por qu participar en los foros? por qu escog la unad?

2.2. A continuacin se propone identificar los conectivos lgicos y proposiciones simples presentes en cada expresin, posteriormente plantearn una expresin equivalente en lenguaje simblico: Expresin Si hay tolerancia, entonces hay paz Para aprender matemticas es necesario ser ordenado y constante. Dos condiciones son necesarias y suficientes para que tus hijos tengan una buena vida humana: ensales a controlar sus impulsos y a desarmar su corazn. premisas p = hay tolerancia q = hay paz P = aprender matemticas Q = ser ordenado R = ser constante P =ensea a tus hijos a controlar sus impulsos Q =Ensea a tus hijos a desarmar su corazn R =tus hijos tendrn buena vida en la tierra P Lenguaje simblico pq (Q^R)P

Ejemplo

(P^Q)R

Ana tiene amor por la tarea.

2.3. Las tablas de verdad nos permiten conocer el valor de verdad de una proposicin compuesta para cada valor posible de las proposiciones simples que la conforman. A continuacin, el equipo debe elaborar la tabla de verdad de la siguiente proposicin lgica, finalmente, deben clasificar la proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:

p V V V V F F F F

q V V F F V V F F

r p V F F F V F F F V V F V V V F V

pvq

pq

V V F F V V V V

v F V F V V V V

( p v q) ^ (p r) [( p v q) ^ (p r)] V F F V F V F V V F V F V F V F

A continuacin debes verificar el resultado obtenido, para hacerlo debes pegar en este espacio el pantallazo obtenido al usar el siguiente simulador: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

2.4.

A continuacin clasifica los siguientes enunciados como verdaderos, falso, proposicin atmica, proposicin molecular, no es proposicin (como V,F, PA,PM, NP,): ENUNCIADOS NP PA PM V, F x x x V V V F F V V V

Ejemplo Ejemplo

Contraria Juan Manuel Santos es el presidente de Colombia Aristteles es el padre de la lgica Una proposicin puede ser simple o atmica Botero es pintor y Gabriel Garca Mrquez es escultor Tales de Mileto es presocrtico o Scrates es agricultor Si los humanos son seres racionales, entonces no es cierto que los humanos podamos construir una tica para vivir bien Hay paz en Colombia si y slo si los Colombianos nos escuchamos mutuamente Lo que ms debe desear un ser humano en su vida es el afecto y el cario sinceros que slo pueden brindar seres humanos libres