Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
GRUPO: 200611_581
1. INTRODUCCIN
El presente trabajo se realizar una apropiacin y profundizacin de los conocimientos
adquiridos en la unidad dos, que aborda el tema de lgica proposicional, a travez de la
realizacin de la actividad planteada por el tutor de curso, en el cual se presentaran una serie
de ejercicios prcticos y su posterior resolucin.
2. OBJETIVOS
La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o
sentencias lgicas, sus posibles evaluaciones de verdad y en caso de un ideal, su nivel absoluto
de verdad. Para resolver multitud de problemas en la vida diaria y para sacar conclusiones o
realizar demostraciones en la cientfica, aplicamos continuamente el razonamiento lgico.
Con esta actividad se busca conceptualizar, analizar y argumentar de forma adecuada los
procedimientos desde la lgica proposicional utilizados para demostrar la veracidad y validez de
situaciones especficas del mundo real; y as verificar si la tabla de verdad generada es una
tautologa, contradiccin o contingencia.
3. FASE INDIVIDUAL
3.1 Tautologa
En lgica, una tautologa (del griego , "decir lo mismo") es una frmula bien formada
de un sistema de lgica proposicional que resulta verdadera para cualquier interpretacin; es
decir, para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas. La
construccin de una tabla de verdad es un mtodo efectivo para determinar si una frmula
cualquiera es una tautologa o no
Ejemplo:
p: El pasto es verde
q: El cielo es amarillo
p | q | p ^ q | (p ^ q) => p
V | V || V || V
V | F || F || V
F | V || F || V
F | F || F || V
V
V
F
F
V
V
F
F
>
V
V
V
V
F
F
V
V
p
V
V
V
V
F
F
F
F
) & (
V
F
V
F
F
F
V
V
r
V
F
V
F
V
F
V
F
v
V
F
V
F
V
V
V
V
F
F
F
F
V
V
V
V
p
V
V
V
V
F
F
F
F
) ) & (
F
F
V
F
F
F
V
V
F
F
V
V
F
F
V
V
q
V
V
F
F
V
V
F
F
v
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
r
V
F
V
F
V
F
V
F
>
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
F
F
V
V
F
F
B
UNAD
4. FASE GRUPAL
4.1 Planteamiento y Resolucin del Siguiente Problema de Lgica Proposicional
Si Soraida estudia Ingeniera Electrnica, entonces participar en la convocatoria laboral de una
empresa de equipos tecnolgicos. Pero, no participar en la convocatoria laboral de una empresa
de equipos tecnolgicos, si Soraida reprob el curso de Telemtica y no aprob el curso de
Microcontroladores. Si Soraida no reprob el curso de Telemtica o aprob el curso de
Microcontroladores, entonces participar en la convocatoria laboral de una empresa de equipos
tecnolgicos. Por lo tanto, participar en la convocatoria laboral de una empresa de equipos
tecnolgicos si y solo si evidencia un promedio de 4,3 en todos sus estudios.
[(q->p)->r]v(q->r)
q
(q->p)
(q->r)
(q->p)>r
V
[(q->p)->r]v(q->r)
La tabla corresponde a una tautologa ya que resulta verdadera para cualquier asignacin de
valores de verdad
5. CONCLUSIONES
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
La lgica matemtica, adems, 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 inferencias
lgicas tambin cotidianas y las hacemos sin darnos cuenta.
6. REFERENCIAS
https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
http://groupoaci710.blogspot.com.co/2013/06/trabajo-de-investigacionlogica.html
http://www.monografias.com/trabajos71/logica-proposicional/logicaproposicional.shtml
https://es.wikipedia.org/wiki/Tautolog%C3%ADa