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
JORGE ENRIQUE ALVARADO
JENNIFER VIRGINIA QUINTERO
JOSE NEIR SERRATO
JOSE LEONARDO DAZA
Tutor
ALFREDO GAMEZ
Director de curso
Georffrey Acevedo Gonzlez

Tunja Boyac
Octubre de 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

1/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Introduccin
La lgica matemtica consiste en el estudio matemtico de la lgica y en la aplicacin de
este estudio a otras reas de las matemticas. En esta actividad presentaremos una
solucin individual completa y oportuna de la misma. Tendremos en cuenta las
participaciones significativas, continuas y oportunas debatiendo las propuestas frente a las
propuestas de los compaeros. Aremos la entrega de un producto final consolidado en la
plantilla diseada con este fin.
Toda metodologa basada en la teora del aprendizaje significativo, facilita a que nosotros
como alumnos en el aprendizaje tengamos una mejor y calidad sobre unas bases
fundamentales para un buen proceso pedaggico donde se obtiene el fortalecimiento lgico
matemtico Cuando se aplica una unidad didctica basada en la Teora del Aprendizaje
significativo donde se fortalecen mejores relaciones con el mundo externo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

2/17

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

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
problmicos, 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 problmicos, en su inters por dar
respuestas y producir conocimiento pertinente, expresan un conjunto de
valores sociales tales
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.
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 UNAD www.unad.edu.co

3/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

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.
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.
Estudiantes
Estudiantes
Que matriculan A
Algebra

L
JUAN
OSCAR

Estudiantes
Que matriculan
Lgica

ANA
CESAR

CAMILO

PATRICIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

4/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Estudiantes
Que matriculan
Ingls

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

5/17

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 :
Estudiantes
Que matriculan A
Algebra

L
JUAN

Estudiantes

Estudiantes
Que matriculan
Lgica

PATRICIA

Estudiantes
Que matriculan
Ingls

2. Estudiantes que slo matricularon lgebra :

Estudiantes
Que matriculan A
Algebra

L
JUAN
OSCAR

Estudiantes
Estudiantes
Que matriculan
Lgica

ANA
CESAR

CAMILO

PATRICIA

Estudiantes
Que matriculan
Ingls

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

6/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

3. Estudiantes que matricularon los tres cursos:

Estudiantes
Estudiantes
Que matriculan A
Algebra

Estudiantes
Que matriculan
Lgica

ANA

PATRICIA

Estudiantes
Que matriculan
Ingls

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

Estudiantes
Que matriculan A
Algebra

PATRICIA

Estudiantes
Que matriculan
Lgica

Estudiantes
Que matriculan
Ingls

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

7/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

5. Estudiantes que matricularon ingls pero no lgebra ni Lgica:

Estudiantes
Que matriculan A
Algebra

L
Estudiantes
Que matriculan
Lgica

CAMILO

Estudiantes
Que matriculan
Ingls

6. Estudiantes que matricularon Lgica:

Estudiantes
Que matriculan A
Algebra

L
OSCAR

Estudiantes
Que matriculan
Lgica

Estudiantes
Que matriculan
Ingls

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

8/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

7. Estudiantes que matricularon Lgica y lgebra:

Estudiantes
Que matriculan
Algebra

L
JUAN

Estudiantes
Que matriculan
Lgica

Estudiantes
Que matriculan
Ingls

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:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

9/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Nombre del estudiante

JORGE ENRIQUE
ALVARADO MORA

Son proposiciones lgicas: No son proposiciones

lgicas
Los conjuntos se pueden 2+2 es igual a 8.
representar
mediante
Diagarmas de Vennt.
Algunos
estudiantes
de El numero dos es una vocal.
administracin matricularon
el curso de matemtica.
Todos los estudiantes de La lgica no es lgica.
administracin matricularon
competencias
El azufre es de color El numero dos es una vocal.
amarillo.
Los
mamferos
son Se debe despejar la tabla de
vertebrados.
la verdad.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

10/17

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:

Ejemplo

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= aprender
matemticas.
q= ser ordenador =
ser constante.
p= condiciones
necesarias.
q= condiciones
suficientes.
r= ensena a
controlar impulsos.
s=ensea a
desarmar su
corazn.
p= Ana tiene
perseverancia.
q= Ana tiene orden.
r= Ana tiene amor.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Lenguaje simblico
pq
q^rp

(p^q)(r^s)

p^q^r

11/17

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:

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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

12/17

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

A continuacin clasifica los siguientes enunciados como verdaderos, falso,

proposicin atmica, proposicin molecular, no es proposicin (como V,F, PA,PM,
NP,):

2.4.

ENUNCIADOS
Ejemplo

Contraria

Ejemplo

Juan Manuel Santos es el presidente de Colombia

NP PA PM V, F
x
x

Aristteles es el padre de la lgica

Una proposicin puede ser simple o atmica

F
X

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

14/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

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 matemtica estudia los sistemas formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin. La lgica estudia la forma del razonamiento. La lgica
matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la
lgica proporciona reglas y tcnicas para determinar si es o no vlido 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.
Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia,
es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms
abstracta, tomada del lgebra. Previamente ya se hicieron algunos intentos de tratar las
operaciones lgicas formales de una manera simblica por parte de algunos filsofos
matemticos como Leibniz y Lambert, pero su labor permaneci desconocida y aislada.
Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero
presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional
aristotlica fue reformada y completada, obteniendo un instrumento apropiado para
investigar sobre los fundamentos de la matemtica. El tradicional desarrollo de la lgica
enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica
matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un
nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un
lenguaje formal a un programa compilador que lo convierte en una secuencia de
instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo
modelos apropiados (teora de modelos).

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

15/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Conclusiones

La lgica matemtica nos ayuda a desarrollar los procesos de pensamiento

encontrando sentido a lo que normalmente realizamos. Muchas veces utilizamos en
nuestros razonamientos oraciones y frases que suelen estudiarse en esta materia.
Las inferencia lgicas tambin cotidianas y las hacemos sin darnos cuenta.
La utilizacin de la lgica tiene sus ventajas y desventajas, y por lo tanto hay que
conocerlas y analizarlas.
La lgica ofrece mtodos que ensean cmo elaborar proposiciones,
evaluar su valor de verdad y determinar si las conclusiones se han
deducido correctamente a partir de proposiciones supuestas.
La proposicin es el elemento esencial de la lgica para la matemtica.
Un argumento lgico es un razonamiento que parte de una serie de
enunciados llamados premisas se puede llegar a un resultado llamado
conclusin.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

16/17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Referencias

ACEVEDO GONZALEZ GEORFFREY. Mdulo Lgica Matemtica. UNAD. Medelln

2012
http://66.165.175.209/inter/mod/resource/view.php?inpopup=true&id=1091
Generador de tablas de verdad:
http://www.isftic.mepsyd.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03ta
blasvd
http://www.korion.com.ar/archivos/logica_induccion.pdf
http://www.monografias.com/trabajos3/logica/logica.shtml
http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://www.monografias.com/trabajos63/premisas-conclusiones/premisasconclusiones
https://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r4482

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

17/17