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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo grupal No.2

Presenta IVAN DAVID QUIJANO GOMEZ 79632121 Grupo (90004_1423) Tutor CELSO JAVIER RODRIGUEZ PIZZA

Director de curso GEORFFREY ACEVEDO GONZLEZ Facatativa 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

1/13

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

Contenido
INTRODUCCIN ........................................................................................................................... 3 A CONTINUACIN SE PLANTEA UN ARGUMENTO LGICO .............................................. 4 FASE 2) A CONTINUACIN, ANALIZA LA VALIDEZ DE LA CONCLUSIN: RESPETAMOS LA LEY .............................................................................................................. 5 DECLARACIN DE PROPOSICIONES SIMPLES.................................................................. 5 PREMISAS EN LENGUAJE SIMBLICO................................................................................ 5 CONCLUSIN EN LENGUAJE SIMBLICO ......................................................................... 5 DEMOSTRACIN A PARTIR DE LAS TABLAS DE VERDAD FORMA 1 ............................... 6 DEMOSTRACIN A PARTIR DE LAS TABLAS DE VERDAD FORMA 2 ............................... 7 VERIFICACIN CON SIMULADOR ........................................................................................... 8 DEMOSTRACIN A PARTIR DE LAS LEYES DE INFERENCIA............................................. 9 DEMOSTRACIN POR REDUCCIN AL ABSURDO ............................................................. 10 DEBATE......................................................................................................................................... 11 CONCLUSIONES ........................................................................................................................ 12 LISTADO DE REFERENCIAS ................................................................................................... 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

2/13

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

INTRODUCCIN

En el presente trabajo correspondiente a la unidad dos encontraremos determinados ejercicios matemticos aplicaremos los conceptos razonamientos lgicos, sobre las leyes de inferencia; ya que estos se encuentran presentes no solo en los espacios acadmicos, sino por el contrario, hacemos uso de stos en nuestra vida diaria, en el debate cotidiano de ideas. Encontramos muchas veces situaciones complejas gobernadas por estas leyes. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Entonces la inferencia, es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Por ello, realizaremos ejercicios donde aplicaremos los conceptos aprendidos sobre las leyes de inferencia, demostraremos la validez de una conclusin y por ltimo, haciendo uso de las tablas de la verdad determinaremos la validez de un razonamiento. En sntesis, podremos apreciar un camino por la unidad II del curso Lgica Matemtica, lo cual son de mucha importancia ya que de los Razonamientos Lgicos, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

3/13

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

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. Fase 1) Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o inductivo? El planteamiento es deductivo puesto que parte del no cumplimiento de la ley y la comunidad hechos generales no obtiene beneficios hechos individuales.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

4/13

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

FASE 2) A CONTINUACIN, ANALIZA LA VALIDEZ DE LA CONCLUSIN: RESPETAMOS LA LEY Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos Premisa 2: Nos gusta tener calidad de vida Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley

DECLARACIN DE PROPOSICIONES SIMPLES P= calidad de vida q= vivir solos r= vivir en comunidad s= respetamos la ley

PREMISAS EN LENGUAJE SIMBLICO Premisa 1: p v q Premisa 2: p Premisa 3: q > r Premisa 4: r > s

CONCLUSIN EN LENGUAJE SIMBLICO Conclusin: s

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

5/13

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

DEMOSTRACIN A PARTIR DE LAS TABLAS DE VERDAD FORMA 1

(Evaluando la existencia del caso en que las premisas sean verdaderas y la Conclusin sea falsa)
Premisa 1 p v v v v v v v v f f f f f f f f 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 p f f f f f f f f v v v v v v v v q f f f f v v v v f f f f v v v v pvq f f f f v v v v v v v v v v v v Premisa 2 p v v v v v v v v f f f f f f f f Premisa 3 q>r v v v v v v f f v v v v v v f f Premisa 4 r>s v f v v v f v v v f v v v f v v conclusin s v f v f v f v f v f v f v f v f

No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

6/13

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

DEMOSTRACIN A PARTIR DE LAS TABLAS DE VERDAD FORMA 2

(Evaluando si la conjuncin de las premisas implican la conclusin.) [(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin (( p v q) & (p) & ( q > r) & (r > s)) > s P1 ( p v q)
f f f f v v v v v v v v v v v v

p q r s p q
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 f f f f f f v v v v v v v v f f f f v v v v f f f f v v v v

Y & f f f f v v v v f f f f f f f f

P2 (p)
v v v v v v v v f f f f f f f f

Y & v v v v v v f f f f f f f f f f

P3 ( q > r)
v v v v v v f f v v v v v v f f

Y & v f v v v f f f v f v v v f f f

P4 (r > s)
v f v v v f v v v f v v v f v v

C s
v f v f v f v f v f v f v f v f

No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

7/13

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

VERIFICACIN CON SIMULADOR

Observa que efectivamente hemos obtenido una tautologa,

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

8/13

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

DEMOSTRACIN A PARTIR DE LAS LEYES DE INFERENCIA Premisa 1: p v q

Premisa 2: p

Premisa 3: q > r

Premisa 4: r > s__

________ s

Premisa 5: p > q

implicacin material (1)

Premisa 6: p > r

silogismo hipottico (5.3)

Premisa 7: p > s

silogismo hipottico (6.4)

Premisa 8: s

modus ponendo ponens (8.2)

En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento es vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

9/13

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

DEMOSTRACIN POR REDUCCIN AL ABSURDO

Premisa 1: Premisa 2: Premisa 3: Premisa 4: Conclusin:

pvq p q>r r > s___________ s

Premisa 1

p F

v V

q V

Premisa 2

p V

Premisa 3

q F

> V > V

r F s F

Premisa 4

r F

Conclusin

s F

En ningn de sus valores se encontr alguna ambigedad por lo tanto no es posible deducir que sea un racionamiento valido.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

10/13

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

DEBATE

Debate con tus compaeros de equipo el razonamiento propuesto y registren en este espacio el producto del debate. Qu ganamos y a qu renunciamos al vivir en sociedad? (Contextualiza tu respuesta en la realidad mundial). Que los seres humanos vivimos en sociedad es un hecho claro e indiscutible, un hecho inmediato: Desde nuestro nacimiento nos encontramos ya en un medio social. Gracia al estado vulnerable al nacer es un hecho irreversible. Nuestra dependencia a un ncleo social pequeo o grande nos marca durante toda nuestra existencia. Con ello nos planteamos la cuestin de si somos real y verdaderamente seres humanos con anterioridad a nuestra relacin con los otros seres humanos. O si por el contrario, nuestra relacin con los otros hombres y mujeres es fundamental, originaria y constitutiva del ser humano. De ser verdad esto ltimo, la dimensin social del ser humano no sera una faceta cualquiera, sino que constituira la realidad misma de nuestro ser. Teniendo en cuento lo anterior y por la experiencia personal se puede intuir que la ganancia de vivir en sociedad est en afirmacin del carcter afectivo y las relaciones sentimentales reforzando la actividad colectiva, los parmetro sociales o leyes en donde el bien comn prima sobre el bien individual, un orden social y moral, la causa o razn por la cual los seres humanos se vinculan a una determinada comunidad y poder elegirla, el desarrollo de una cultura por aprendizaje y repeticin, proteger al hombre de la naturaleza y regular las relaciones entre s, la globalizacin. Pero al vivir en sociedad se renuncia a la libertad individual, a tener que adaptarse para ser aceptado, se renuncia prcticamente a todo lo que implica afectar el bienestar de la comunidad como tal.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

11/13

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

CONCLUSIONES

Para concluir es importante decir que en un razonamiento se tiene la posibilidad de obtener una proposicin nueva (la conclusin), a partir de proposiciones previamente establecidas (las premisas). Los argumentos nos permiten as ampliar los conocimientos de la realidad, pues, se puede obtener nuevas proposiciones verdaderas o a partir de las que ya se han aceptado como verdaderas. Para demostrar la validez de un razonamiento es necesario aplicar la tabla de verdad, donde explica las posibilidades que existen para que un argumento sea vlido o no vlido (tabla de la Validez o no Validez de un Razonamiento), tambin para ello es necesario conocer y dar uso a la tabla de verdad del condicional. Se tiene que recordar que todo argumento puede representarse mediante una proposicin condicional cuyo antecedente es la unin de las premisas por medio de conjunciones y cuyo consecuente es la conclusin.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

12/13

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

LISTADO DE REFERENCIAS

Universidad Nacional Abierta Y A Distancia Escuela De Ciencias Bsicas, Tecnologa E Ingeniera Ciencias Bsicas Lgica Matemtica Georffrey Acevedo Gonzlez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

www.unad.edu.co

13/13