Escolar Documentos
Profissional Documentos
Cultura Documentos
l
v
a
r
e
z
G
u
e
r
r
a
Leidy lvarez es estudiante de
Ingeniera de sistemas (V)
Vamos a entregar el
trabajo colaborativo
Los trabajos colaborativos se deben
realizar por todos los integrantes del
grupo (V)
Cmo estn
compaeros?
Lgica Matemtica es un curso que
solo se ve en el rea de Ingeniera
(F)
Me quedar
Georffrey Acevedo, es Tutor de la
UNAD (V)
No puedo completar la
respuesta
El aprendizaje autnomo no se
necesita en la mediacin virtual (F)
Pare, Inmediatamente!
2.5 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
2.5 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:
a. {[( ) ] ( )} ( )
La Proposicin es una: Expresin Contingente
p q r s q (pq) [(pq)q] (pr) [(pq)q](pr) (qs) [(pq)q](pr)(qs)
V V V V F V V V F V V
V V V F F V F V F V V
V V F V F V F F F V V
V V F F F V F F F V V
V F V V V V F V V V V
V F V F V V F V V F F
V F F V V V F F F V V
V F F F V V F F F F V
F V V V F V F F F V V
F V V F F V F F F V V
F V F V F V F F F V V
F V F F F V F F F V V
F F V V V F F F F V V
F F V F V F F F F F V
F F F V V F F F F V V
F F F F V F F F F F V
b. [( ) ]
p q q p (pq) [(pq)p] [(pq)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
La Proposicin es una: La Expresin es una Tautologa
2.5 Mediante una tabla de verdad, evala la equivalencia entre las siguientes
dos proposiciones: Son equivalentes?
Primera proposicin: ( ) Segunda proposicin:
p q p pq (pq) (pq)(pq)
V V F F V F
V F F F F V
F V V V V V
F F V F V F
Las Proposiciones ________ son equivalentes
2.5 Proposiciones contraria, recproca y contra recproca. A continuacin el
equipo debe plantear las proposiciones contraria, recproca y contra
recproca 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
CONCLUSIONES
Con este trabajo se logra un conocimiento ms a fondo sobre la primera unidad la
cual nos ensea sobre lo importante que son las teoras de conjuntos, conectivos
lgicos, deduccin e induccin, y que son la forma de iniciar la lgica matemtica la
cual nos da grandes bases para nuestro diario vivir.
Gracias a esta podemos afirmar que los conocimientos hasta ahora aprendidos son
de gran valor en nuestro proceso de formacin profesional porque nos ayuda a
reducir un problema de anlisis complicado debido a la complejidad de su estructura
lingstica mediante la transformacin en lgica simblica que facilita su solucin y
comprensin.
REFERENCIAS BIBLIOGRFICAS
ACEVEDO, Gonzlez, G. (2013). Mdulo de Lgica Matemtica. Colombia:
Universidad Nacional Abierta y a Distancia.
RECURSO. Material de apoyo para la unidad I. Recuperado Noviembre 27 de 2013
en: http://66.165.175.254/inter20132/mod/resource/view.php?id=49370
Aplicacin Tablas de Verdad - Expresin Booleana, Lawrence E. Turner, P h. D.
Profesor de Matemticas y Fsica del sudoeste Universidad Adventista:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/