You are on page 1of 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 1/13
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


LGICA MATEMTICA


Trabajo grupal de calificacin individual No.1



Presenta
Paula Ximena Roa 1020726234
Luz Andrea Espinel Figueredo - 1.020.718.274
Diana marcela Duarte lvarez 1020717283
Luis Humberto Sicach Rozo 1020448737



Tutor

Denisse Andrea Velandia



Director de curso
Georffrey Acevedo Gonzlez


Colombia Abril 29 2012

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

El curso de lgica matemtica es aplicable a todos los programas ofrecidos en la UNAD, el
primer paso para garantizar la calidad del auto aprendizaje de los contenidos de este curso
es el reconocimiento del aula, protocolo, y del mdulo para tener claro los temas a estudiar,
y la metodologa del curso.
El siguiente trabajo tiene como objetivo comprender los diferentes conjuntos y preposiciones
existentes en la lgica matemtica utilizando las tablas de verdad que nos conducan a
verificar su veracidad y tener argumentos para dicho resultado, las dificultades encontradas
fueron en encontrar las preposiciones no lgicas ya que se confunden en varias partes con
las lgicas por su estructura.
Posteriormente, analizaremos las tablas de verdad y veremos como una funcin con varias
premisas puede llegar a una sola conclusin mostrando algunos elementos que permitan al
lector entender correctamente los temas.
Ms all de ser un tema complejo es un rea que requiere de plena concentracin pues el
ms mnimo descuido acaba con una tarde de trabajo, adems de tener en cuenta que se
debe contar con bastante paciencia para revisar los temas una y otra vez y asegurarse de
que todo est comprendido. Dentro del trabajo se encontrara una aplicacin bastante til
(http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/) pues permite verificar las
tablas de verdad. No ha sido un trabajo fcil pero ha sido realmente satisfactorio pues se
empieza a entender la utilidad dentro de la vida profesional y cotidiana de la lgica
matemtica.

Las dificultades que se nos presentaron vemos que fueron el lenguaje simblico ya que
notamos diferencias entre los posibles resultados, con lo que no podemos distinguir bien las
preposiciones.

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 3/13
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- (BuC)) u (B- (AuC))


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 4/13
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
Paula Ximena Roa El JUST a time es un
sistema de control de
inventarios
Formula punto de equilibrio
Andrea Espinel La administracin nos
ayuda a la creacin de
empresa.
El QUIZ de matemticas
puede que sea ms difcil
que el de costos aunque no
he presentado ninguno.
Diana Duarte El psicoanlisis es una
corriente de la psicologa
La psicologa jurdica es
mejor que la psicologa
organizacional
Luis Humberto Sicach Si apruebo lgica
matemtica entonces ser
un gran matemtico
Todos deben estudiar Ing.
de alimentos




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 5/13
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 = para que tus hijos
tengan
buena vida sobre la tierra
q = ensales a controlar
sus
impulsos
r = desarmar su corazn
p (q ^ r)
Ana tiene
perseverancia, orden y
amor por la tarea.
p = Ana tiene
perseverancia
q = orden
r = amor por la tarea
p ^ q ^ r


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 6/13
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:
( ) | | ( ) ( ) s q r p q q p v . . . v

p q r s q (pq) [(pq)q] (pr) (qs) (pr) (qs) [(p q) q] (p r)
(q s)
V V V V F V V V V V V
V V V F F V F V V V V
V V F V F V F F V F V
V V F F F V F F V F V
V F V V V V F V V V V
V F V F V V F V F V F
V F F V V V F F V F V
V F F F V V F F F V V
F V V V F V F F V F V
F V V F F V F F V F V
F V F V F V F F V F V
F V F F F V F F V F V

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
F F V V V F F F V F V
F F V F V F F F F V V
F F F V V F F F V F V
F F F F V F F F F V V


LA EXPRESION ES CONTINGENTE


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

( )
p q p q v . (


p q q p (p q) [(p q) p] [(p q) p] q
V V F F V F V
V F V F V F V
F V F V F F V
F F V V V V V

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
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 9/13
2.4. 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 .


p q q (p q) (p q)
V V F F V
V F V V F
F V F F V
F F V F V



q p .

p q p p q
V V F F
V F F F
F V V V
F F V F



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/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 entonces no tendr buena carne
Contraria Si el ganado no es Jersey entonces tendr buena carne
Recproca No tendr buena carne si el ganado es Jersey
Contra
recproca
Tendr buena carne si el ganado no es Jersey


























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/13
Fase 3. Reflexin grupal

En el desarrollo de la fase individual de este trabajo se notaron algunas diferencias entre los
participantes en algunos puntos. Sin embargo es claro que eran mnimas y que para ningn
miembro del equipo fue fcil dar respuesta a cada uno de los puntos pero encontramos que
el esfuerzo fue grande y llegamos a consolidar la informacin revisando cada uno los
trabajos de los otros en la bsqueda de un objetivo comn: aprender e introducir en nuestro
actuar la lgica matemtica.

Podemos aadir con respecto a los temas del trabajo que se pueden tener varias posibles
soluciones pero que solo una es la correcta y para llegar a esta debemos considerar las
diferentes opciones que se nos presentan y hacer un anlisis minucioso con el cual llegamos
a una sola conclusin.


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


Conclusiones


- Con la lgica matemtica podemos darnos cuenta que para dar respuesta a
diferentes situaciones no solo en matemticas si no tambin en nuestra vida
diaria pueden existir diferentes formas de llegar a la mejor y mas exacta
solucin para ese interrogante.

- La lgica es aplicable en la vida cotidiana, hacemos uso de ella todo el
tiempo, sacamos deducciones, proponemos hiptesis, razonamos; lo
importante es aprender a identificar esas situaciones en las que nos sirve para
solucionar problemas prcticos.

- Es importante empezar a implementar la lgica matemtica en cada proceso
de nuestras vidas, a medida que vamos teniendo un buen conocimiento de
esta ciencia la aplicacin debera ser inmediata, de esta forma mantenemos el
ejercicio de la materia que es de gran utilidad.

- Al realizar el trabajo es donde nos damos cuenta de la importancia de la
lgica que sin saberlo la utilizamos da a da aplicndolas de una u otra forma
y es all en donde radica la importancia ya que con los conocimientos
adquiridos se puede llegar a conclusiones fcilmente o simplemente saber
cules son las posibilidades que se manejaran si se nos presentara por
ejemplo una proposicin en la vida cotidiana y como se ha dicho podramos
tomar una respuesta fcilmente ya que pensaramos efectivamente y por tal
razn no seriamos incultos o incoherentes y por tal razn es la diferencia
poseemos de los animales ya que somos seres pensantes razonables





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

Referencias



- Acevedo, Gonzlez, G 2011. Modulo curso Lgica matemtica. Universidad Nacional
Abierta y a Distancia. Colombia.

- Colaboradores de wikipedia. Pontencial elctrico.[en lnea]. Wikipedia la Enciclopedia libre
[citado el 10 de abril de 2012]. Disponible en :
http://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

- Colaboradores truth table generator. Potencial elctrico. [en lnea]. Tablas de verdad.
[Citado el 23 de abril de 2012]. Disponible en:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

- Colaboradores luventus. Potencial elctrico. [ en lnea].Luventus
[citado el 24 de abril de 2012]. Disponible en :
http://www.luventicus.org/articulos/03U015/index.html

You might also like