UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo grupal de calificacin individual No.1


presenta


PEDRO CEPEDA- 1055332381




tutor


PEDRO GABRIEL SAAVEDRA







Director de curso
Georffrey Acevedo Gonzlez


Tunja, Boyac 15/10/2012
INTRODUCCION

El presente trabajo Colaborativo Nmero 2 sobre Lgica Matemtica inicia con la
fundamentacin terica de tres temas principales en la Lgica Matemtica los
cuales estn relacionados entre si siendo el uno complemento del otro, iniciando
con el tema reglas de inferencia el cual es la base fundamental tambin
encontramos los procesos y razonamientos que nos ayudan a comprenderla de
igual forma como esta cuenta con smbolos diferentes para distinguir las clases o
categoras, los miembros de las clases y para las relaciones de la pertenencia a
una clase y su inclusin en esta .

Adems encontramos ejercicios que refuerzan el tema propuesto los cuales
nos ponen en evidencia que la Lgica Matemtica no esta para nada de nuestra
cotidianidad que en las relaciones de todos los grupos humanos y en su quehacer
diario la esta poniendo en prctica y como esta se esta relacionando con otras
disciplinas del conocimiento.
Por todo lo anterior se hace necesario primero que todo hacer consulta de los
diferentes temas afines a travs de la red y enseguida realizar una lectura
concienzuda y analtica que de claridad sobre el tema para as proceder a
desarrollar el trabajo y concluirlo.
La dificultad encontrada es que a pesar de ser un que tema que se esboz en la
matemtica vista en el bachillerato faltan bases y toca volver a recordar y reforzar
conocimientos.









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.

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 :
Juan:{x E A^L I }
2. Estudiantes que slo matricularon lgebra :
Juan, Ana, Cesar, Diego: {x E A}
3. Estudiantes que matricularon los tres cursos:
Ana:{x E A^ L^I}
4. Estudiantes que no matricularon ni lgebra, ni lgica ni ingls:
Patricia: {x A/x L/x I }
5. Estudiantes que matricularon ingls pero no lgebra ni Lgica:
Camilo:{x E I/ x A/ x L}
6. Estudiantes que matricularon Lgica:
Oscar, Juan, Ana:{x E L}
7. Estudiantes que matricularon Lgica y lgebra:
Juan , Ana:{ x E L ^A}
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 Son proposiciones
lgicas:
No son proposiciones
lgicas
Pedro Cepeda Herrera La Ingeniera Industrial
consta de diez semestres
No se sabe de cuantos
semestres consta la
Ingeniera Industrial
La carrera de Ingeniera
Industrial es
semipresencial
Es presencial esta
carrera?
Por su modalidad en la
UNAD el estudiante es
autnomo
El estuante estudia solo
cuando canta el gallo
Si estudio juicioso puedo
llegar a ser un buen
profesional
Si no estudio llegare lejos
Si estudio para el examen
final de lgica matemtica
seguro pasare
Si no estudio paso la
materia

2.1. A continuacin se propone identificar los conectivos lgicos y
proposiciones simples presentes en cada expresin, posteriormente
plantearn una expresin equivalente en lenguaje simblico:

Expresin premisas Lenguaje simblico
Ejempl
o
Si hay tolerancia, entonces
hay paz
p = hay tolerancia
q = hay paz
p q

Para aprender matemticas
es necesario ser ordenado
y constante.
P= Para aprender
matemticas
q=ordenado
r=constante
p (q^r)
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.
P=buena vida
humana
q=controlar sus
impulsos
r=desarmar su
corazon
P<-->(q^r)
Ana tiene amor por la tarea. P=Ana
q= amor por la tarea
p q




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/


El resultado segn la grafica es una contingencia


2.2. A continuacin clasifica los siguientes enunciados como verdaderos, falso,
proposicin atmica, proposicin molecular, no es proposicin (como V,F,
PA,PM, NP,):
ENUNCIADOS N
P
P
A
P
M
V,
F
Contraria x
Juan Manuel Santos es el presidente de Colombia x V
Aristteles es el padre de la lgica x V
Una proposicin puede ser simple o atmica x V
Botero es pintor y Gabriel Garca Mrquez es escultor x F
Tales de Mileto es presocrtico o Scrates es agricultor x F
Si los humanos son seres racionales, entonces no es
cierto que los humanos podamos construir una tica para
vivir bien
x F
Hay paz en Colombia si y slo si los Colombianos nos
escuchamos mutuamente
x V
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
x V

REFLEXION
La lgica aristotlica fue silogstica que constaba de cuatro premisas y una
conclusin donde letras sustituyen a las palabras y estn eran validas o no, era
un pensamiento mas homogneo donde solo existan dos puntos de vista y ya.



CONCLUSIONES

La lgica matemtica usa smbolos para establecer relaciones y funciones
ms claras y precisas lo cual sera ms difcil al tratar de explicarlo solo con
palabras.

El razonamiento que aporta la Lgica Matemtica al proceso de adquirir
conocimientos facilita ms la comprensin de estos en todos los campos
de este.

La lgica matemtica est presente en todos los actos cotidianos del ser
humano.



















BIBLIOGRAFIA

http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-
matematica.pdf
Modulo de lgica matemtica:
http://66.165.175.209/inter/mod/resource/view.php?inpopup=true&id=1091:
http://www.isftic.mepsyd.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/
http://www.korion.com.ar/archivos/logica_induccion.pdf
http://es.wikipedia.org/wiki/Diagrama_de_Venn
https://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r4482