ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Act. 10 TRABAJO COLABORATIVO No. 2

Presentado por:
JOSABET LORETA JULIAO
KEITHY TATIANA KING
MANUELA DEL SOCORRO PEALVER
ADRIANA JEREZ
Fabriciana Dolores Torres

Tutora:
Claudia Marcela Diaz Scarpetta

Grupo: 384

UNIVESIDAD ABIERTA Y A DISTANCIA UNAD

SANTA MARTA DTCH
MAYO 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

1/5

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Problema de aplicacin
Los razonamientos lgicos que hemos estudiado, 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, debes analizar
este dialogo para dar respuesta a las fases 1 y 2:
Dilogo:

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

2/5

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Fase 1) A continuacin se presentan 10 proposiciones lgicas, debes analizar el

valor de verdad de cada proposicin y registrar su valor. Tambin debes registrar la
justificacin de por qu se asign dicho valor.

No.

Proposicin

La
proposic
in es
VoF

Justificacin

El enunciado de Juan es un
enunciado cientfico

Porque todo ser humano es capaz y en realidad

cualquier persona puede hacer algo por la paz

El enunciado de Patricia es un
enunciado cientfico

Porque todos somos seres humanos capaces y en

realidad si todos quisiramos haramos algo por la
paz.

El enunciado de Mara es una

proposicin lgica

No es una proposicin lgica; porque no esta

afirmando, lo que hace es una pregunta, por lo
tanto no se puede decir si es verdadero o falso.

El enunciado de Diego expresa una

conjuncin

Porque si nos gusta que existan personas que

hagan ropa tenemos que vivir en comunidad.

De acuerdo con Freddy, si no nos

gusta vivir en comunidad, entonces
no nos gusta que existan mdicos.

De acuerdo con Ana, si no

queremos vivir en comunidad,
entonces no hacemos algo por la
paz

De acuerdo con Jorge, Si

respetemos las leyes de la
comunidad, entonces nos gusta vivir
en comunidad.

De acuerdo con Freddy, Si nos

gusta vivir en comunidad, nos gusta
que existan mdicos.

Porque si nos gusta que existan mdicos es

porque nos gusta vivir en comunidad.

De acuerdo con Jorge, Si no nos

gusta vivir en comunidad, entonces
no respetamos la ley.

Porque si no respetamos la ley es porque no nos

gusta vivir en comunidad.

Porque si queremos vivir en comunidad hacemos

algo por la paz.

De acuerdo con Ana, si hacemos

10 algo por la paz, queremos vivir en
comunidad

Porque si no queremos que existan mdicos es

porque no nos gusta vivir en comunidad.
Porque para vivir en comunidad debemos hacer
algo por la paz.

Porque si respetamos las leyes de la comunidad

es porque nos gusta vivir en comunidad.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

3/5

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Fase 2) A continuacin, usando como referencia el dilogo propuesto, analiza la

validez de la conclusin planteada por Tania:
Tania: entonces todos generamos paz
Declaracin de proposiciones simples:
P: alguno generamos paz
Q: todos generamos paz
S: ninguno generamos paz
T: de vez en cuando generamos paz
Premisas:
Premisa 1: p v q
Premisa 2: p t
Premisa 3: S
Premisa 4: p ~t
Conclusin: q
Fase 2.1: Demostracin a partir de las tablas de verdad forma 1 :
Proposiciones simples

Premisa 1

Premisa 2

Premisa 3

Premisa 4

Conclusin

~t

pvq

pt

p ~t

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

4/5

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad forma 2:

(Evaluando si la conjuncin de las premisas implican la
conclusin.)
2.2.2. Verificacin con simulador
Fase 2.3: Demostracin a partir de las leyes de inferencia:

Conclusin:
Premisa 1: p v q
Premisa 2: p t
Premisa 3: S
Premisa 4: p ~t
Demostraciones:
5. ~t3, 4 SH
6. ~p 5, MPP
7. q 6, 1 MT

Fase 2.4: Por reduccin al absurdo:

Premisa 1: p v q
=v
Premisa 2: p t
=v
Premisa 3: S
=v
Premisa 4: p ~t
=v
Conclusin: q

=f

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

5/5