UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

TRABAJO GRUPAL
GRUPO 90004_69
Presentado Por

JAVIER ERNESTO LOSADA 12.370.701

EDGAR AUGUSTO CASTRO CASTILLO- 12 370 682
HERNANDO AVILA
ALVARO ENRRIQUE BUJATO- 12 555 038
Tutor
NERVARDO ALONSO AYALA

Director de curso
Georffrey Acevedo Gonzlez

Rivera-Huila octubre 14 de 2012

INTRODUCCIN
En la unidad uno Principios Lgicos del curso lgica matemtica es incentivar al
estudiante moderno en el aprendizaje de la lgica, que aprenda como se plantea
razonamientos lgicos, la solucin de premisas utilizando las tablas de la verdad,
la proposicin de argumentos
lgicos, la identificacin de un argumento
verificando si este es verdadero o falso, si es una proposicin atmica o molecular,
la utilizacin de conectivos, aprender a darle el valor simblico a las expresiones
lingsticas, llevar a cabo la solucin de enunciados lingsticos en el diagrama de
Venn y su expresin lgica.
Con el desarrollo de la actividad se pretende fortalecer los conocimientos
adquiridos en la unidad 1 de Lgica matemtica; donde la fase 1 se tratan la teora
de conjuntos y la forma de cmo se pueden representar tanto de forma grfica
usando los diagramas de Venn, adems la representacin simblica de los
diferentes tipos de operaciones existentes entre conjuntos.
En la segunda fase se inicia con los principios de lgica, donde se especifique
proposiciones lgicas y no lgicas, la cual se fortalece cuando se logran identificar
los conectivos lgicos tanto para proposiciones simples como compuestas,
transformando estas expresiones en lenguaje simblico.
Posteriormente las proposiciones compuestas nos permitirn generar tablas de
verdad para cada valor posible de las proposiciones simples que la conforman,
todo esto con la finalidad de clasificarlas como tautologa, contradiccin o
contingente.
Finalmente, el desarrollo de estas actividades lo que ms genera es un proceso de
transferencia del conocimiento, y es por medio de la practica la que hace que se
convierta en una habilidad.

Fase 1. Saberes previos para la unidad: Teora de conjuntos

La lectura comprensiva de textos sean stos de carcter expositivo,
informativo o argumentativo, implican una actividad en la cual vamos
identificando caractersticas comunes que terminan constituyendo clases o
agrupaciones entre las cuales establecemos toda clase relaciones de
inclusin, exclusin, interseccin y conjuncin que solemos representar
grficamente mediante mapas mentales o conceptuales.
A continuacin te proponemos un aparte del Proyecto Acadmico Pedaggico
Solidario de la Universidad en el cual se plantean varias relaciones entre los
conceptos de Valores sociales, contexto social, ncleo temtico, reas de
formacin, ncleos problemticos, disciplinas del conocimiento, reas
temticas, necesidades del medio, entre otras. El ejercicio consiste en que
usando diagramas de Venn representes la lgica relacional propuesta en el
texto estableciendo toda clase relaciones de inclusin, exclusin, interseccin
y conjuncin entre estos conceptos y entre otros que a bien consideren
pertinentes para representar dicha lgica relacional:
Los diseos curriculares por ncleos problemticos, en su inters por
dar respuestas y producir conocimiento pertinente, expresan un
conjunto de valores sociales tales como 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 problemticos.
El ncleo problemtico 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.

Es decir, los ncleos temticos responden a los ncleos

problemticos, 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 problemtico como unidad integradora de
conocimientos posibilita la mirada simultnea y sucesiva de distintos
saberes sobre un mismo problema.

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)

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 :

( A L ) I
2. Estudiantes que slo matricularon lgebra :
A( L I )
3. Estudiantes que matricularon los tres cursos:
I (L A)

4. Estudiantes que no matricularon ni lgebra, ni lgica ni ingls:

( A L I ) '
5. Estudiantes que matricularon ingls pero no lgebra ni Lgica:
I ( A L)

6. Estudiantes que matricularon Lgica:

A
7. Estudiantes que matricularon Lgica y lgebra:

( A L )I
Fase 2. Principios de lgica
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.
PROPOSICIONES LOGICAS
NO SON PROPOSICIONES LOGICAS

La lengua puede ser oral y escrita.

Las inecuaciones son un tema de la
Algebra.
Para que el computador funcione
necesita del software y del hardware.
Maslow propuso las jerarquas de las
necesidades.
La netiqueta es importante para una
mejor
comunicacin
en
el
ciberespacio.

Los virus informticos son el motor del

computador.
La lgica matemtica estudia la
composicin de los seres vivos.
Todos los estudiantes de la UNAD no
necesitan asistir a clases.
No es necesario leer para comprender
los textos.
La heteroevaluacion es la que se hace
cada estudiante desde su criterio.

2.2 A continuacin se propone identificar los conectivos lgicos y proposiciones

simples presentes en cada expresin, posteriormente plantearan 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.

Ejemplo

premisas
p = hay tolerancia
q = hay paz
p= Ser ordenado
q= Ser constante
p= Controlar sus
impulsos
q= Desarmar su
corazn
r=Tenga una buena
vida humana
p=Tiene amor por la
tarea

Lenguaje simblico
pq
p q
( p q) r

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 una tabla de verdad de la
siguiente proposicin lgica, finalmente deben clasificar la proposicin como
tautologa, contradiccin o contingente de acuerdo al resultado:
[( p q ) ( p r ) ]

(
pq
v

(pr)

( p q ) ( p r )

[ ( p q ) ( p r ) ]

v v f
f
v
f
f
v
v f v
f
f
v
f
v
v f f
f
f
f
f
v
f v v
v
v
v
v
f
f v f
v
v
v
v
f
f f V
v
v
v
v
f
f f f
v
v
v
v
f
Respuesta: Es una proposicin indeterminada
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

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

Fase 3. Reflexin grupal

Lgica matemtica
Fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la
lgica de Aristteles (El padre de la lgica matemtica), pero desde el punto de
vista de una nueva notacin, ms abstracta, tomada del lgebra.
El nacimiento de la lgica propiamente dicho est directamente relacionado con el
nacimiento intelectual del ser humano. La lgica emerge como mecanismo
espontneo en el enfrentamiento del hombre con la naturaleza, para comprenderla
y aprovecharla. Poncair destaca cinco etapas o revoluciones en ese proceso que
se presentan entre dos grandes tpicos: del rigor y la formalidad, a la creatividad y
el caos. Las etapas se identifican como: Revolucin Matemtica, Revolucin
Cientfica, Revolucin Formal y Revolucin Digital adems de la prxima y prevista
Revolucin Lgica.
La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin
utilizados en matemticas lo que convierte la lgica en una especie de meta
matemtica. Una teora matemtica considera objetos definidos -enteros, por
ejemplo- y define leyes que relacionan a estos objetos entre s, los axiomas de la
teora. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a
veces, nuevos objetos. La construccin de sistemas formales -formalizacin,
piedra angular de la lgica matemtica-, permite eliminar la arbitrariedad en la
eleccin de los axiomas y definir explcita y exhaustivamente las reglas de la
deduccin matemtica.
Modernamente la lgica se ha convertido en una materia importante para
cualquier estudiante que quiere continuar con su educacin superior, no es
solamente profunda, si no de gran amplitud en la aplicacin de otras ciencias, en
mente de todos los estudiante de lgica matemtica esta el concepto de axioma y
la deduccin de teoremas a partir de axiomas. El propsito de esta actividad es
introducir al estudiante en el mtodo deductivo de la lgica matemtica moderna, a
un siendo complejo, sea lo suficientemente sencillo en presentacin, para que
permita una fcil compresin.

CONCLUSIONES

BIBLIOGRAFIA: MODULO LOGICA MATEMATICA , GUIA DE ACTIVIDADES