INGENIERIA EN TELECOMUNICACIONES
LOGICA MATEMATICA
ABRIL 12 DEL 2014
INTRODUCCION
Por medio de este trabajo queremos mostrar los conceptos y podemos aplicar la lgica
matemtica en nuestra vida diaria, desde saber y poder identificar la diferencia de textos
para identificar un grupo en particular y hacerlo de forma grfica con un diagrama de
venn. Diferenciar proposiciones de frases que al parecer son pero no, y como expresarlas
matemticamente en tabla de verdad.
3. Indique por comprensin y por extensin, los resultados de las operaciones entre conjuntos
que hacen parte de la situacin planteada.
D S = 22
S P = 11
D P = 20
DSP=3
No es proposicin
b. Cuando compramos mejores equipos electrnicos, lo que deseamos es comunicarnos mejor,
escuchar y ver mejor a otros seres humanos, esto es as, porque lo que ms deseamos es el
cario sincero y la compaa inteligente.
No es proposicin
c. Si has reparado las tuberas, entonces hay agua potable disponible y como s que has
reparado las tuberas, Por lo tanto, hay agua potable disponible.
Es proposicin
d. Si don Quijote percibe castillos en vez de ventas, entonces don Quijote ve alterada su
percepcin y como don Quijote percibe castillos en vez de ventas, entonces es
probablemente psictico.
Es proposicin
e. Carlos es socilogo o Laura es antroploga, pero Carlos no es socilogo, por lo tanto, Laura es
antroploga.
Es proposicin
Paso 2:
El siguiente paso es identificar proposiciones compuestas. Para lograr esta identificacin, conviene
reescribir el texto resaltando los conectivos lgicos que no estn explcitos en la expresin.
Por ejemplo, la expresin:
cuando practico todos los das, aprendo ms rpido y soy feliz la reescribimos as: Si practico
todos los das, entonces aprendo ms rpido y soy feliz. Las palabras destacadas en color rojo
corresponden al conectivo lgico condicional, y a la conjuncin; estos conectivos estaban ocultos.
Si has reparado las tuberas, entonces hay agua potable disponible y como s que has
reparado las tuberas, Por lo tanto, hay agua potable disponible.
Si don Quijote percibe castillos en vez de molinos, entonces don Quijote ve alterada su
percepcin y como don Quijote percibe castillos en vez de molinos, entonces es
probablemente psictico.
Carlos es socilogo o Laura es antroploga, pero Carlos no es socilogo, por lo tanto, Laura
es antroploga.
Paso 3:
Declaracin de proposiciones simples, asignando una de las ltimas letras del alfabeto para
identificarlas:
Para el ejemplo propuesto sera:
p = practico todos los das
q = aprendo ms rpido
r = soy feliz
Si has reparado las tuberas, entonces hay agua potable disponible y como s que has
reparado las tuberas, Por lo tanto, hay agua potable disponible.
P = reparado las tuberas
q = hay agua potable disponible
Si don Quijote percibe castillos en vez de molinos, entonces don Quijote ve alterada su
percepcin y como don Quijote percibe castillos en vez de molinos, entonces es
probablemente psictico.
p = don Quijote percibe castillos en vez de molinos
q = don Quijote ve alterada su percepcin
r = probablemente psictico
Carlos es socilogo o Laura es antroploga, pero Carlos no es socilogo, por lo tanto, Laura
es antroploga.
p = Carlos es socilogo
q = Laura es antroploga
Paso 4:
Finalmente, tambin en el aporte individual, expresa en lenguaje simblico las proposiciones
simples compuestas identificadas, y construye sus tablas de verdad.
Para el ejemplo propuesto esta sera el lenguaje simblico: p (q r)
Si has reparado las tuberas, entonces hay agua potable disponible y como s que has
reparado las tuberas, Por lo tanto, hay agua potable disponible.
P = reparado las tuberas
q = hay agua potable disponible
(qp) (pq)
Si don Quijote percibe castillos en vez de molinos, entonces don Quijote ve alterada su
percepcin y como don Quijote percibe castillos en vez de molinos, entonces es
probablemente psictico.
p = don Quijote percibe castillos en vez de molinos
q = don Quijote ve alterada su percepcin
r = probablemente psictico
(pq) (pr)
Carlos es socilogo o Laura es antroploga, pero Carlos no es socilogo, por lo tanto, Laura
es antroploga.
p = Carlos es socilogo
q = Laura es antroploga
( p v q ) ( ~p q )
Paso 5:
Construya las tablas de verdad de cada uno de los razonamientos anteriores y determine si son o
no son una tautologa.
( q p ) ( p q ) No es tautologa
q
(qp) (pq)
V
V
F
F
V
F
V
F
V
F
F
V
( p q ) ( p r ) No es tautologa
q
(pq) (pr)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
F
F
V
V
V
V
( p v q ) ( ~p q ) Si es tautologa
q
V
V
F
F
p
V
F
V
F
( p v q ) ( ~p q )
V
V
V
V
ETAPA 3
El debate alrededor de la etapa 3 debe desarrollarse haciendo uso de uno de los recursos
de la Web 2.0. Mediante el uso de herramientas de la Web 2.0, pasaremos de ser
observadores pasivos de contenido a convertirnos en creadores; para lograrlo el equipo
podr usar recursos como: la wiki, el blog, una pgina Web o la red social UNAD.
El espacio Web 2.0 generado para esta etapa se realiz en la red social de la universidad,
relaciono el link de la participacin.
http://social.unad.edu.co/index.php/groups/viewdiscussion/668-logica-un-diariovivir?groupid=439
CONCLUSIONES
Bibliografa
Ferreira, M. (. (s.f.). 203532-Logica matematica9004B. Recuperado el 29 de Marzo de 2014,
http://66.165.175.232/campus02_20141/mod/resource/view.php?inpopup=true&id=909
Monografias. (s.f.).Logica proposicional. Recuperado el 10 de Abril de 2014, de
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
Docencia . (s.f.). Logica proposicional. Recuperado el 9 de abril de 2014, de
http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html
Wikipedia. Logica proposicional (s.f.). Recuperado el 9 de abril de 2014, de
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional