Sunteți pe pagina 1din 15

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 1/15


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


LGICA MATEMTICA




Trabajo Grupal de Calificacin individual No.1



OSCAR ROBERTO MURCIA MARTNEZ - 1014193756


TUTOR

Amado de Jess Marn Barros

Director de curso
Georffrey Acevedo Gonzlez








03 DE OCTUBRE 2012
BOGOTA
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 2/15

INTRODUCCION

En este documento encontraran la solucin a la sexta actividad del curso con la
cual se busca interiorizar la unidad uno del modulo, sus contenidos prcticos
presentan un anlisis de la teora de conjuntos, su representacin grafica y
simblica, operaciones que se desarrollan entre ellos, al igual que el desarrollo de
las proposiciones lgicas y las no lgicas planteadas para cada uno de los
estudiantes en el desarrollo de su programa.
Para dar cierre a esta actividad se encuentra el desarrollo y anlisis de las tablas
de verdad, buscando con las mismas la representacin simblica de diferentes
expresiones en las cuales se emplean las preposiciones de acuerdo a lo
estudiado, durante el pleno desarrollo de la actividad se cuenta con el apoyo de
cada uno de los integrantes del curso y el modulo de trabajo, sin dejar atrs las
herramientas ofrecidas por la universidad, la bsqueda de informacin en
materiales de apoyo relacionados con la temtica, esto con el fin de afianzar
conocimientos y de manera segura manejar el tema, ya que el modulo, el tutor y
el curso son una base fundamental pero no esta de mas desarrollar con ayuda de
otras herramientas un avance significativo en el curso.











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 3/15
Los diseos curriculares por ncleos problmicos, en su inters por dar respuestas
y producir conocimiento pertinente, expresan un conjunto de valores sociales tal
corno la solidaridad, la responsabilidad, el compromiso ciudadano, la verdad y el
desarrollo sostenible.

Para cumplir con este cometido, los expertos disciplinares, en relacin permanente
con el sector productivo y conocedores de las demandas y oportunidades del
medio, son los llamados a formular los ncleos problmicos.






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 4/15

El ncleo problmico es un problema, una necesidad, una oportunidad o un vaco
en el conocimiento que aglutina diferentes disciplinas, que constituyen el ncleo
temtico que como unidad integradora de conocimientos posibilita la mirada
simultnea y sucesiva de distintos saberes sobre un mismo problema, los cuales
estn integrados en las diferentes reas temticas y stas en las diferentes reas
de formacin bsica.















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 5/15
Es decir, los ncleos temticos responden a los ncleos problmicos, en donde se
agrupan e integran elementos afines a situaciones comunes para explicar las
causas crticas de los problemas con el aporte conceptual, metodolgico y tcnico
de las diferentes disciplinas del saber.








As, el ncleo problmico como unidad integradora de conocimientos posibilita la
mirada simultnea y sucesiva de distintos saberes sobre un mismo problema.


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 6/15
Por su parte, el equipo de tutores que elaboran y desarrollan el currculo, los
aprendices e incluso los expertos prcticos en dilogo permanente y con el apoyo
de contenidos y guas didcticas, estructura la inteligibilidad del ncleo y formula
respuestas acordes con su naturaleza. PAPS (2012)

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.

I
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 7/15
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 :
A (I U L)
3. Estudiantes que matricularon los tres cursos:
A L I
4. Estudiantes que no matricularon ni lgebra, ni lgica ni ingls:
(A 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:
A L






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 8/15
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:


Son proposiciones lgicas: No son proposiciones lgicas
Todos los programas de la UNAD cuentan
con el curso Lgica Matemtica
Manuel es menor que Sandra
En el programa Administracin de Empresas
se ve el curso Macroeconoma
El rojo es mas oscuro que el verde
Se deben desarrollar 40 crditos de cursos
electivos durante el programa
Zona Franca es mas lejos que
Suba
Para el programa Administracin de
Empresas se debe ver el curso Mercadeo y
Servicios
El toro es mas grande que el buey
La Evaluacin de Proyectos hace parte
fundamental del desarrollo de un buen
Administrador
Sociales es ms difcil que Algebra


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/15
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 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 es
necesario
q = Ser ordenado
R= Ser 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 = Dos condiciones
son necesarias para
que tengan buena
vida humana

q = Dos condiciones
son suficientes para
que tengan buena
vida humana
r= ensales a
controlar sus
impulsos
s= desarmar su
corazn.

(p ^ q) (r ^s)
Ana tiene amor por la tarea. p = Ana tiene amor
por la tarea
p
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 10/15
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.


Es una proposicin contingente
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 11/15
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
Ejemplo Contraria x
Ejemplo 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 F
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


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 12/15

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.
La Lgica deriva su origen de la naturaleza misma racional del hombre; pues
el hombre est dotado de una facultad natural para alcanzar con sus actos la
verdad y para evitar el error; de donde puede tambin procurar la rectitud con
unas reglas determinadas. Y sta se llama Lgica Natural o Vulgar. Pero la
misma naturaleza humana, en cuanto esencialmente defectible, tambin es el
origen de la Lgica Artificial, o Cientfica, la cual se preocupa del modo de
pensar rectamente y de evitar los errores que, con mucha frecuencia se
evitaran con enorme dificultad por medio de nuestra lgica ordinaria.
Historicamente Antes de Aristteles solamente se encuentran ciertos
indiciosen los sofistas se proponen ciertas reglas, no con la intencin de que
puedan allegarse las verdades, sino ms bien para que puedan demostrarse
todas las cosas con el mismo fundamento.
Aristteles, que con toda razn, es llamado el fundador de la Lgica Formal, y
hasta hoy es tenido como tal. Trata de propsito, y formidablemente, la
cuestin del raciocinio y la del silogismo. Los discpulos inmediatos de
Aristteles, explican la doctrina de su maestro y la completan.
Luego En tiempos modernos, muchos autores, principalmente protestantes,
comenzaron a menospreciar la filosofa escolstica, y juntamente con ella la
lgica aristotlica. Intentando introducir una nueva lgica opuesta a la antigua
proponiendo principalmente la induccin
En el Perodo ms reciente se cultivan de modo especial casi todas las
cuestiones lgicas. Se hacen algunos progresos de la induccin y de su
mtodo, y la metodologa propia de cada ciencia Y por ltimo, hoy se da una
gran importancia, tal vez excesiva a la logstica o lgica matemtica, la cual
usa de signos simblicos, como las matemticas, para significar las
operaciones lgicas con simplicidad y de un modo abstracto.
En conclusin Luego de dcadas de progreso y desarrollo a partir de las
capacidades humanas, los avances en la lgica se han logrado gracias al
impulso y al deseo de satisfacer las necesidades tanto fsicas como mentales
de los seres humanos pensantes, como combinar la mente con la tecnologa,
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 13/15
las leyes con la fsica, el lenguaje hablado con el lenguaje escrito, para as
llegar a representar por medio de nmeros, smbolos que es lo verdadero y lo
falso de las frmulas del lenguaje

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 14/15

Conclusiones


En este trabajo conocimos las unidades 1 y 2 de nuestro modulo, en el cual
logramos aplicar y ampliar nuestros conocimientos con respecto a los ejercicios
propuestos en nuestro trabajo.

Adems que profundizando estas dos unidades nos hemos dado cuenta de la
importancia de la lgica ya que permite plantear soluciones prcticas a los
diferentes tipos de problemas. Permitindonos mejorar en la construccin de
argumentos ms fuertes, basados en los cimientos de la lgica

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

Referencias




Acevedo, Gonzlez, Georffrey (2011). Modulo Lgica Matemtica. Universidad
Nacional Abierta Y A Distancia. Colombia.


Salcedo, Leovigildo. Tratado De Lgica. Mercaba. Recuperado el 24 de octubre
de: http://mercaba.org/Filosofia/summa_02-1.htm


Agazzi, Evandro (1986). Lgica matemtica. Wikipedia. Recuperado el 27 de
octubre de : http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica

S-ar putea să vă placă și