LGICA MATEMTICA TRABAJO COLABORATIVO NO.

PRESENTADO POR:
ALEXANDER OSORIO CARLOS ANDRS BULA ERBIN DAVID SANTOS TORRES HARRIN OSORIO WILLIAM RAMREZ GRUPO 19

TUTOR: MIGUEL MONTES MONTAO

DIRECTOR DE CURSO: GEORFFREY ACEVEDO GONZLEZ

NOVIEMBRE 14 DE 2011

INTRODUCCIN

A travs del siguiente trabajo se presentan algunos ejercicios donde se pone en prctica la interpretacin y formulacin lgica por medio de conversaciones cotidianas que incluso podramos tener todos en algn momento determinado. La formulacin lgica consiste en: Declaracin de proposiciones simples Premisas Conclusin y Demostracin (estas se realizan a travs de las leyes de inferencia). Adems se demuestra la validez de los razonamientos a travs de la tabla de la verdad determinada, analizando con el valor de verdad sus premisas, su conclusin para todos los casos posibles.

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 a 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:

No

Proposicin

Declaracin de Proposiciones simples VoF Premisas y conclusin

No aplica

Justificacin Las demostraciones de una conclusin se deben justificar mediante las leyes de inferencia

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

V F F

No aplica

No aplica

corresponde a una proposicin lgica A partir de los enunciados de Claudia, Guillermo y Tania, podemos concluir que buscamos el inters personal.

Declaracin

p = buscamos en inters comn q = buscamos en inters personal r = los dirigentes que buscan el inters comn, serian buenos t = los dirigentes que buscan el inters personal serian malos Premisas

p^ q pr t ~p
_________

Premisa 1: p ^ q: Si buscamos el inters comn y el inters personal. Premisa 2: p r: Si buscamos el inters comn entonces los dirigentes serian buenos Premisa 3: t: Los dirigentes que buscan el inters personal serian malos Premisa 4: t ~p: Si los dirigentes que buscan el inters personal serian malos, entonces no buscan el bien comn. Conclusin: q: Buscamos el inters personal. 5 De acuerdo con Freddy, y Ana, si no cumplimos nuestra palabra, generamos violencia. Esto es as por MTT y Declaracin

p = construimos paz q = generamos violencia t = cumplimos nuestra

DC.

palabra Premisas

Premisa 1: p v q: construimos paz o generamos violencia Premisa 2: t: cumplimos con nuestra palabra Premisa 3: (~p v q) ~t: Si no construimos paz o generamos violencia entonces no cumplimos con nuestra palabra. Conclusin: q: generamos violencia 6 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 Aplicando MPP. Declaracin

((~p v q)~t)
_________

p = los dirigentes son buenos q = los dirigentes son malos t = buscan el bien propio Premisas

pvq (~p t)
_________

Premisa 1: p v q: Los dirigentes son buenos o malos Premisa 2: t: buscan el bien propio Premisa 3: ~p t: Si los dirigentes no son buenos entonces buscan el bien propio. Conclusin: q: los dirigentes son malos

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

Declaracin

p = se busca el bien particular q = se busca el bien general

pq
_________

Premisas

p^ q

Premisa 1: p q: Si se busca el bien particular entonces Se busca el bien general. Conclusin: p^ q

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

No aplica

F
Declaracin

p = no nos preocupamos por el bien comn. q = generamos violencia Premisas

pq _________ q F

Premisa 1: p q: Si no nos preocupamos por el bien comn entonces generamos violencia. Premisa 2: p: no nos preocupamos por el bien comn Conclusin q: generamos violencia

En las preguntas donde dice "NO APLICA" slo debes contestar si la afirmacin es V o F y justificar, es decir, como no se trata de razonamientos, no se requiere declarar proposiciones ni premisas. xitos, Geoffrey

II) Demuestra a continuacin la validez de la conclusin planteada por Carlos: Declaracin de proposiciones simples: 1. P= Las personas son violentas 2. q= Carlos es una persona 3. t= Entonces, todos generan violencia. Premisas: 1. P ^ q 2. t Conclusin: t Demostracin: Premisa 1: p ^ q Premisa 2: t t 1, 2 MPP

Ejemplo: El benefactor hubo de ser: o Pedro, o Andrs - Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje. En conclusin: tuvo que ser Andrs. Declaracin de proposiciones simples: p = El benefactor fue Pedro q = El benefactor fue Andrs s = Pedro estaba presente t = Pedro estaba de viaje

Premisas: Premisa 1: p v q Premisa 2: p s Premisa 3: t Premisa 4: t ~s Conclusin: q

Demostracin: Premisa 1: p v q Premisa 2: p s Premisa 3: t Premisa 4: t ~s ____________________ 5. ~s 3, 4 MPP 6. ~p 5, 2 MTT 7. q 6,1 S.D III) Finalmente, haciendo uso de las tablas de verdad determina la validez del Siguiente razonamiento: premisa1:(pq) premisa2: q r Conclusin: p

Premisa 1

Premisa 2

Conclusin

Conjuncin de premisas (p q) (q r) V F F F V F F F

Implicacin de la conclusin [(p q) (q r)] 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 V V F F V V V V V F F F V F F F

p V V V V F F F F

V V V V F V V V

CONCLUSIONES

A travs del siguiente trabajo se concluye que la lgica es parte de nuestro hablar y quehacer diario. La valoracin de la verdad tiene una secuencia lgica para determinarla Toda expresin tiene una lgica y toda lgica tiene una formulacin que le represente La lgica es parte de la claridad de nuestros razonamientos y estos se determinan cuando se valora su nivel de verdad.

REFERENCIAS BIBLIOGRAFICAS

Morales, Alfonso y Cuellar, Rodrigo (1978). Matemtica Resumida.

Coleccin del bachillerato a la Universidad. Editorial Norma. 0305-0483-130-10 Garriga, Rodrguez Francisco, (1971). Matemtica Moderna.

Fondo Educativo Interamericano S.A. Editorial Norma. GONZALES Acevedo Georffrey, (2011). Modulo Lgica Matemtica. Universidad Nacional Abierta y a Distancia. Unad.