UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Act. 10: Trabajo Colaborativo No. 2 Presenta RICARDO ANDRES GARRIDO 16846677

Tutor ANA MILENA CORREGIDOR

Director de curso Georffrey Acevedo Gonzlez

CALI Noviembre de 2011

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

INTRODUCCION

La lgica matemtica, est representada en la evolucin del pensamiento y en las tecnologas que estn presentes hoy en da, ya que la evolucin de las tecnologas ha dependido de los conceptos que esta ha aplicado, ejemplo de ello son los circuitos lgicos que son encontrados en las tarjetas madre de PC, celulares, porttiles y dems.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

RAZONAMIENTO DEDUCTIVO E INDUCTIVO

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 Premisas y conclusin

Justificacin Las demostraciones de una conclusin se VoF deben justificar mediante las leyes de inferencia V V V Universal y reproducible Universal y reproducible Universal y reproducible La mayora de las preposiciones, refuerzan el intente res personal dndole la razn a la proposicin

El enunciado de Patricia es un 1 enunciado cientfico 2 3 El enunciado de Diego es un enunciado cientfico

NO APLICA NO APLICA

El enunciado de Juan corresponde a NO APLICA una proposicin lgica

Premisa 1: p q Premisa 2: r s Conclusin: q s

A partir de los enunciados de Claudia, Guillermo y Tania, podemos concluir que buscamos el 4 inters personal.

De acuerdo con Freddy, y Ana, si no cumplimos nuestra palabra, 5 [( p q ) q] p generamos violencia. Esto es as por MTT y DC. A partir de los enunciados de Claudia y Guillermo se puede concluir que los dirigentes son 6 malos. A esta conclusin se llega por demostracin indirecta aplicando MPP. 7 De acuerdo con Jorge, si se busca el bien particular, se busca el bien general. Claudia plantea un razonamiento inductivo basado en la observacin NO APLICA V Ya que los factores que llevan a su

p qr s p V r q V s

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

afirmacin son tomados de la observacin de la informacin generada en experiencia. De la afirmacin de Mara, podemos afirma que si no nos 9 preocupamos por el bien comn, entonces generamos violencia.

II) Demuestra a continuacin la validez de la conclusin planteada por Carlos: Declaracin de proposiciones simples: Premisas1: Entonces todos. Premisas1: generamos violencia. Conclusin: Todos generamos violencia. Demostracin: PQ = Q

III) Finalmente, haciendo uso de las tablas de verdad determina la validez del siguiente razonamiento:

p q r VVV VVF VFV

[(pq) p V r] p V V V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

VFF FVV FVF FFV FFF

V F V F V

Premisas: premisa 1: p s premisa 2: q r premisa 3: p

TERCER CUADRO Justificacin: premisa 1: q r premisa 2: p s premisa 3: p ____________________ 5. ~p3, 4 MPP 6. ~q 5, 2 MTT