ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

LGICA MATEMTICA TRABAJO COLABORATIVO 2

PRESENTA ..

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD COLOMBIA 2013

1/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

INTRODUCCIN

En el presente trabajo colaborativo se ponen a prueba las habilidades y destrezas adquiridas en la unidad 1 del curso, para ponerlas en prctica en el reconocimiento y la validacin de las diferentes leyes de inferencia (MPP, MTT, SH, DC, SD, etc.) as como de las diversas formas de razonamiento inductivo. La realizacin de este trabajo es importante para fortalecer la destreza en la formulacin de argumentos e hiptesis que den validez lgica a nuevas concepciones o actualizaciones cognitivas. Adems, se pusieron a prueba los conocimientos adquiridos durante el desarrollo de la unidad 2 del curso de Lgica Matemtica; en ste se desarrollan algunos ejercicios propuestos acerca de los razonamientos lgicos. A partir de un texto identificaremos si se trata de un razonamiento inductivo o uno deductivo. Igualmente se desarrollan las tablas de verdad para las preposiciones involucradas y as, mediante slidas argumentaciones, determinar su validez.

2/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

OBJETIVOS

Aprender a identificar las diferentes reglas de inferencia y su aplicacin en la demostracin o refutacin de razonamientos. Comprender, identificar y construir leyes de inferencia. Aplicar las leyes de inferencia en la demostracin. Reconocer y aplicar la demostracin por reduccin al absurdo Determinar la validez de un razonamiento lgico

3/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

DESARROLLO DE LA ACTIVIDAD

PROBLEMA DE APLICACIN

Los razonamientos lgicos que hemos estudiado en la segunda unidad no son exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en el debate cotidiano de las ideas. A continuacin se plantea un argumento lgico: Para nuestra deduccin, partamos de aceptar las siguientes premisas: Nos gusta que al abrir un grifo, por ste salga agua. Nos gusta que existan personas que se dediquen a fabricar zapatos, tambin nos gusta que existan mdicos. Tambin nos gusta que existan personas que se dedican a compartir su conocimiento. Luego, tener agua, tener donde comprar zapatos, y tanto mdicos como maestros, implica dos cosas: necesitar de otras personas y tener calidad de vida. Y a su vez, necesitar de otras personas es vivir en comunidad. Podemos concluir entonces que como a todos nos gusta tener calidad de vida, a todos nos gusta vivir en comunidad. Qu debo hacer para vivir en comunidad? Ahora bien, si elegiste vivir en una comunidad, debers respetar la ley, sin importar que tu fuerza fsica sea mayor que la de otros, sin importar que tengas ms estudios o conocimientos que otros, sin importar que tengas ms recursos econmicos que otros, para vivir en comunidad, es necesario que respetemos la ley, ya que por medio de la ley es que las personas podemos ejercer el respeto de nuestros derechos, y podremos exigirlos aun a los ms ricos o fuertes. Igualmente, al exigirles a otros que se limiten en sus acciones, tambin, al vivir en comunidad aceptamos restringir voluntariamente nuestras acciones. Podemos concluir entonces que quien no respeta la ley, no acepta vivir en comunidad y por lo tanto est renunciando a sta y a sus beneficios.

(Georffrey A.G.)

4/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

1. FASE I Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o inductivo?

Personalmente opino que el razonamiento es del tipo deductivo. Primero establece unos parmetros de comportamiento, los cuales se constituyen en requisitos necesarios para poder hacer parte de una comunidad, adquirir derechos y deberes dentro de la misma. El cumplimiento de tales requisitos solo es posible respetando el cdigo que los regula, es decir, respetando la ley (que en ltima es la conclusin a la que se debe llegar). Slo observando el cumplimiento de dichos requisitos se podr deducir que estamos respetando la ley.

En mi opinin el texto corresponde a un razonamiento deductivo ya que nos obliga a aceptar de acuerdo a unos antecedentes de comportamiento revisados en la comunidad que se debe tener en cuenta para ser aceptados por la sociedad, sin embargo tambin pone a consideracin personal si la persona deseara vivir como pocos al margen, si la intencin es aceptar la soledad en ese caso se puede interpretar como inductivo.

2. FASE 2

A continuacin, analiza la validez de la conclusin: Respetamos la ley 2.1 Declaracin de proposiciones simples: p = nos gusta tener calidad de vida q = nos gusta vivir solos r = nos gusta vivir en comunidad s = respetamos la ley

2.2 Premisas en lenguaje simblico:

5/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Premisa 1: ~p v ~q Premisa 2: p Premisa 3: ~q r Premisa 4: r s

2.3 Conclusin en lenguaje simblico: Conclusin: S

2.4 Demostraciones:

2.4.1. DEMOSTRACIN A PARTIR DE LAS TABLAS DE VERDAD: Primera forma:

(Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa)

Proposicio nes simples

Premisa 1

Premisa 2

Premisa 3

Premisa 4

Conclusin

p q r s

~s

~p v ~q

~q r

rs

V V V V V V V V F F F F F F F F

V V V V F F F F V V V V F F F F

V V F F V V F F V V F F V V F F

V F V F V F V F V F V F V F V F

F F V V F F V V F F V V F F V V

F F F F V V V V V V V V V V V V

V V V V V V V V F F F F F F F F

V V V V V V V F V V V V V V F F

V F V V V F V V V F V V V F V V

V F V F V F V F V F V F V F V F

Claramente vemos que no existe el caso en que las premisas sean verdaderas y la conclusin sea

6/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

falsa, por lo tanto podemos concluir que el razonamiento es vlido.

Segunda forma:

(Evaluando si la conjuncin de las premisas implican la conclusin.

[(~p v ~q)^(p)^(~q r)^(r s)] s

p F F F F F F F F V V V V V V V V

q V V V V F F F F V V V V F F F F

r V V F F V V F F V V F F V V F F

s V F V F V F V F V F V F V F V F

V V V V V V V V V V V V V V V V

Claramente vemos que el resultado es una tautologa dado que todos los valores de verdad son verdaderos.

Verificacin con el simulador p T T T T T T T q T T T T F F F r T T F F T T F s T F T F T F T [(p V q) (p) (q r) (r s)] s T T T T T T T

7/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

T F F F F F F F F

F T T T T F F F F

F T T F F T T F F

F T F T F T F T F

T T T T T T T T T

The expression is a tautology

2.4.2. DEMOSTRACIN A PARTIR DE LAS LEYES DE INFERENCIA

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

(p por MTP) (p por MTP) (r por SH)

(r por SH)

2.4.3. DEMOSTRACIN POR REDUCCIN AL ABSURDO Premisa 1: ~p v ~q Premisa 2: p Premisa 3: ~q r Premisa 4: r s Conclusin: s (V) (V) (V) (V) (V)

Vemos que no es posible que siendo las premisas sean verdaderas, la conclusin sea falsa, por lo tanto el razonamiento es vlido.

8/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

CONCLUSIONES

El objetivo principal de la lgica simblica es suministrar criterios precisos para decidir en forma mecnica cundo una cadena de razonamientos, con base en su forma, pueden aceptarse como verdaderos o correctos. Una cadena de razonamientos es, simplemente, un conjunto de proposiciones que se dan para demostrar que el contenido de la ltima proposicin (la conclusin) puede deducirse de las proposiciones iniciales (las premisas). Finalizado el desarrollo del presente trabajo colaborativo, hemos aplicado las leyes de inferencia para determinar la validez o invalidez de una serie de razonamientos planteados, de los cuales se ha derivado una conclusin. La solucin de este problema de aplicacin puso a prueba nuestra apropiacin de los diversos conceptos vistos durante el desarrollo del curso y nuestras habilidades para solucionar problemas de aplicacin de la lgica matemtica en situaciones de la vida cotidiana, como lo es un simple dilogo entre amigos. Con este trabajo podemos concluir que en nuestra vida cotidiana el uso de los razonamientos lgicos son temas del da a da y poder identificar y formular hiptesis validas con argumentacin sustentables forma personas integras con amplia capacidad de anlisis.

9/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

REFERENCIAS

Acevedo, Gonzlez. G. (2011). Lgica Matemtica. Universidad Nacional Abierta y a Distancia. UNAD Colombia.

Prez Ordez, E; Palacios Silva, E; Villamizar, A. (1995). MEGA: Enciclopedia Matemtica (Volumen 1). Terranova Editores Ltda, Santaf de Bogot, D. C., Colombia.

Generador de tabla de verdad. Disponible en: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.php

10/10