ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004 Lgica Matemtica

Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA



LGICA MATEMTICA



Trabajo Colaborativo No.2


Presenta

Jhonatan Leonardo Ros Aranda- 1057588670
Mayra Lizeth Meja Daz- 1062874134
Meylen Yeraldin Gonzalez

Tutor
Oscar Pallares Len

Director de curso
Georffrey Acevedo Gonzlez





24 de Mayo 2013
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


2

Introduccin

Mediante el desarrollo del presente trabajo abordaremos la mayora de los temas
vistos durante la temtica general del curso, tiene como base la aplicacin de
varias tcnicas, que son funcionales para verificar la validez de un razonamiento
lgico, dichas tcnicas tendrn uso en un solo razonamiento, lo cual ser til para
supervisar las diversas maneras de abordar temas cotidianos y la veracidad del
razonamiento propuesto.



























ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


3

FASE 1)
Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo
o inductivo?
R/. deductivo porque se encuentra predicciones frente a las necesidades
existentes y parte de lo general para llegar a lo particular.

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: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s

2.3 Conclusin en lenguaje simblico
Conclusin: s


ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


4
2.4 Demostraciones:
2.4.1: Demostracin a partir de las tablas de verdad forma 1:

PREPOSICIONES
SIMPLES
PREMISA
1
PREMISA
2
PREMISA
3
PREMISA
4
CONCLUSIN
p q r s ~p ~q ~p v ~q p ~q r r s S
V V V V F F F V V V V
V V V F F F F V V F F
V V F V F F F V V V V
V V F F F F F V V V F
V F V V F V V V V V V
V F V F F V V V V F F
V F F V F V V V F V V
V F F F F V V V F V F
F V V V V F V F V V V
F V V F V F V F V F F
F V F V V F V F V V V
F V F F V F V F V V F
F F V V V V V F V V V
F F V F V V V F V F F
F F F V V V V F F V V
F F F F V V V F 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.



ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


5

2.4.2: Demostracin a partir de las tablas de verdad forma 2:
[(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin
Proposiciones
simples
[(premisa 1) ^ (premisa 2) ^
(premisa 3) ^ (premisa 4)]
[(premisa 1) ^ (premisa 2) ^
(premisa 3) ^ (premisa 4)]
---> Conclusin
p q r t ~p ~q [(~p v (~q)) p
(~q r) (r s)]
[(~p v (~q)) p (~p (~q)) (s
t)] s
V V V V F F F V
V V V F F F F V
V V F V F F F V
V V F F F F F V
V F V V F V V V
V F V F F V F V
V F F V F V F V
V F F F F V F V
F V V V V F F V
F V V F V F F V
F V F V V F F V
F V F F V F F V
F F V V V V F V
F F V F V V F V
F F F V V V F V
F F F F V V F V


Se obtiene una tautologa, demostrando que la conjuncin de las premisas
implican la conclusin y por lo tanto el razonamiento es vlido.



ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


6

2.4.3. Verificacin con simulador




ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


7

2.4.4. Demostracin a partir de las leyes de inferencia:
Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
-------------------------------------------
5. ~q 2,1 SD
6. r 5,3 MPP
7. s 6,4 MPP

Las leyes de inferencia permiten deducir la conclusin, por lo tanto el
razonamiento es vlido.
2.4.5.: Demostracin por reduccin al absurdo:
Suponemos que es posible que las premisas sean verdaderas y la conclusin
falsa, si es posible entonces el razonamiento NO es vlido.
Premisa 1: ~p v ~q = V
Premisa 2: p = V
Premisa 3: ~q r = V
Premisa 4: r s = V
-------------------------------------------
Conclusin: s = F


Con s es falso por MTT en la premisa 4 se obtiene que r es falso, nuevamente
aplicando MTT en la premisa 3 se obtiene que ~q es falso, o que es lo mismo q
es verdadero, por SD en la premisa 1, ~p es verdadero y contradice a la premisa
2 que afirma que p es verdadero. Se concluye que el mtodo por reduccin al
absurdo no es posible cuando las premisas sean verdaderas y la conclusin sea
falsa, por lo tanto el razonamiento es vlido.


ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


8

FASE 3) 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)

En el debate se obtuvieron las diversas opiniones:

La sociedad est compuesta de individuos que generan y aportan
beneficios para vivir en comunidad todos estos basados en leyes
inherentes a cada uno o cada actividad que se realiza, as pues si no
existen individuos que aporten al todo de la comunidad no existira
comunidad, pues sin individuos la comunidad no existe. Siendo esto un
razonamiento lgico tanto inductivo como deductivo.
en la realidad al vivir en sociedad ganamos una convivencia pacifica en el
ejercicio de nuestras funciones, con opiniones que contribuyan en el
desarrollo de actividades significativas, respetando las ideas de los otros,
aprendiendo a trabajar en equipo, escuchar sus opiniones, en fin respetar
los derechos de los demas, renunciando a las extralimitaciones y entender
que los derechos de las otras personas estan primero que los de nosotros
mismos.












ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


9

Conclusiones

Una vez concluido este trabajo, se puede observar la gran funcionalidad que tiene
la lgica en las preposiciones; toda vez que nos es muy til para analizar el mundo
de una forma acertada. Si logramos basarnos en premisas verdaderas como los
principios y las leyes universales; al fundamentarnos en la lgica para edificar los
argumentos que usamos para estructurar el mundo, lograremos tener la certeza
de que nuestros argumentos, y decisiones son acorde a nuestras premisas, siendo
sustanciales, con nuestras creencias fundamntales.
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
90004 Lgica Matemtica
Gua de Actividades y Rbrica de evaluacin
Act No. 10. Trabajo Colaborativo 2


10

Referencias



Modulo lgica matemtica, Universidad Nacional Abierta y A Distancia
UNAD, 2013.

Gua de Actividades Trabajo colaborativo No 2, lgica matemtica,
Universidad Nacional Abierta y A Distancia UNAD-2013.