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: Patricia: Ana: Diego:

algunas personas pueden hacer algo por la paz. No Juan. Todos podemos hacer algo por la paz. O hacemos algo por la paz o no queremos vivir en comunidad. Si nos gusta que existan personas que hagan ropa, entonces nos gusta vivir en comunidad. Si nos gusta que existan mdicos, entonces queremos vivir en comunidad. A quin no le gusta vivir en comunidad? Si nos gusta vivir en comunidad, es necesario que respetemos las leyes de la comunidad. podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos algo por la paz

Freddy:

Mara: Jorge:

Tania:

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. La proposic in es VoF
V

No.

Proposicin
El enunciado de Juan es un enunciado cientfico El enunciado de Patricia es un enunciado cientfico El enunciado de Mara es una proposicin lgica El enunciado de Diego expresa una conjuncin 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. De acuerdo con Jorge, Si no nos gusta vivir en comunidad, entonces no respetamos la ley.

Justificacin

Porque todo ser humano es capaz y en realidad cualquier persona puede hacer algo por la paz Porque todos somos seres humanos capaces y en realidad si todos quisiramos haramos algo por la paz. 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. Porque si nos gusta que existan personas que hagan ropa tenemos que 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.

Porque si nos gusta que existan mdicos es porque nos gusta vivir en comunidad. 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

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 p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F s V V F F V V F F V V F F V V F F t V F V F V F V F V F V F V F V F ~t F V F V F V F V F V F V F V F V Premisa 1 pvq V V V V V V V V V V V V F F F F Premisa 2 pt V F V F V F V F F V F V F V F V Premisa 3 S V V F F V V F F V V F F V V F F Premisa 4 p ~t F V F V F V F V V V V V V V V V Conclusin Q V V V V F F F F V V V V F F F F

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