ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Desarrollo para la fase 2

Dialogo: 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 (Juan)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. 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 : no nos gusta tener calidad de vida q : no nos gusta vivir solos r : nos gusta vivir en comunidad s : respetamos la ley Premisas: 1=pvq 2 = ~p 3 = ~q --> r 4 = r --> s Conclusin: s

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

1/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Desarrollo para la fase 2 Demostracin a partir de las tablas de verdad:

Demostracin a partir de las tablas de verdad: Primera forma:

Proposiciones simples Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

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 ~q V F F F V F F F V V F V V V F V V F F F V F F F V V F V V V F V

pvq V V V V V V V V V V V V F F F F

~p F F F F F F F F V V V V V V V V

~q --> r V V V V V V F F V V V V V V F F

r --> s V F V V V F V V V F V V V F V V

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

Existe el caso en que las premisas son verdaderas y la conclusin es falsa, por lo tanto el razonamiento es invlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

2/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Desarrollo para la fase 2 Segunda forma: Se deja como ejercicio al estudiante como aporte individual para el debate, verificar que al construir la tabla de verdad del ejemplo propuesto: [(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin [(p v q) ^ (p) ^ (q --> r) ^ (r --> s)] ---> s Se obtiene una implicacin contraria, demostrando que la conjuncin de las premisas no implican la conclusin y por lo tanto el razonamiento es invlido. Simulador: Haciendo uso del siguiente simulador, podrs verificar el desarrollo de las tablas de verdad: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ Para el simulador es: ((p+q) & (~p) & (~q>r) & (r>s))>s Resultado simulador:
p T T T T T T T T F F F F F F F F q T T T T F F F F T T T T F F F F r T T F F T T F F T T F F T T F F s T F T F T F T F T F T F T F T F ((p V q) (p) (qr) (rs))s T T T T T T T T T T T F T T T T

Demostracin a partir de las leyes de inferencia: premisa 1: premisa 2: premisa 3: premisa 4:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

3/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Desarrollo para la fase 2 ____________________

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

Demostracin por reduccin al absurdo (Mtodo abreviado o prueba formal de invalidez):

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

4/4