UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA Trabajo grupal de calificacin individual No.1

Presenta Freddy Salazar Suarez 91508632 Jairo Mauricio Rueda William Ricardo Hernndez 91509080 Edgar David Rincn 91506011

Tutor Luis German Hurfano Ladino Director de curso Georffrey Acevedo Gonzlez

Bucaramanga, Octubre 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

1/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Introduccin Mediante este trabajo encontraremos los temas propuestos en la unidad 1 de lgica matemtica conjuntos, premociones, tablas de verdad y resolveremos algunos problemas para que lo puedan comprender mejor. Se har una breve historia de la lgica donde se darn a conocer los padres de esta y sus aplicaciones para la vida diaria.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

2/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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 Diego

L Juan Oscar

Estudiantes Estudiantes Que matriculan Lgica

Cesar Ana Patricia I Camilo Estudiantes Que matriculan Ingls

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

3/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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 : 2. Estudiantes que slo matricularon lgebra : 3. Estudiantes que matricularon los tres cursos: 4. Estudiantes que no matricularon ni lgebra, ni lgica ni ingls: 5. Estudiantes que matricularon ingls pero no lgebra ni Lgica: 6. Estudiantes que matricularon Lgica: 7. Estudiantes que matricularon Lgica y lgebra: Desarrollo conjuntos A= {Juan, Diego, Ana, cesar} L= {Juan, Ana, Oscar} I= {Ana, camilo, cesar} 1. Juan matricul tanto lgebra como Lgica pero no Ingls :
JUAN:

[ (A n L) I ]

2Estudiantes que slo matricularon lgebra : DIEGO:

[A(LUI)]

3 Estudiantes que matricularon los tres cursos:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

4/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

ANA: (

A n L n I ) = A interseccin L interseccin I

4Estudiantes que no matricularon ni lgebra, ni lgica ni ingls PATRICIA: (

A U L U I )* =

(*) signo de complemento

5Estudiantes que matricularon ingls pero no lgebra ni Lgica: CAMILO: [

I(AUL)]

6Estudiantes que matricularon Lgica: OSCAR, JUAN, ANA: E L = pertenecientes a L 7Estudiantes que matricularon Lgica y lgebra: JUAN Y ANA:

(LnA)

L interseccin 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 Jairo Mauricio rueda Almeida Jairo Mauricio rueda Almeida Jairo Mauricio rueda Almeida

Son proposiciones lgicas: 3+8 es menor que 10 El petrleo es un recurso renovable 5 es menor que 8

No son proposiciones lgicas Es mas interesante Oceana que amrica Es mas fcil el estudio de la msica que de matemticas La cosecha del ao entrante se helara

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

5/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Jairo Mauricio rueda Almeida Jairo Mauricio rueda Almeida Freddy Orlando Salazar Suarez Freddy Orlando Salazar Suarez Freddy Orlando Salazar Suarez Freddy Orlando Salazar Suarez Freddy Orlando Salazar Suarez Edgar David Rincn Milln Edgar David Rincn Milln Edgar David Rincn Milln Edgar David Rincn Milln

Edgar David Rincn Milln William r Hernndez William r Hernndez William r Hernndez William r Hernndez William r Hernndez

La luna es mas pequea que la tierra Bucaramanga es la capital de Santander Freddy estudia ingeniera industrial Luis German es el tutor de lgica matemtica 5 son los alumnos pertenecientes al grupo de 90004_589 de lgica matemtica Lgica matemtica es una materia del programa de ing. industrial Las premociones lgicas es un tema de lgica matemtica Lgica matemtica es un curso de primer semestre. El aprendizaje autnomo es fundamental en la educacin a distancia. Los cursos de la Unad son virtuales. Los conectivos lgicos sirven para enlazar dos o ms proposiciones simples. Las matemticas son fundamentales para las ingenieras. William estudia ing industria pamplona es la ciudad estudiantil el televisor esta encendido el sol gira alrededor de la tierra llover maana

Que horas son Que carreras hay en la UNAD Todos los alumnos de la unad estudian ing. industrial Ing. Industrial es mas fcil que psicologa Todos los profesores son ingenieros Matricule ing. industrial Maana estudio lgica matemtica Entregaremos el trabajo. Los estudiantes de lgica. Vamos a estudiar. Estamos en clase.

Gracias compaeros. adios que calor hola estudiare en la unad el otro semestre
en el 2012 se acabara el mundo

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

6/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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 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 Lenguaje simblico p=aprender p (q r) matemtica q=ordenado r=constante P= dos condiciones (p ^ q) (r ^ s) son necesarias q= suficientes para que tus hijos tengan buena vida r= ensales a controlar sus impulsos s= desarmar su corazn P= Ana tiene amor por P la tarea

Ana tiene amor por la tarea.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

7/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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:

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/ Visita el material de apoyo para la primera unidad, en l encontrars un video para aprender a usarlo.
p V V V F V F F F q V V F F F F V V r ~P V F F F F F F V V F V V V V F V ~p v q V V F V F V V V pr V F F V V V V V (~pvq) (pr)= x V F F V F V V V ~x F V V F V F F F

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

8/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

9/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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 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

NP

PA x x

PM V, F F x x x x F F F

Fase 3. Reflexin grupal Finalmente, en esta fase, el equipo propondr una reflexin en una pgina sobre la evolucin histrica de la lgica, el equipo no debe hacer un recuento histrico con fechas, el propsito es plantear una reflexionar sobre la evolucin del pensamiento, descubriendo qu necesidades humanas han conducido al desarrollo de la lgica.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

10/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Re: A travs de los aos el hombre ha evolucionado y con l la lgica, desde la edad antigua grandes filsofos han estudiado los comportamientos del hombre y la necesidad de encontrar respuestas a cientos de preguntas que los invadan, como de dnde venamos, que rol asumamos en la tierra, el porqu de las cosas etc. Hoy en da son muchas las clases de lgica las cuales son aplicadas a todas las reas del conocimiento y gracias a ellas hemos podido mejorar el lenguaje y agilizar procesos en los cuales nos vemos relacionados en nuestra vida diaria. La expresin misma del ser humano valida en su ser la forma de manifestarse ante los dems lo cual es simplemente la evolucin de la lgica a travs del pensamiento radicada en cada ser humano a travs de su personalidad y de las bases educativas y experimentales a la que ha sido expuesto en su existencia, pero adems se puede reconocer en la lgica una respuesta a la necesidad de construir argumentos que permitan desarrollarse en un mbito social tanto para defenderse como para argumentar con base en mtodos y procedimientos que determinen la veracidad de sus proposiciones.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

11/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Conclusiones Se realiza realimentacin de la unidad 1 Se despejaron algunas dudas que se tenan en la unidad 1 Se realiz realimentacin sobre conjuntos y proposiciones Se conoci la historia de lgica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

12/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Referencias

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ rubrica de la act 6 modulo de lgica matemtica 2012 http://www.youtube.com/watch?v=R6vQok3c75Y http://es.wikipedia.org/wiki/Diagrama_de_Venn

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

13/13