TRABAJO COLABORATIVO LOGICA MATEMATICA

KELLY JULIETH GIRALDO VALENCIA C.C 1.118.544.295 KAREN LIZETH GIRALDO VALENCIA C.C 1.118.551.330

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD) LOGICA MATEMATICA YOPAL CASANARE 2011-2

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:
N Proposicin Declaracin de Vo Justificacin

proposiciones simples Premisas conclusin NO APLICA NO APLICA NO APLICA p: Buscar bien comn. q: Buscar bien propio. r: Dirigentes buenos. s: Dirigentes malos. p r p .. r q s q .. q y

Las demostraciones de una conclusin se deben justificar mediante las leyes de inferencia Es un enunciado universal, ya que puede ser falso o verdadero. Es una interrogacin. Es una interrogacin. Es una ley de inferencia MPP.

1 2 3 4

El enunciado de Patricia es un enunciado cientfico El enunciado de Diego es un enunciado cientfico El enunciado de Juan corresponde a una proposicin lgica A partir de los enunciados de Claudia, Guillermo y Tania, podemos concluir que buscamos el inters personal.

V F F F

De acuerdo con Freddy, y Ana, si no cumplimos nuestra palabra, generamos violencia. Esto es as por MTT y DC.

p: Construimos paz. q: Generar violencia. r: Cumplir palabra. Ana: p q rq q Freddy: p r r ~ ~ ..

No se cumple la ley de inferencia MTT y DC, porque se cumple MTT y SD.

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.

q: Buscar bien propio. s: Dirigente malo. r: Dirigente bueno. qs q .. r p: Preocupacin por la poltica. q: Inters general.

V Su demostracin indirecta es aplicando MPP.

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

No se aplica ninguna ley de inferencia. p q r q p(p

se busca el bien general.

r: Inters particular. p (q r)

8 9

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

NO APLICA p: Generamos violencia. q: No nos preocupamos por el bien comn. pq

F F

r q) f f f f v f f v v v f v f v v f v v v v v f f f f v f v v v v v f v v v v v v v No es un razonamiento inductivo basado en la observacin, sino en la experiencia. El efecto no depende de la causa.

II) Demuestra a continuacin la validez de la conclusin planteada por Carlos: Declaracin de proposiciones simples: p: Construimos paz. q: Generamos violencia. r: Preocupacin por la poltica. s: Buscar el bien comn. t: Dirigentes buenos. u: Buscar el bien propio.

Premisas: Premisa 1: p q Premisa 2: q ~r Premisa 3: q ~s Premisa 4: s t Premisa 5: ~s ~t Premisa 6: u ~t Conclusin: q

Demostracin: Premisa 1: p q Premisa 2: q ~r Premisa 3: q ~s Premisa 4: s t Premisa 5: ~s ~t Premisa 6: u ~t ________________ 7. ~t 6,7 MPP. 8. ~s 4, 8 MTT. 9. q 8, 1 S.D

1. Finalmente, haciendo uso de las tablas de verdad determina la validez del siguiente razonamiento:

Para dar solucin a este tercer punto puedes apoyarte en el mdulo, en la lectura a que viene la lgica y el material de apoyo dispuesto para la unidad: http://campus01.unadvirtual.org/moodle/mod/resource/view.php?id=5026 p f f f f v v v v q f f v v f f v v r f v f v f v f v pq v v v v f f v v qr f v v v f v v v p f f f f v v v v

Dos premisas falsas no pueden dar verdaderas.