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 Ral Menjura Machado cc 79.804.502 tutor PATRICIA LEGUIZAMON Director de curso Georffrey Acevedo Gonzlez

Bogot, Octubre de 2012

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

1/11

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

Introduccin

Partiendo del uso de diagramas de Venn se plantean propuestas para poder representar desde situaciones sencillas hasta las ms complejas. Aplicamos adems principios de lgica referentes a expresiones de acuerdo a nuestro programa de estudio, identificando posteriormente los conectivos lgicos y proposiciones simples llevando a plasmarla en lenguaje simblico de manera prctica y sencilla. Con ayuda de las tablas de verdad conoceremos el valor de verdad de las preposiciones compuestas.

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

2/11

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

Fase 1. Saberes previos para la unidad: Teora de conjuntos 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 DIEGO Algebra

L JUAN ANA OSCAR

Estudiantes Estudiantes Que matriculan Lgica

CESAR PATRICIA I CAMILO Estudiantes Que matriculan Ingls

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

3/11

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 : (AL)-I

2. Estudiantes que slo matricularon lgebra: (A-(AL)- (AI)+ (ALI) 3. Estudiantes que matricularon los tres cursos: (ALI)

4. Estudiantes que no matricularon ni lgebra, ni lgica ni ingls: U-(AUIUL) 5. Estudiantes que matricularon ingls pero no lgebra ni Lgica: (I-(AL)- (AI)+ (ALI)) 6. Estudiantes que matricularon Lgica: (L) 7. Estudiantes que matricularon Lgica y lgebra: (AL)

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

Son proposiciones lgicas: Los diagramas de venn son necesarios Los algoritmos matemticos son necesarios para el desarrollo tecnolgico 8 es mltiplo de 2 15 + 38 = 53 Los paquetes estadsticos son muy tiles

No son proposiciones lgicas Hola como estas? Cuanto cuesta el curso de lgica Matemtica? Guarda el libro por favor Dnde queda el Acevedo y Gmez? No te vayas! CEAD Jos

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

4/11

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 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. Ana tiene amor por la tarea. premisas p = hay tolerancia q = hay paz p= ser ordenado q= ser constante r = aprender matematicas p = ensales a controlar sus impulsos q = ensearles a desarmar su corazn. r = tener buena vida humana p= ser Ana q= amar las tareas Lenguaje simblico pq

Ejemplo

(p ^ q ) r (p ^ q) r

pq

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

5/11

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:

p V V V V F F F F
-

q V V F F V V F F

r V F V F V F V F

p
F F F F V V V V

pVq
V V F F V V V V

pr
V F V F V V V V

(pVq)(pr)
V F F F V V V V

[(pVq)(pr)]
F V V V F F F F

De acuerdo a la tabla de verdad se puede concluir que es una Proposicin contingente ya que no es necesariamente verdadera ni necesariamente falsa.

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/

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

6/11

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

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

7/11

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

NP PA PM V, F x x X X X X X X X V V F F V F V

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

8/11

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

Fase 3. Reflexin grupal En un nivel elemental, la Lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en Matemticas para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida. Desde nuestros primeros aos de vida visualizamos y nos van dando muestras para implementar un desarrollo de las capacidades lgico matemtico relacionndola directamente, con nuestro desarrollo de conceptos como de procedimientos y actitudes. Y as en este proceso del pensamiento lgico, desarrollar la adquisicin de nuevos cdigos que abren las puertas del lenguaje y permite la comunicacin con el entorno, constituyendo las base indispensables para la adquisicin de los conocimientos de todas las reas acadmicas y es un instrumento a travs del cual se asegura la interaccin humana, para un buen desempeo en nuestra sociedad. Tratando como premisa de ensear al individuo como debe llevarse a cabo un pensamiento; con principios como el de ser coherente en los pensamientos, una condicin indispensable para que haya coherencia es que la consecuencia sea establecida por una conciencia inteligente y que esta consecuencia sea sistemtica entre las ideas y pensamientos; otro de los principios son los de axiomas lgicos y el principio de identidad, este ultimo se expresa con la formula A es A, significa que un concepto es igual a el mismo y no cambia cuando se piensa.

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

9/11

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

Conclusiones Podemos representar muchas situaciones con el uso de diagramas de Venn Aplicando principios de lgica referentes a expresiones, identificamos adecuadamente los conectivos lgicos y proposiciones simples, expresada en lenguaje simblico Las tablas de verdad nos ensean a conocer el valor de verdad de las preposiciones compuestas. Podemos distinguir entre proposiciones contraria, reciproca y contra reciproca.

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

10/11

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

Referencias

Acevedo Gonzlez G, 2011. Lgica Matemtica. Universidad Nacional Abierta y a Distancia, Escuela de ciencias Bsicas, Tecnologa e ingeniera Ciencias Bsicas. Colombia Truth Table Generator http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

________________________________________________________________________________________________________________________________ UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

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

11/11