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

Presentado por:
Juan Carlos Perez Gauna
C.C. 74755521

Grupo: 90004_430

Tutor:
Patricia Leguizamn P

Director de curso:
Georffrey Acevedo Gonzlez

Cead: Yopal (Casanare)

11 de octubre de 2012

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Introduccin

Mediante este trabajo encontraremos el desarrollo de diferentes problemas de la

introduccin a la Lgica Matemtica como lo es los conjuntos: representaciones graficas de
el lenguaje natural, las proposiciones tanto como lgicas y no lgicas y la representacin
simblica de nuestro lenguaje, las tablas de la verdad para dar a conocer el valor de la
verdad de una proposicin.

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

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 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 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.

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.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

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)

NUCLEOS
TEMATICOS

NUCLEOS
PROBLEMICOS

PROBLEMA, NECESIDAD, NECESIDADES

OPORTUNIDAD, VACIO EN EL DEL MEDIO
CONOCIMIENTO
VALORES Areas
Areas
SOCIALES temticas
temticas

reas SECTOR
SECTOR
reas de
de
SOLIDARIDAD,
SOLIDARIDAD, formaci
formaci PRODUCTIVO,
PRODUCTIVO,
COMPROMISO nn CONOCEDORE
COMPROMISO CONOCEDORE
CIUDADANADO,
CIUDADANADO,
RESPONSABILID
SS DEMANDAS,
DEMANDAS,
RESPONSABILID
AD,
AD, VERDAD,
VERDAD, OPORTUNIDAD
OPORTUNIDAD
DESARROLLO
DESARROLLO ES
ES DEL
DEL MEDIO
MEDIO
SOSTENIBLE.
SOSTENIBLE.

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

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

no Algebra ni Lgica, Oscar slo matricul Lgica, Cesar matricul lgebra e

Ingls pero no Lgica.

A L
A
L

JUAN
OSCAR
DIEGO
ANA I

CESAR

CAMILO

PATRICIA I

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 :

2. Estudiantes que slo matricularon lgebra :

3. Estudiantes que matricularon los tres cursos:

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

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

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:

6. Estudiantes que matricularon Lgica:

7. Estudiantes que matricularon Lgica y lgebra:

1. (A n L) I = Juan

2. A (L U I) = Diego

3. ((AnLnI)) = Ana

4. (AULUI) = Patricia

5. I-(AUL) = Camilo

6. L-L = Juan, Oscar, Ana

7. (AUL) = Juan, Ana

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 Son proposiciones lgicas: No son proposiciones lgicas

estudiante
Juan Carlos Perez Adalid esta en el Programa de Administracin de
Empresas
Dentro de las clases virtuales estoy viendo
Macroeconoma
Si presento mis trabajos y evaluaciones dentro del
tiempo establecido si y solo si pasare la materia
Si el ingles es importante para nuestra vida laboral
entonces estudiare con muchas ganas
Administracin de Empresas
Estadstica es menor que Geografa
Econmica
Cuantos son los participantes del curso
de Lgica.
La evaluacin es difcil de resolver

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

El cronograma del curso nos mantiene informados del

vencimiento de las evaluaciones y trabajos. Estamos en el l aula virtual

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
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

Ej Si hay tolerancia, entonces hay paz p = hay tolerancia pq
e q = hay paz
m
pl
o
Para aprender matemticas es p= para aprender matemticas
necesario ser ordenado y q= necesario ser ordenado
constante. r= constante
p q r
Dos condiciones son necesarias y suficientes o= dos condiciones son necesarias
para que tus hijos tengan una buena vida p= suficientes para que tus
humana: ensales a controlar sus impulsos
y a desarmar su corazn.
hijos tengan una buena vida
humana: q= ensales a
o p q r
controlar sus impulsos
r= a desarmar su corazn
Ana tiene amor por la tarea.
p q
p= Ana
q= amor por la tarea

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.2. 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.
(PvQ)^(P [(PvQ)^(PR
p q r (PvQ) (PR) R) )]
V V V V V V F
V V F V F F V
V F V F V F V
V F F F F F V
F V V V V V F
F V F V V V F
F F V V V V F
F F F V V V F

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 9/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 10/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 11/15

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.1. A continuacin clasifica los siguientes enunciados como verdaderos, falso,

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

NP PA PM V, F
ENUNCIADOS
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 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 X V
podamos construir una tica para vivir bien
Hay paz en Colombia si y slo si los Colombianos nos escuchamos X V
mutuamente
Lo que ms debe desear un ser humano en su vida es el afecto y el cario X V
sinceros que slo pueden brindar seres humanos libres
Fase 3. Reflexin grupal

La filosofa fue la ciencia que dio inicio a la lgica, la lgica es la ciencia que se ocupa
de la manera o forma de los pensamientos, todo ser humano utiliza la lgica al pensar
an cuando no somos conscientes de ello, es una ciencia dinmica no esttica

Como la reflexin filosfica que indaga por los principios ltimos y primeros del pensar,
as como por las leyes que hacen posible un pensamiento coherente, sin fisuras,
consistente o que puede explicar las inconsistencias; al igual que las formas en las
cuales se manifiesta y se hace posible el pensamiento,

Es en la Grecia antigua en donde se problematiza y se inicia la lgica como disciplina

filosfica.
Las personas constantemente tomamos decisiones acerca de lo que creemos que es
verdadero en distintos aspectos de nuestras vidas. Aunque todo el mundo est de
acuerdo en preferir creer lo que es verdad, con frecuencia discrepamos sobre lo que es
verdadero en casos particulares. Si bien muchas de nuestras convicciones
fundamentales sobre el mundo que nos rodea las adquirimos de cualquier manera en
lugar de mediante el uso de la razn, todos reconocemos que nuestras creencias sobre
el mundo y los hechos que acaecen en el mismo mundo estn de algn modo ligadas.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

En conclusin, podemos estar de acuerdo con el camino que sigue un razonamiento

aunque discrepemos de sus puntos de partida y de llegada. Es decir, es posible
distinguir los razonamientos vlidos de los invlidos independientemente de que
estemos o no de acuerdo con el contenido que expresen dichos razonamientos. Dicho
de forma muy simple, la lgica es la disciplina que estudia esta distincin determinando
las condiciones bajo las cuales la verdad de ciertas creencias conduce con certeza a la
verdad de alguna otra creencia. La lgica estudia, pues, los principios de los
razonamientos correctos.

Conclusiones

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

- Con la elaboracin de los anteriores ejercicios se reforzaron los conocimientos bsicos

sobre la introduccin a la Lgica con el fin de poder desarrollar los temas mas avanzados
en el Modulo.

- Mediante la herramienta de las tablas de verdad se puede verificar una proposicin

lgica.

- Con la ayuda de los diagramas de Venn se logro representar las proposiciones

simblicamente de manera correcta.

- Mediantes los conectivos lgicos se identifico las proposiciones simples y compuestas.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Referencias

- Georffrey Acevedo Gonzlez (2012) Modulo de Lgica Matemtica, UNAD Colombia

- Google

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