Está en la página 1de 8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica Act. 10 TRABAJO COLABORATIVO No. 2

TRABAJO COLABORATIVO N.2 GRUPO 987

LGICA MATEMTICA PRESENTA YERLY BAUTISTA RODRIGUEZ CODIGO: 1.097.664.745 YINETH DIDIANA GARCIA VARGAS CODIGO: 1.097.664.675
YULEIDY CASTELLANOS CODIGO: 1.098.220.383

Tutor WILLIAMS ALBERTO RAIRAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 22 DE MAYO DEL 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica Act. 10 TRABAJO COLABORATIVO No. 2

INTRODUCCION Para el ser humano es de vital importancia la interaccin con sus semejantes, pues somos sociables por naturaleza. Por esta razn, al iniciar un proceso educativo como lo es el mtodo virtual de la UNAD, se puede prestar para solo investigar, analizar y estudiar los mdulos del curso; por esta razn mediante este trabajo se busca como objetivo no solo la aplicacin del conocimiento adquirido en el segundo mdulo, sino adems el trasladar estos conceptos a situaciones de nuestra vida cotidiana, y en como las matemticas facilitan la lgica a utilizar en determinada situacin y adems la socializacin de los temas con el tutor y los compaeros del curso. Esto nos plantea algunas dificultades como son la no interaccin en tiempo real con mis compaeros y tutor, a menos que use otros medios de comunicacin, diferentes al portal. De igual manera la experiencia en este tipo de educacin es fascinante y nueva; experiencia que estamos cursando a conciencia. Este trabajo colaborativo 2 presenta un gran desafo al proceso de anlisis que debemos fortalecer en el transcurso de nuestras vidas y que debe ser muy aplicable a nuestras labores que desempeemos en nuestros sitios de trabajo, en nuestra cotidianidad y la importancia que conlleva la toma de decisiones a diario.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

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 la comunidad.

de

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

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 proposicin es VoF V V F F

No.

Proposicin

Justificacin

1 2 3 4

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. De acuerdo con Ana, si hacemos algo por la paz, queremos vivir en comunidad

Es cientfica y de razonamiento inductivo por la valides de una argumentacin Cientfico por que fue demostrable y universal. No es una proposicin lgica por qu no se puede distinguir un valor lgico, si es falso o si es verdadero. Porque es condicional, el enunciado es una implicacin Es una condicional y contra reciente.

No es equivalente. F

Porque es recproca. V

Porque es recproca. V Porque es la contraria de ella. V

10

Es exclusiva. V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

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:

Declaracin de proposiciones simples: p= Respetamos las leyes q= Nos gusta vivir en comunidad s=Hacemos algo por la paz Premisas: Premisa 1= pq Premisa 2 = pqs Conclusin: pq

Demostraciones: Fase 2.1: Demostracin a partir de las tablas de verdad forma 1 : (Evaluando la existe del caso en que las premisas sean verdaderas y la conclusin sea falsa)

No existe el caso en el que las premisas sean verdaderas y la conclusin sea falsa por lo tanto el razonamiento es valido
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

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.)

Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la conclusin por lo tanto el razonamiento es valido

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica Act. 10 TRABAJO COLABORATIVO No. 2

2.2.2. Verificacin con simulador

Con el uso del simulador comprobamos lo anteriormente planteado el razonamiento es vlido.

Fase 2.3: Demostracin a partir de las leyes de inferencia:

1) pq 2) pqs --------------------------------3) s 1 MPP

Fase 2.4: Por reduccin al absurdo:

Premisa 1: pq = v Premisa 2: pqs= v ---------------------------------------Conclusin s = F De acuerdo con la conclusin s es falsa y de acuerdo a la premisa 2 si s es falsa p es falsa y q es falsa. Pero con p y q falsas no se cumple la primera premisa por consiguiente llegamos a una contradiccin. Segn el anlisis anterior no es posible que cuando las premisas sean verdaderas, la conclusin sea falsa por lo tanto el razonamiento es vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica Act. 10 TRABAJO COLABORATIVO No. 2

CONCLUSIONES

El curso de lgica matemtica abre nuestros horizontes mentales a la observacin y el pensamiento matemtico aplicado a la vida cotidiana.

Los conceptos a veces abstractos de funciones lgicas tienen gran aplicacin como explicacin para muchos fenmenos conocidos y para el desarrollo de muchsimos tipos de control

El trabajo colaborativo es un gran reto en lo que tiene que ver con la agrupacin de ideas y conclusiones de personas que solo interactan de manera virtual.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez