Vous êtes sur la page 1sur 11

TRABAJO COLABORATIVO MOMENTO # 2

RAFAEL ANDRES MORENO SAAVEDRA

LIC. OSCAR JHONNY GMEZ SUREZ


TUTOR

GRUPO: 200611_581

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD


TECNOLOGA DE PRODUCCION DE AUDIO

Tunja, 17 de octubre de 2015

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

En este ejemplo, [(p ^ q) => p] es una tautologa.


En trminos ms simples, decir que una proposicin es verdadera es lo mismo que decir que es
una tautologa.
El sol brilla: Verdadero, por lo tanto tautologa.

3.2 Planteamiento y Resolucin del Siguiente Problema


Se han seleccionado tres estudiantes del curso de Pensamiento Lgico y Matemtico con el fin
de que puedan desplazarse a tres ciudades donde hay gran nmero de estudiantes matriculados en
el curso, con el fin de brindar apoyo en el manejo de las actividades B-Learninig, los tres

estudiantes seleccionados son de la ciudad de Pereira. En el proceso logstico, el Director de


Curso hace el siguiente anlisis: Adriana se desplazar a Medelln, si Mara viaja a Pasto. Laura
partir a Bucaramanga o Adriana no partir para Medelln. O Mara no viaja a Pasto o Laura no
viajar a Bucaramanga. Por consiguiente, Mara no se queda en Pasto. Es correcto esta
logstica?
p: Adriana Medelln
q: Mara Pasto
r: Laura Bucaramanga

[(q -> p) (r v p)] (q v r) -> q


( ( q

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

Es correcto el anlisis ya que la tabla


corresponde a una Tautologa, por lo
tanto, Mara no se queda en Pasto.

3.3 Representacin del Siguiente Silogismo en Diagramas de Venn

-Algunos docentes en Licenciados son de la Universidad UNAD.


-Todos los docentes de Matemticas son de la Universidad UNAD.
-Algunos docentes de Matemticas no son docentes en Licenciados.

3.3.1 Algunos docentes en Licenciados son de la Universidad UNAD.


Algunos A son B
Proposicin Particular Afirmativa

Docentes Licenciados de la UNAD

3.3.2 Todos los docentes de Matemticas son de la Universidad UNAD.


Todo A es B
Proposicin Universal Afirmativa

B
UNAD

3.3.3 Algunos docentes de Matemticas no son docentes en Licenciados.


Proposicin particular negativa
Algunos A no son B

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.

P: Soraida aprob el curso de telemtica o aprob el curso de microcontroladores


q: Soraida si participara en la convocatoria laboral de una empresa de equipos tecnolgicos
r: Si evidenciara un promedio de 4.3

[(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

Truth Tables Generator


http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

https://es.wikipedia.org/wiki/Tautolog%C3%ADa

Vous aimerez peut-être aussi