TRABAJO COLABORATIVO 2

PRESENTADO POR:
Diego Portilla
Cdigo: 80903361
Diego Alexander Rodriguez
Cdigo:

TUTORA
Liliana Esperanza Bautista
LOGICA MATEMATICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Abril de 2015

INTRODUCCIN
Este trabajo se realiza con el fin de analizar detenidamente los razonamientos
lgicos que hemos estudiado en la segunda unidad.
Lo primero que debemos tener en cuenta es que la lgica nos permite el
razonamiento, a travs de un mecanismo que primero evala sentencias simples
y luego sentencias complejas, formadas mediante el uso de conectivos
proposicionales.
Mediante la elaboracin del trabajo se logra establecer que los razonamientos
lgicos no son exclusivos del uso acadmico por el contrario, hacemos uso de
estos en el debate cotidiano de las ideas. Es por eso que con el planteamiento de
un argumento lgico, logramos razonar sobre cuando un razonamiento es
deductivo o inductivo. Validar una conclusin. Adems declara proposiciones
simples utilizando lenguaje simblico y realizando tablas de verdad para realizar
las demostraciones,
luego
verificamos con el simulador. Y realizando
demostraciones por reduccin al absurdo. Para finalizar con un debate con los
compaeros de equipo acerca del razonamiento propuesto. Obteniendo varios
puntos de vista.

OBJETIVOS

Descubrir si un razonamiento es deductivo o inductivo por medio de

argumentos propuestos.
Analizar la validez de la conclusin.
Representar proposiciones simples.
Realizar demostraciones por inferencia y reduccin al absurdo.

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

El razonamiento propuesto es deductivo o inductivo?

El razonamiento propuesto es DEDUCTIVO. Ya que a partir del argumento
planteado obtuvimos una conclusin la cual es producto de las premisas. Adems
vemos como el argumento se basa en conceptos generalizados para terminar
llegando a otros ms especficos. Tomando parte del argumento propuesto por la
tutora encontramos que: empezamos con una idea generalizada; (Nos gusta que
al abrir un grifo, por ste salga agua) y a medida que vamos leyendo todas las
premisas vamos llegando a un ejemplo especfico. Para terminar concluyendo que
(necesitamos de otras personas y queremos tener calidad de vida).

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

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:

Premisa 1: O no nos gusta

tener calidad de vida o no p q
nos gusta vivir solos

Premisa 2: Nos gusta tener

p
calidad de vida
Premisa 3: Si no nos gusta
vivir solos, nos gusta vivir en q r
comunidad
Premisa 4: Si nos gusta vivir
en comunidad, entonces r s
respetamos la ley

Premisa 1: p v q
Premisa 2: p
Premisa 3: qr
Premisa 4: rs
2.3 Conclusin en lenguaje simblico:
S
Porque empezamos con una idea general, vamos conociendo todas las premisas
vamos extrayendo una idea especifica. Para terminar concluyendo que
respetamos la ley.

2.4 Demostraciones:
2.4.1: 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)

2.4.2: Demostracin a partir de las tablas de verdad forma 2: (Evaluando si la

conjuncin de las premisas implican la conclusin.)

2.4.3. Verificacin con simulador

TENEMOS LA EXPRESION ASI p v q
p+~ q

EN EL SIMULADOR SE PONE ASI ~

TENEMOS LA EXPRESION ASI [(P1)^(P2)^(P3)^(P4)]->S EN EL SIMULADOR

PONEMOS [(~ p+~ q)&(p)&(~ q>r)&(r>s)]>s

2.4.4. Demostracin a partir de las leyes de inferencia:

P = nos gusta tener calidad de vida
q = nos gusta vivir solos
r = nos gusta vivir en comunidad
s = respetamos la ley
Premisa 1: p v q

Premisa 2: p
Premisa 3: qr
Premisa 4: rs
Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
______________________
5. ~q 1,2 S.D simplificacin Disyuntiva
6. ~q s 3,4 SH silogismo hipoteico
7. s 5, 6 MPP Modus Poendo Ponens

2.4.5. Demostracin por reduccin al absurdo:

Reductio ad absurdum
Premisa 1: O no nos gusta tener
calidad de vida o no nos gusta vivir p q
solos
Premisa 2: Nos gusta tener calidad
p
de vida
Premisa 3: Si no nos gusta vivir
solos, nos gusta vivir en comunidad q r
Premisa 4: Si nos gusta vivir en
comunidad, entonces respetamos la r s
ley
Conclusin Respetamos la Ley.
S

O nos gusta tener calidad de

vida o nos gusta vivir solos.
No nos gusta tener calidad de
vida
SI nos gusta vivir solos,
entonces no nos gusta vivir
en comunidad
SI no nos gusta vivir en
comunidad
entonces
no
respetamos la ley
Falso

FASE 3
Debate con el grupo de trabajo acerca del razonamiento propuesto y registren en
este espacio el producto del debate. Qu ganamos y que renunciamos al vivir
en sociedad?

CRISTIAN VALDERRAMA
Bueno podemos concluir que el razonamiento propuesto nos ayuda a aceptar una
realidad que pocas personas ven en nuestra sociedad, y es que todos somos
parte del conjunto, como tal parte del sistema. Para vivir en sociedad, obtener una
calidad de vida decente, es necesario ser parte del sistema, apropiarnos de la idea
en que debemos aportar para as mismo tambin poder recibir, es un trabajo en
conjunto como los engranajes de una maquina en que si uno de los componentes
deja de funcionar adecuadamente todo el macro proceso se detiene, por eso es
que todas las personas son necesarias en la sociedad, cada uno tiene un papel y
es protagonista en sus propios procesos.
LINA MARIANA AGUILAR
SANDY SULET VARON
Lo que puedo agregar al debate es que como dicen mis compaeros somos un
conjunto, donde todos necesitamos de todos. Y como se plante en el
razonamiento, nos gusta vivir en comunidad y da a da queremos mejorar nuestra
calidad de vida. Todo esto se puede lograr siempre y cuando respetemos la ley.
La cual termina siendo nada ms y nada menos las normas con las que
controlamos nuestra conducta dentro de una sociedad.
YEISON CASTELLANOS
Creo que lo que ganamos al vivir en sociedad es bsicamente la posibilidad de un
desarrollo y calidad de vida mucho mejor si viviramos de forma individual,
adems considero que las personas deben vivir en sociedad ya que la naturaleza
de todo ser vivo es vivir de esta forma. Considero que tal vez perdemos algunas
habilidades que podramos desarrollar si nos tocara vivir slo puesto que siempre

en toda sociedad las personas se especializan en algo y pierden por ende la

posibilidad de aprender otras cosas que no se encuentren en nuestra zona de
confort.

CONCLUSIONES
Mediante el desarrollo de la actividad, bien podemos por medio de un
razonamiento propuesto, hacer una idea general del caso para llegar a una
conclusin, pero lo ms interesante es que tenemos todas las herramientas
disponibles para demostrar si el razonamiento es verdadero o falso o si
cumple con las determinadas condiciones para verificarlos.
Al elaborar este trabajo se logr aprender a elaborar las reglas de
inferencia y utilizarlas para justificar la validez de un argumento lgico.
Se logr definir y aplicar las reglas de inferencia para argumentos cuyas
premisas

cuantificadas.

conclusiones

estn

formadas

por

proposiciones

no

REFERENCIAS BIBLIOGRAFICAS
Video de Youtube. Recuperado de:
https://www.youtube.com/watch?v=eNCCUhCAcIU
Gaitn, M.P. (2014). Leyes de inferencia. Cali, Valle. Recuperado de:
http://www.slideshare.net/MariaGaitan2/leyes-de-la-logica-e-inferencias
Rubio, A. Inferencias Lgicas, (2014). Ibagu, Tolima. Recuperado de:
https://docs.google.com/a/unad.edu.co/file/d/0B4iHOdwk51OYSVdjQjNzOVVsLTA/
edit?pli=1
Compilado por; Fuentes, R, docente CUN. Deduccin Proposicional. Recuperado
de:
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_propo
sicional.pdf
Bustamante, A. De los argumentos inductivos a las algebras de Boole. Pearson,
Prentice Hall, Colombia. 2009. Recuperado de:
http://es.slideshare.net/pepesdb/5-razonamiento-inductivo
Resolucin de problemas mediante el razonamiento inductivo. Recuperado de:

http://es.slideshare.net/Academiamatematica/razonamiento-inductivo-y-deductivo?
next_slideshow=1
Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia.
Recuperado de:
http://www.slideshare.net/patricialeguizamon397/modulo-logica-matematica
Video. Recuperado de:
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm