UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGAS E INGENIERA

Trabajo grupo de calificacin individual





INTRODUCCIN

Durante todo el transcurso de la vida nos vemos enfrentados a diferentes situaciones
que hacen que nuestra mente razone y desarrolle ideas ms rpidamente y
busquemos la solucin ms favorable y acertada, a esto le llamamos lgica. La lgica
est ntimamente relacionada con las ciencias exactas tales como la qumica, la fsica,
la biologa y la matemtica y otras como la filosofa. El propsito ms importante de la
lgica es conseguir relacionar todo el conocimiento terico que se aprende en estas
ciencias exactas con las situaciones que a diario presenta la vida. El buen manejo de
la lgica conseguira un mejor y ms fcil aprendizaje de estas ciencias que para
tantos se hacen tan difciles.
Ahora la lgica matemtica es una disciplina que trata de mtodos de razonamiento
pero algo que hay que tener claro es que la Lgica Matemtica no es lgica de las
matemticas sino la matemtica de la lgica.
La lgica es pues muy importante; ya que permite resolver incluso problemas a los
que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos
inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos.





Fase 1. Saberes previos para la unidad: Teora de conjuntos
1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para
representar el rea sombreada para la expresin: Juan matricul
lgebra o Lgica pero no Competencias Comunicativas.









1.2. Haga uso de la representacin simblica de las operaciones entre
conjuntos, para representar el rea sombreada en el diagrama del
numeral anterior

A U B = {x / x A, v, x B, ^, x C}
Eso quiere decir que en a y b hay una unin
x = Juan
x A: que Juan pertenece a algebra
v = esto en conjuntos es "o"
x B : que Juan pertenece a lgica
^ = esto en conjuntos es "y"
x C : no pertenece a competencias

COMPETENCI
AS
ALGEBRA LOGICA
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 Son proposiciones
lgicas:
No son proposiciones
lgicas


Bibiana Clavijo La epistemologa estudia
el conocimiento
Hay que hacer aseo
Gloria Nohem Zapata La regencia se encarga de
los medicamentos
Estoy bien
Maria Alejandra Ospina La ingeniera agroforestal
consta de 170 crditos
acadmicos
La ingeniera agroforestal
es la mejor.
Bibiana Clavijo La biologa estudia los
seres vivos
Vamos a comer
Mnica Parra Estoy matriculada en el
programa de psicologa.
Porque un psiclogo
estudia lgica matemtica.

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
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: ser ordenada.
R: ser constante.
P(q^r)
Dos condiciones son
necesarias y suficientes
para que tus hijos tengan
buena vida sobre la tierra:
ensales a controlar sus
impulsos y a desarmar su
corazn.
P: ensea a tus hijos a
controlar sus impulsos.
q: ensea a tus hijos a
desarmar su corazn.
R: tus hijos tendrn buena
vida.
(p^q)r.
Ana tiene perseverancia,
orden y amor por la tarea.
P: ana es perseverante.
q: es ordenada.
r:es amorosa.
P^q^r

2.1. 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 las siguientes proposiciones lgicas, finalmente,
deben clasificar la proposicin como tautologa, contradiccin o
contingente de acuerdo al resultado:
( ) | | ( ) ( ) s q r p q q p v . . . v

p q r s [(pVq) q](pr)(qVs)
T T T T
T T T F
T T F T
T T F F
T F T T
T F T F
T F F T
T F F F
F T T T
F T T F
F T F T
F T F F
F F T T
F F T F
F F F T
F F F F
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T

ES CONTINGENTE




( )
p q p q v . (


Truth Table
p q [(pV q) p] q
T T
T F
F T
F F
T
T
T
T
expression is a tautology

2.2. Mediante una tabla de verdad, evala la equivalencia entre las
siguientes dos proposiciones: Son equivalentes?
Primera proposicin:
( )
p q .
segunda proposicin:
q p .


( )
p q .

Truth Table
p q (p q)
T T
T F
F T
F F
T
F
T
T

q p .

Truth Table
p q p q
T T
T F
F T
F F
F
F
T
F
NO SON EQUIVALENTES

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 materialde
apoyo para la primera unidad, en l encontrars un video para aprender a usarlo.
Proposiciones contraria, recproca y contrarrecproca. A continuacin el equipo
debe plantear las proposiciones contraria, recproca y contrarrecproca de la
expresin: Si el ganado es Jersey no tendr buena carne:


Directa Si el ganado es Jersey tendr buena carne
Contraria Si no es ganado jersey tendr buena carne
Recproca Si tengo buena carne el ganado es Jersey
Contrarrecpro
ca
Si no tengo buena carne el ganado es Jersey




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.
Breve exposicin histrica de la Lgica:
Se puede considerar distintos perodos en la evolucin histrica de la Lgica: 1) el
pre-aristotlico, 2) el aristotlico, 3) el pos-taristotlico, 4) el medieval y escolstico, 5)
el moderno de la Reforma y el racionalista, y 6) el ms reciente, junto con el perodo
logstico.
El prearistotlico. Antes de Aristteles solamente se encuentran ciertos indicios y
como grmenes; en 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. Por tanto, son tratados acerca de las
falacias o engaos para los falsos oradores, como se puede ver en el libro de
Aristteles titulado "Acerca de la, falacia de los sofista?; de donde viene el vocablo
"sofisma".
Contra stos tratan Scrates y Platn, los cuales presentan, un mtodo para hallar
los conceptos y las definiciones rectas. El mtodo mayetico es cultivado por
Scrates, el cual influye en la doctrina de Platn.La Mayutica procede de] verbo
griego "mayeuo", que viene a significar "provocar un parto", pues Scrates, con
oportunas preguntas procuraba que los discpulos manifestaran sus pensamientos
internos; de ah que este mtodo se llame con motivo "mayutico".
El perodo postaristotlico o de los comentaristas: Los discpulos inmediatos de
Aristteles, Teofrasto (+ 285 a.C.) y Eudemo, explican la doctrina de su maestro y la
completan, segn parece con una discusin acerca de la proposicin hipottica y
disyuntiva. Los posteriores peripatticos defienden la doctrina misma contra las ftiles
objeciones de los esticos y la completan con comentarios:
Perodo medieval y escolstico: En el Siglo XII la lgica aristotlica es conocida en
primer lugar por los comentaristas rabes Avicona (980-1037) y Averroes (1126-
1198), y despus directamente en las versiones latinas. Surge la cuestin muy
controvertida acerca de los universales, dando ocasin a la cual algunas palabras de
Porfirio comentadas por Boecio en la Isagog. San Alberto Magno (1200-1280) y
Santo Toms (1225-1274) enriquecieron casi toda la lgica de Aristteles con
comentarios
Los escolsticos posteriores, expusieron esta misma lgica con comentarios,
explicaciones, etc. con demasiadas reglas y muchas veces con nimiedades intiles
que aadieron.
Perodo de la Reforma y racionalstica: En tiempos modernos, muchos autores,
principalmente protestantes, comenzaron a menospreciar la filosofa escolstica, y
juntamente con ella la lgica aristotlica. Beicon de Verulamio (1561-1626) intenta
introducir una nueva lgica opuesta a la antigua; de este modo, llama a su obra
"Nuevo Organo" como contrario al aristotlico. Pues l mismo descuida el mtodo
deductivo y alaba y propone principalmente la induccin. "Pues la lgica -dice- que
ahora se usa es intil para el descubrimiento de las ciencias". Debe encomiarse en
cuanto que propone de modo ordenado el mtodo de la induccin (las tablas),
aunque no fue l el que lo descubri el primero.
Perodo ms reciente: Se cultivan de modo especial casi todas las cuestiones
lgicas. Se hacen algunos progresos, en la cuestin de la induccin y de su mtodo,
y la metodologa propia de cada ciencia; los modernos dan mucha importancia a las
clasificaciones de las ciencias, a la relacin mutua de la dependencia,
Expresin de lgica: Como la palabra es la expresin, o manifestacin del
pensamiento y el pensamiento racional es la base de la filosofa, puede decirse en
general, que la lgica es la ciencia del pensamiento racional; es de aclarar que la
lgica no se ocupa del contenido de los pensamientos sino de la manera o forma de
los pensamientos.
Fue George Boole, quien retomo lo propuesto por Aristteles para darle una forma
simblica, y un tratamiento matemtico a lo que se conoca de la lgica. Por ello el
tratamiento matemtico de la lgica tiene como nombre algebra booleana, en honor a
George Boole que estableci las reglas y smbolos a partir de los cuales se debera
trabajar la lgica
Hoy en da usamos el algebra de Boole para resolver tratamientos lgicos complejos en
todas las reas de conocimiento, pero es de especial importancia en el rea
computacional, pues la lgica matemtica es la base de la programacin y de toda la
instruccin que se le brinda a nuestros aparatos tecnolgicos actuales.


CONCLUSIONES



-La lgica es una ciencia que se puede aplicar en cualquier mbito de la vida ya que
el mero lenguaje necesita tener un orden lgico para ser comprendido.
-Los razonamientos lgicos nos llevan a verificar el carcter de verdad de una
proposicin.
-El tema de lgica matemtica, se presta para que el alumno pueda realizar los
relacionamientos entre las distintas proposiciones, esto permite crear nuevas formas
de resolver problemas en distintas ramas: matemticas, fsica, qumica pero tambin
en las ciencias sociales y por su puesto cualquier problema de la vida rea hasta
pronto un abrazo.
La lgica matemtica nos introduce al mundo del anlisis de la realidad aparente
para mostrarnos la verdad de las cosas a travs de la aplicacin de la matemtica
en la solucin de los problemas que se nos presentan en las actividades de la
vida.
El estudio de la lgica es una herramienta utilizada en todas las ciencias, de ah que todo
estudiante debe tener los conocimientos bsicos de esta materia.
La lgica nos lleva a realizar un anlisis ms detallado en la argumentacin de un tema
determinado en cada una de las materias que se ven en el transcurso de la carrera.

El trabajo en equipo nos permite desarrollar aptitudes al realizar actividades de
aprendizaje debido a que teniendo el punto de vista de cada uno de los miembros
del grupo podemos llegar a la elaboracin de un trabajo de buena calidad sin
embargo es bueno anotar que el compromiso con el trabajo debe ser colectivo ya
que con la falta de participacin de alguno de los miembros del equipo se
estropean los resultados del trabajo final.


.



Referencias


Geoffrey Acevedo Gonzlez, (2011), Modulo de Lgica Matemtica.
Universidad Nacional Abierta y a Distancia UNAD. Medelln
http://www.georffrey.com/

Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional
Abierta y a Distancia UNAD. Santa Fe de Bogot
http://www.mercaba.org/Filosofia/summa_02-
1.htmblogs.ua.es/ignaciolog/acerca-de/historia-de-la-logica/
www.mercaba.org/Filosofia/summa_02-1.htmBreve,