Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LOGICA MATEMATICA
Tutor
LUISA FERNANDA PEARANDA
Tareas a desarrollar:
Tarea 1: Proposiciones
Escribe la proposicin compuesta propuesta y determine su valor de verdad a partir del valor de
verdad de cada proposicin simple:
a. : ,
: Soar no cuesta nada
:
()
p: V
q: F
r: F
()
F (F v V)
FV
V
b. : 1,1,2,3,5,8,12
()()
p: F
q: V
()()
(FV) V F
F VF
F
Cada solucin de los siguientes enunciados debe contar con las siguientes etapas:
Expresin en lenguaje simblico.
a. No puedes daar a un ser humano o permitir que sufra dao si eres un robot.
1. Expresin en lenguaje simblico.
p: Puedes daar al ser humano
q: Permitir que sufra dao
r: Eres un robot
(pvq) r
p q r p pvq (pvq) r
V V V F V V
V V F F V F
V F V F F V
V F F F F V
F V V V V V
F V F V V F
F F V V V V
F F F V V F
p: trabajas en la obra
q: eres ingeniero
r: trabajas en el campo
s: eres agrnomo
(pq)v(rs)
p Q r s pq rs (pq)v(rs)
V V V V V V V
V V V F V F V
V V F V V F V
V V F F V F V
V F V V F V V
V F V F F F F
V F F V F F F
V F F F F F F
F V V V F V V
F V V F F F F
F V F V F F F
F V F F F F F
F F V V F V V
F F V F F F F
F F F V F F F
F F F F F F F
= {, o, , , , , , }
= {, , , , , }
= {/ o }
= {/ o }
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 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.
REFERENCIAS
Proposiciones_y_tablas_de_verdad_1.pdf
Proposiciones_y_tablas_de_verdad_2.pdf
Proposiciones_y_tablas_de_verdad_5.pdf
Teoria_de_Conjuntos_1.pdf