UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

TRABAJO GRUPAL DE CALIFICACIN INDIVIDUAL N.2

PRESENTA

LUDI YASMIN MORALES SANABRIA

TI: 93091303173

INGENIERIA AGROFORESTAL

DUBY TATIANA PARRA RODRIGUEZ

T.I. 93082411990

PSICOLOGIA

ANGIE JASBLEIDY OSORIO CASTRO

93100205090

PSICOLOGIA

TUTOR

JAROL JAIME SAJAUD LOPEZ

DIRECTOR DE CURSO

GEORFFREY ACEVEDO GONZLEZ

BOGOT 23/05/2012
INTRODUCCIN

En el presente trabajo se realizar la transferencia de los conocimientos adquiridos

en la unidad 2 del mdulo, dicha transferencia se efectuar a travs de la actividad
planteada por el director decurso, en la cual se presentan una serie de ejercicios
prcticos, en los que para su resolucin cada estudiante demostrar el nivel de
aprendizaje aplicando los conocimientos adquiridos en el proceso de conocimiento
e interiorizacin de la unidad.

DESARROLLO DE LA ACTIVIDAD

FASE 2. PROBLEMA DE APLICACIN:

Los razonamientos lgicos que hemos estudiado se encuentran presentes no son

exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en el
debate cotidiano de ideas. A continuacin se propone un dilogo entre varios
estudiantes de la Unad:

Juan: algunas personas pueden hacer algo por la paz.

Patricia: No Juan. Todos podemos hacer algo por la paz.

Ana: O hacemos algo por la paz o no queremos vivir en comunidad.

Diego: Si nos gusta que existan personas que hagan ropa, entonces nos gusta vivir
en comunidad.

Freddy: Si nos gusta que existan mdicos, entonces queremos vivir en comunidad.

Mara: A quin no le gusta vivir en comunidad?

Jorge: Si nos gusta vivir en comunidad, es necesario que respetemos las leyes de la
comunidad.

Tania: podemos concluir que si respetamos las leyes de la comunidad, entonces

hacemos algo por la paz

1. A continuacin se presentan 10 proposiciones lgicas, se debe registrar el valor de

verdad de cada proposicin y su correspondiente justificacin:

N Proposicin V o F Justificacin

1 El enunciado de Juan es un enunciado cientfico No aplica

2 El enunciado de Patricia es un enunciado cientfico No aplica

3 El enunciado de Mara es una proposicin lgica No es una preposicin

4 El enunciado de Diego expresa una conjuncin F Modus ponens (M.P)

[(p--> q) ^ p] --> q
5 De acuerdo con Freddy, si no nos gusta vivir en comunidad, entonces no nos
gusta que existan mdicos.

V Modus Ponens (M.P)

[(p--> q) ^ p] --> q

6 De acuerdo con Ana, si no queremos vivir en comunidad, entonces no hacemos

algo por la paz.

V Silogismo disyuntivo

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

7 De acuerdo con Jorge, Si respetemos las leyes de la comunidad, entonces nos

gusta vivir en comunidad.

V Modus ponens (M.P)

[(p--> q) ^ p] --> q

8 De acuerdo con Freddy, Si nos gusta vivir en comunidad, nos gusta que existan
mdicos.

Adiccin

9 De acuerdo con Jorge, Si no nos gusta vivir en comunidad, entonces no

respetamos la ley.

V Modus Tollens (M.T)

[(p--> q) ^q] -->p

10 De acuerdo con Ana, si hacemos algo por la paz, queremos vivir en comunidad

V Modus ponens

[(p --> q)^p]--> q

2) A continuacin, analiza la validez de la conclusin planteada por Tania:

Tania: Podemos concluir que si respetamos las leyes de la comunidad, entonces

hacemos algo por la paz

Declaracin de proposiciones simples:

P: si respetamos las leyes de la comunidad

q: Hacemos algo por la paz

Premisas:

Premisa1: p--> q

Premisa2: p

Conclusin: q

Demostraciones:

4. q MPP

2.1: Demostracin a partir de las tablas de verdad forma 1:

Proposiciones

simples Premisa1 Premisa2 conclusin

p q p--> q p q

vffvf

vvvvv

ffvff

fvvff

2.2: Demostracin a partir de las tablas de verdad forma 2:

Proposiciones

simples Premisa1 Premisa2 conclusin

p q p--> q p (p--> q) p] -->q

vffvv

vvvvv

ffvfv

fvvfv

Tautologa.
2.2.2. Verificacin con simulador

Tuve inconvenientes con el simulador, por eso la verifique por este medio, espero
sirva.

2.3: Demostracin a partir de las leyes de inferencia:

Premisas

Premisa1: p --> q

Premisa2: p

Premisa3: q

____________________

4. 3,1 MPP

2.4: Por reduccin al absurdo:

Premisas

Premisa1: p -->q = v

Premisa2: p = v ____________________

Conclusin q = F

Razonamiento valido

CONCLUSIONES

Reconocimos las polticas para el desarrollo de la actividad, como clave para el

trabajo en equipo.

Resolvimos el problema de aplicacin planteado, aplicando los razonamientos

lgicos, proposiciones lgicas, justificaciones y valores de verdad.

Demostramos la validez de conclusiones utilizando la declaracin de

proposiciones simples, premisas y demostraciones.

Por medio de las tablas de verdad determinamos la validez de razonamientos

lgicos.

BIBLIOGRAFA.

Mdulo de lgica matemtica,

http://campus01.unadvirtual.org/moodle/mod/resource/view.php?id=5026

Material de apoyo de la unidad:2

http://campus01.unadvirtual.org/moodle/mod/resource/ view.php?id=5026