UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA TRABAJO COLABORATIVO 2

Presenta FREDY ORLANDO BAQUERO C.C 80429385 JAIME CEPEDA C.C 80452720 MIGUEL ANGEL DIAZ C.C80.469.724

TUTOR CLAUDIA PATRICIA GRAJALES Director de curso Geoffrey Acevedo Gonzlez

Bogot Madrid

16 de Noviembre de 2011

Introduccin En este trabajo se encuentra escrito todo lo correspondiente a la elaboracin de la decima actividad del curso de lgica matemtica que es el segundo trabajo colaborativo. Para la elaboracin de este trabajo se estudiaron los temas correspondientes a la segunda unidad del modulo, en este escrito se trabajaron ejercicios con los temas correspondientes a esta unidad. Mediante la realizacin este trabajo pretendemos conocer, manejar las leyes de la inferencia que se encuentra en la unidad, conocer las dificultades que se encuentran en el desarrollo del tema propuesto en l y que se presenta en la vida diaria y que la utilizamos para razonar lgicamente. Desarrollaremos tablas de la verdad para conocer sin son tautologas.

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: Hola compaeros, saban que todos podemos hacer algo por la paz? Patricia: todos queremos la paz! Ana: O construimos paz o generamos violencia. Diego: y a caso generamos violencia? Freddy: Si construyramos paz, entonces cumpliramos nuestra palabra. Mara: pero si generramos violencia, entonces no nos preocuparamos por la poltica. Jorge: Es verdad. Pero la preocupacin por la poltica puede buscar el inters general o el particular. Mara: Digamos pues que si generramos violencia, entonces no nos preocuparamos por el bien comn. Tania: Si buscramos el bien comn los dirigentes seran buenos. Y si buscramos el inters personal, los dirigentes resultaran malos. Guillermo: Un dirigente que busca el bien propio resulta ser un dirigente malo. Claudia: La realidad ha mostrado que un gran porcentaje de los dirigentes busca el bien propio. Carlos: Entonces todos generamos violencia.

I) Cada estudiante debe plantear su respuesta individual a la tabla que se propone a continuacin. Posteriormente debe debatir con tus compaeros el valor de verdad de las proposiciones lgicas y su correspondiente justificacin:

N o

Proposicin

Declaracin de proposiciones simples Premisas y conclusin

Justificacin Las demostraciones de una conclusin VoF se deben justificar mediante las leyes de inferencia F F V NO APLICA NO APLICA NO APLICA

1 2

El enunciado de Patricia es un enunciado cientfico El enunciado de Diego es un enunciado cientfico

NO APLICA NO APLICA NO APLICA

3 El enunciado de Juan

corresponde a una proposicin lgica A partir de los enunciados de Claudia, Guillermo y Tania, 4 podemos concluir que buscamos el inters personal. De acuerdo con Freddy, y Ana, si no cumplimos nuestra palabra, generamos violencia. 5 Esto es as por MTT y DC. P=buscar Q=inters personal R=dirigentes malos PvQ R P= construimos paz Q=generamos violencia R= cumpliramos nuestra palabra (PvQ)^(P>R) P= dirigente que busca el bien propio Q= dirigente malo R= gran porcentaje de los dirigentes busca el bien propio. P>Q Conclusin=R V

A partir de los enunciados de Claudia y Guillermo se puede concluir que los dirigentes son malos. A esta conclusin se llega por demostracin indirecta 6 aplicando MPP.

De acuerdo con Jorge, si se busca el bien particular, se 7 busca el bien general.

P= poltica puede buscar el inters general Q= poltica puede buscar el inters particular. PvQ NO APLICA P= si generramos violencia Q= nos preocuparamos por el bien comn. P>~Q

Claudia plantea un 8 razonamiento inductivo basado en la observacin De la afirmacin de Mara, podemos afirma que si no nos preocupamos por el bien comn, 9 entonces generamos violencia.

NO APLICA V

II) Demuestra a continuacin la validez de la conclusin planteada por Carlos:

Entonces todos generamos violencia. Declaracin de proposiciones simples: P= todos generamos violencia. Premisas: Conclusin: p Demostracin: _p__ p Finalmente, haciendo uso de las tablas de verdad determina la validez del siguiente razonamiento: >p

P V V V V F F F F

Q V V F F V V F F

R V F V F V F V F

P>Q V V F F V V V V

Q^R V F F F V F F F

Conclusiones Al culminar la elaboracin de este producto, trabajo colaborativo#2 nos quedan ms claros los temas correspondientes a la segunda unidad del modulo de lgica matemtica ya que en el trascurso de la elaboracin del producto se pudo interactuar con compaeros y aclarar dudas que nos permiten entender mas el tema. Queda como experiencia iniciar a subir los trabajos con ms tiempo y motivar a los compaeros de grupo para que suban sus aportes ya que estos nos enriquecen a todos. Adems podemos observar que el razonamiento de lo cotidiano es ms difcil de lo que se piensa y no es tan lgico. En el transcurso del curso se mejoro el manejo de las tablas de la verdad al realizar ejercicios simples con dos variables y tres variables.

Referencias

Acevedo, Gonzlez, Geoffrey (2011) lgica matemtica. UNAD Colombia: UNAD. Acevedo, Gonzlez, Geoffrey (2011) aula virtual. UNAD Colombia: UNAD Acevedo, Gonzlez, Geoffrey (2011) material de apoyo unidad #2.UNAD Colombia: UNAD