Professional Documents
Culture Documents
ACTIVIDAD COLABORATIVA N2
LGICA PROPOSICIONAL
INTEGRANTES
JULIZA URBANO TRUJILLO: CDIGO: 1005751715
ANA GABRIELA MILANS ZIGA: CDIGO 4559470
MARA DEL PILAR VILORIA TORRES: CDIGO 9712072590
GRUPO: 200611_378
TUTOR:
OSCAR EDUARDO VIDAL
INTRODUCCION
El ser humano, a travs de su vida diaria, se comunica con sus semejantes a travs de un lenguaje
determinado (oral, escrito, Etc.) por medio de las denominadas frases u oraciones. Estas pueden
tener diferentes significados pero siempre van a resumir a las formas de verdaderas o falsas,
siendo este el hecho de que, a partir de un conjunto de estas podemos llegar a una conclusin o
inferencia, siendo la lgica la ciencia encargada de estudio de estas.
La lgica proposional es una rama de la lgica que permite representar hechos o expresiones del
mundo real en un lenguaje representativo del conocimiento mediante propiedades elementales
para estudiar a travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad
La lgica propocional toma un rol muy importante en el desarrollo de la inteligencia artificial, y
en otros aspectos de la informtica
OBJETIVO GENERAL
OBJETIVO ESPECFICOS
Entender la aplicacin y el efecto que tienen los trminos de enlace en las proposiciones
Analizar los enunciados para la elaboracin de las tablas de verdad, teniendo en cuenta los
trminos de enlace
LGICA PROPOSICIONAL
CONJUCION
CONDICIONAL
Conclusin
Todos los docentes de matemticas tienen que ser licenciados
horas para llegar a cumplir con las prcticas de laboratorio. Es as que, cuando viajo me da
migraa. Siempre que me da migraa, me entra un escalofro severo. As pues, siempre que me
entra un escalofro severo, viajo. El director de curso pensar que es correcta la excusa o por el
contrario ella se contradice o no hay sentido en lo que expresa?
PREMISA 1: Cuando viajo me da migraa.
PREMISA 2: Siempre que me da migraa, me entra un escalofro severo.
CONCLUSION: Siempre que me entra un escalofro severo, viajo
Se dice que:
P: Premisa 1.
Q: Premisa 2.
R: Conclusin.
PREMISA 1 + PREMISA 2:
[(p q) ^ (q r)]
PREMISAS + CONCLUSIN:
[(p q) ^ (q r)] (p r)
[(P Q) ^ (Q R)] (P R)
(P Q)
(Q R)
PR
CLASIFICACION: TAUTOLOGA.
Colombianos: c
Presidente: p
Gobernador: g
CONCLUCIN
Ningn gobernador
Puede ser presidente al mismo tiempo
DIAGRAMA DE VENN
Luis, si Sandra es mayor que Luis. Por lo tanto, Si Catalina es mayor que Sandra, Andrea es
mayor que Carlos. Es correcto o contradictorio el anlisis?
SOLUCIN
Sean P, Q y R afirmaciones simples tales que
P: Catalina es mayor que Sandra
Q: Sandra es mayor que Luis
R: Andrea es Mayor que Carlos
Mostremos que la afirmacin [(P->Q) ^ (Q->R)] -> (P->R) es un argumento vlido y su tabla de
verdad corresponde a una tautologa as:
[(P
->
Q)]
(Q
->
R)]
->
(P
->
R)
Todas las personas bachilleres pueden estudiar ingeniera en la UNAD. Algunos jvenes no
pueden estudiar ingeniera en la UNAD. Algunos jvenes no son bachilleres.
A
B
Por otro lado, demos una derivacin y mostremos que el argumento anterior es vlido.
1:
2:
3:
4:
5:
2 y ejemplificacin existencial
1 y ejemplificacin universal
3,4 y modus tollens
5 y generalizacin existencial
As:
Todas las personas bachilleres pueden estudiar Ingeniera en la UNAD.
Algunos jvenes no pueden estudiar Ingeniera en la UNAD.
Algunos jvenes no son bachilleres.
de
Equipos
Tecnolgicos
R= si
solo
si Zoraida
reprob
el
curso
(v)
(v)
(v)
Este argumento es invalido supongamos, que Zoraida estudia ingeniera electrnica, que Zoraida
participa en la convocatoria laboral de equipos tecnolgicos, que Zoraida aprob el curso de
telemtica y el de micro controladores y que su promedio no fue de 4,3.
Si suponemos lo anterior tenemos que
las
Es falsa y como una verdad no puede implicar una falsedad EL ARGUMENTO ES INVLIDO
CONCLUSINES
Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica para la
resolucin de problemas o la representacin de la realidad a nivel de proposiciones.
El trabajo nos retoma la importancia de tener soluciones claras ya que nos es de ayuda en
el momento de responder con claridad ante un problema de investigacin ya que se
podra sustentar racionalmente, manejando reglas y estrategias adecuadas mediante
lenguajes simblicos y as pasar de una informacin a una respuesta concreta y correcta
en este caso de la lgica proporcional.
BIBLIOGRAFA
Lipschutz,s.(1985). Teora de conjuntos y temas afines. Mxico: Mc. Graw Hill. Serie de
compendios Schaum