UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera

Lgica Matemtica





UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA




LGICA MATEMTICA


Act 6 Trabajo Colaborativo




presenta


Alexander Benavides Arvalo: 79891501
Alexander Perez Novoa: 79893493






Director de curso

Georffrey Acevedo Gonzlez
















Bogot Abril 29 del 2012








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


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







Introduccin

En la siguiente actividad encontraremos diferentes ejercicios de conjuntos , tablas de verdad
proposiciones.


Con la mejor intencin de dejar claros estos temas aunque se tuvo algo de dificulta en usar
el simulador de la pagina : http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/


En este trabajo encontraremos varios ejercicios que nos muestran diferentes ejemplos de
razonamiento.


Objetivo General

Tomar las tematicas que se trataran dentro del desarrollo del curso, poniendo en
conocimiento todas y cada una de las actividades que lo componen, adems de plantear
diferentes actividades y temas para el programa de estudio.





























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


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

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.


q p











r





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


p: Juan matriculo lgica p q r


q: Juan matricul algebra


r: Juan matriculo competencias comunicativas


















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


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



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
Alexander Benavides El programa de
administracin de
empresas dura 10
semestres
El curso de Ingles es fcil?
Alexander Benavides El curso de Lgica cuenta con 5
tutores
La Unad no ofrece
Administracin de
Empresas
Alexander Benavides La plataforma de la Unad
ofrece muchas
herramientas
Andres no estudia
Psicologa
Alexander Benavides Es necesario matricular 5
cursos para estudiar un
semestre
La cede Mutis no queda en
Bogot
Alexander Benavides La unad cuenta con dos
Cedes
La educacin a distancia

Nombre del estudiante Son proposiciones
lgicas:
No son proposiciones
lgicas
Alexander Perez Novoa Alexander es estudiante Trae dos panes
Alexander Perez Novoa La lgica es una materia Vamos a correr
Alexander Perez Novoa Ingeniera es una carrera Salimos a pasear
Alexander Perez Novoa El sol calienta Tomamos vino
Alexander Perez Novoa La luna es redonda Apaga el computador







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


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:



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: Aprender matemticas
q: Ser ordenado
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 : Ensearles a controlar
sus impulsos
q : Ensearles a desarmar
su corazn
r : Los hijos tendrn buena
vida sobre la tierra


( p q ) r
Ana tiene perseverancia,
orden y amor por la tarea.
P : Ana tiene
perseverancia
q : Ana tiene orden
r: Ana tiene amor por la
tarea
(p q ) r
























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


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 las siguientes proposiciones
lgicas, finalmente, deben clasificar la proposicin como tautologa, contradiccin o
contingente de acuerdo al resultado:

|(p v q).q|.(p . r)(q v s)

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/

|(p v q).q|.(p . r)(q v s)

V
V
V
V V F F F V V V V V V V
F
V
V V F F F V V V V V V
V V F F F V F F V V V
V V V F F F V F F V V V F
V V F V V V V V V V F V V
V V F V V V V V V F F F F CONTINGENTE
V V F V V V V F F V F V V
V V F V V V V F F V F F F
F V V F F F F F V V V V V
F V V F F F F F V V V V F
F V V F F F F F F V V V V
F V V F F F F F F V V V F
F F F F V F F F V V F V V
F F F F V F F F V V F F F
F F F F V F F F F V F V V
F F F F V F F F F V F F F





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


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


V V F F F V F
V V V F F V V
F F F F V V F
F V V V V V V

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



|( pvq).p|q

TAUTOLOGIA


























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


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




2.4. Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos
proposiciones: Son equivalentes?

Primera proposicin ( p .q) Segunda proposicin p . q

V V F F F F V
F V V V F F F
V F F F V V V
V F F V V F F




NO SON EQUIVALENTES


















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




2.5. 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 no tendr buena carne
Contraria El ganado no es Jersey entonces si tendr buena carne
Recproca No tendr buena carne si el ganado es Jersey
Contrarrecproca Si tendr buena carne si el ganado no es Jersey



Fase 3. Reflexin grupal

La lgica matemtica es un instrumento o herramienta que nos sirve para poder
razonar por medio de smbolos , proposiciones, desde la poca antigua .


Muchos consideraban que la lgica esta llamada a tener para la informtica en
nuestros das una importancia comparable a la que tuvo el anlisis matemtico
para la fsica en el siglo pasado , en contraste con la lgica matemtica
tradicional la lgica para la informtica debe hace mayor nfasis en el
pragmatismo, la experimentacin y la eficiencia.


La importancia del trabajo colaborativo es muy importante, por que siempre se
espera las opiniones de nuestros compaeros , y en este caso el trabajo
necesitaba de varios comentarios.




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


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





Conclusiones



Es muy importante la lgica matemtica por que es aplicable en todas las areas de
nuestras carreras universitarias, adems nos ayuda a razonar en diferentes ambientes como
lo son los de nuestro trabajo y hogar.



No es difcil pero si hay que prestarle mucha atencin y no tomarla a la ligera por solo pasar
el curso, aprovecharla es muy importante, utilizar las herramientas que nos brindan para as
poder desarrollar unas competencias valiosas para desenvolvernos favorablemente.









































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


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







Referencias







Maria teresa Hortala- Mario Rodriguez ( 2001 ) Matematica Discreta y lgica matematica
Madrid Editorial Complutense

Georffrey Acevedo Gonzalez ( 2011 ) Modulo Logica matematica
Medellin- Universidad Nacional Abierta y a Distancia



http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
































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