LOGICA MATEMATICA

ACTIVIDAD 10. TRABAJO COLABORATIVO 2

ESTUDIANTE: CHRISTIAN CAMILO GMEZ PEZ
C.C: 1024520051

TUTOR: CLAUDIA MARCELA DIAZ SCARPETTA









UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)
FACULTAD DE CIENCIAS BASICAS, TECNOLOGA E INGENIERIA
INGENIERIA DE SISTEMAS
CEAD JOSE ACEVEDO GMEZ

2013


PROBLEMA DE APLICACIN

Los razonamientos lgicos que hemos estudiado en la segunda unidad no son exclusivos de los
espacios acadmicos. Por el contrario, hacemos uso de estos en el debate cotidiano de las ideas.
A continuacin se propone un dilogo entre varios estudiantes de la UNAD.
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. Georfrey A.G.


FASE 1) Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o
inductivo?

R/. El razonamiento parte de lo general para llegar a lo particular. Se plantean las reglas o normas
bsicas para poder vivir en comunidad, dichas reglas son generales y sern aplicadas de forma
particular por cada una de l as personas, adems de ser norma general para cada una de las
partes de una comunidad, sin casos especiales en las que no aplique. En conclusin usado leyes
de inferencia este argumento ES DEDUCTIVO.



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


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

2.3 CONCLUSIN EN LENGUAJE SIMBLICO

Conclusin: s

2.4 DEMOSTRACIONES

2.4.1 DEMOSTRACIN A PARTIR DE LAS TABLAS DE VERDAD FORMA 1

Proposiciones Simples Premisas Conclusin

TABLA DE VERDAD

p

q

r

S

~p

~q
PREMISA
1 ~pv~q
PREMISA
2 p
PREMISA
3 ~qr
PREMISA
4 rs

CONCLUSIN 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


ANLISIS: El razonamiento es vlido porque no existe el 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

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

TABLA DE VERDAD

p

q

R

s

~p

~q
PREMISA
1
~pv~q
PREMISA
2 p
PREMISA
3
~qr
PREMISA
4
rs

CONCLUSIN
S
CONCLUSIN
[(~pv~q) (p) (~qr) (rs)]
s
V V V V F F F V V V V V
V V V F F F F V V F F V
V V F V F F F V V V V V
V V F F F F F V V V F V
V F V V F V V V V V V V
V F V F F V V V V F F V
V F F V F V V V F V V
V
V F F F F V V V F V F
V
F V V V V F V F V V V V
F V V F V F V F V F F V
F V F V V F V F V V V V
F V F F V F V F V V F
V
F F V V V V V F V V V V
F F V F V V V F V F F V
F F F V V V V F F V V V
F F F F V V V F F V F
V

ANLISIS:

El razonamiento es vlido teniendo en cuenta que es una tautologa demostrando que la
conjuncin de las premisas implica la conclusin.


2.4.3. VERIFICACIN CON SIMULADOR

EXPRESION PARA EL SIMULADOR: { [(~p+~q) &p]&[(~q>r)&(r>s)] }>s































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 Silogismo Disyuntivo (1, 2)
6: r Modus Ponendo Ponens (3,5)
7: s Modus Ponendo Ponens (4,6)
OTRA MANERA:
Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s

5: ~q Silogismo Disyuntivo (1, 2)
6: ~q s Silogismo Hipottico (3,4)
7: s Modus Ponendo Ponens (5,6)



CONCLUSIN: Las leyes de inferencia permiten deducir la conclusin, por lo tanto el
razonamiento es vlido.
2.4.5. DEMOSTRACIN POR REDUCCIN AL ABSURDO

Iniciamos por suponer que las cuatro premisas son Verdaderas y la conclusin es Falsa: Si es
posible entonces el razonamiento no es vlido.

Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s

Conclusin: s = F

Si la conclusin s = F, para que la Premisa 4 r s sea Verdadera, r debe ser Falsa.
En la Premisa 3, para que sta sea Verdadera, considerando que r es Falsa, q debe ser
Verdadera.
De la Premisa 2, p es Verdadera.
En la Premisa 1, ~p es Falsa, tanto como lo es ~q de donde se concluye que la premisa 1 es
Falsa.

Entonces no fue posible que las premisas fueran verdaderas y la conclusin falsa. Por lo tanto el
razonamiento ES VLIDO.


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).

RESPUESTA:

Se gana el derecho el respeto de nuestros derechos y nos permite convivir en una sociedad en
la cual nos podamos desarrollar de forma integral en todos los aspectos, aprender a respetar y
valorar los derechos de todas las personas que pertenecen a la sociedad.
BIBLIOGRAFA

Georffrey Acevedo Gonzlez. Mdulo Lgica Matemtica. UNAD. Medelln, 2012




CIBERGRAFIA

http://es.wikipedia.org/wiki/Razonamiento#Razonamiento_l.C3.B3gico
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/