UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Lgica Matemtica

Actividad No. 10 Trabajo Colaborativo No. 2

Aporte Grupal

Edwin David Rodriguez

Grupo 90004_257
Luis Alejandro Quemba Martinez
Cdigo 80118481
Grupo 90004_257

Tutor
Francisco Fernndez

Cead Jos Acevedo y Gmez

21 de mayo de 2013

Introduccin

Por medio del presente trabajo los integrantes del grupo aplicamos los conocimientos
adquiridos en la unidad 2, para comprobar el trabajo sobre la unidad se realiza el
ejercicio propuesto sobre leyes de inferencia, y a travs de ellas validar un razonamiento
lgico. Adems de las leyes de inferencia comprobamos el ejercicio con reduccin al
absurdo, simulador y con tablas de verdad.
El trabajo tambin incluye razonamientos personales sobre el mtodo utilizado en el
razonamiento adems de un debate sobre el razonamiento en s.

Desarrollo actividad
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.
Fase 1
El razonamiento propuesto es deductivo o inductivo?

El razonamiento propuesto en la lectura es inductivo ya que toma casos

particulares para llegar a la conclusin general, el ejemplo de esto es ver las
acciones que nos gustan y los casos particulares de lo necesario para
realizarlas, las cuales nos llevan a deducir las comodidades y deberes de vivir
en sociedad para llegar a una gran conclusin , a que el ejemplo tiene una
secuencia, unos patrones que permiten que la conclusin final haga referencia
a la cadena de sucesos que describen el vivir en comunidad. Quien no respeta
la ley, entonces no acepta vivir en comunidad y por lo tanto est renunciando a
sta y a sus beneficios.

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
Premisa4: Si nos gusta vivir en comunidad, entonces respetamos la ley

2.1 Declaracin de proposiciones simples:

P
q
p
r
t

=
=
=
=
=

No nos gusta tener calidad de vida

No nos gusta vivir solos
Nos gusta tener calidad de vida
Nos gusta vivir en comunidad
Respetamos la ley

2.2 Premisas en lenguaje simblico:

Premisa 1

O no nos gusta tener

calidad de vida o no nos
gusta vivir solos.

pvq

Premisa 2

Nos gusta tener calidad 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 ley.

r -> t

2.3 Conclusin en lenguaje simblico:

t: Respetamos la ley
2.4 Demostraciones.
2.4.1: Demostracin a partir de las tablas de verdad forma 1:

Proposiciones
simples

Premisa
1

Premisa
2

Premisa
3

Premisa
4

Conclusin

pvq

q ->r

r -> t

No existe el caso en que las premisas sean verdaderas y la conclusin sea

falsa, por lo tanto el razonamiento es vlido.

2.4.3. Verificacin con simulador

Utilizando el generador
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

2.4.4. Demostracin a partir de las leyes de inferencia:

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

pvq
p
q-->r
r-->t

5. q 1, 2, S.D o MTP
6. r 5, 3, MP O MPP

7. t 6, 4, MP o MPP
En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo
tanto el razonamiento es vlido.
Premisa 1:
Premisa 2:
Premisa 3:
Premisa 4:

p v q= v
p=v
q-->r = v
r-->t = v

-----------------------------Conclusin t = f
De acuerdo con la conclusin t es Falsa, y de acuerdo con la premisa 4 r es
falsa. Esto obliga a que de acuerdo con la premisa 3, q sea Falsa. Si p es
Verdadera, de acuerdo con la premisa 2, p tiene que ser falsa. Pero con p
Falsa y con q Falsa no se cumple que la premisa 1 sea verdadera, luego,
llegamos a una contradiccin.

En conclusin, del anlisis por reduccin al absurdo se concluye que no es

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

Fase 3)
Qu ganamos y a qu renunciamos al vivir en sociedad?
Al vivir en sociedad ganamos desarrollo ya que al vivir en una sociedad los miembros
de esta tienen funciones especficas, un ejemplo de esto son las ocupaciones o
profesiones al vivir en sociedad no todos nos dedicamos a la agricultura o a la caza
como el hombre primitivo, al vivir en sociedad tenemos miembros especializados como
los mdicos, fsicos, qumicos, etc. As la sociedad ha ganado calidad de vida, esperanza
de vida, sistemas econmicos que permiten las relaciones comerciales entre pases con
una tasa de cambio ya establecida.
Vivir en sociedad tiene implcito la renuncia a la ley del ms fuerte, con esto quiero
decir que todas nuestras acciones deben cumplir un cdigo moral y legal, en la sociedad
actual tenemos reglas que rigen nuestro comportamiento desde la tica en el trabajo
hasta normas que rigen la edad de consentimiento sexual la cual explica en qu edad
una persona tiene la capacidad de tomar dichas decisiones, todas estos cdigos legales y
su aceptacin dan a entender que se ha renunciado a una interpretacin personal de lo
bueno y malo y se acepta la opinin colectiva expuestas en estos cdigos.
Conclusiones

Se identifican nuevas leyes y tcnicas para juzgar un razonamiento

lgico
Se trabaja en la identificacin de proposiciones, en los conectores que
la unen y como expresarlas en un lenguaje simblico.
Se juzga la validez de un razonamiento lgico comprobndolo por
varios mtodos aplicados a lo largo del modulo
Se trabaj en operaciones lgicas por medio de ella se laboran tablas
de verdad.

Referencias

ACEVEDO, GONZLEZ, G (2012). Modulo lgica matemtica. UNAD.

Colombia: Centro Nacional de Medios para el Aprendizaje.