UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera ECBTI

Lgica Matemtica Grupo 98

APORTE A TRABAJO COLABORATIVO 2 (ACTIVIDAD INDIVIDUAL - FASE

1, 2 y 3)

WILSON CASTAEDA CODIGO.: 74770553

TUTOR
WILLIAM SAAVEDRA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA DE PSICOLOGIA
ABRIL, 2015

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera ECBTI
Lgica Matemtica Grupo 98

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 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:
Debata con sus compaeros de equipo: El razonamiento propuesto es deductivo o
inductivo?
El razonamiento es deductivo, ya que la conclusin se infiere de una serie de premisas.
De un razonamiento deductivo podemos decir que si las premisas son verdaderas la
conclusin tambin lo ser, siendo un razonamiento valido, de lo contrario el
razonamiento ser invlido, en otras palabras la conclusin a la cual se llego es porque
se deri de las premisas que se partieron.
De este argumento lgico en mencin hemos partido de unas generalidades como el
tener necesidades de productos y servicios que pueden ofrecer personas y que darn
calidad de vida y que necesitar de personas har que se viva en comunidad y luego
plantea dos opciones vivir o no vivir en comunidad, si se vive en comunidad debe
respetar la ley y si no respeta la ley no vive en comunidad, por lo tanto est
renunciando a los beneficios.
Una caracterstica que se distingue del razonamiento deductivo vlido es que en la
conclusin se aportar algo independiente de lo que se contextualiza en las premisas.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera ECBTI
Lgica Matemtica Grupo 98

La verdad de la conclusin en un razonamiento deductivo est condicionada a la

correccin del argumento propuesto y a la verdad de la premisa. En el razonamiento
deductivo el valor de verdad recae ciento por ciento en las premisas que componen el
argumento lgico.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera ECBTI
Lgica Matemtica Grupo 98

P V Q
P
Q > R
o
R > S
oo S
__________________________________

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

P Q

Premisa 1
PVQ

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
F
F
F
F
F
F

F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

Premi
sa 2
P
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F

Premisa 3
Q>R

Premisa 4
R>S

Conclusin
S

V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F

V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

No Hay ningn caso en que siendo las premisas verdaderas la conclusin sea falsa,
luego el razonamiento es vlido.

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

conjuncin de las premisas implican la conclusin.)

P Q

Premisa

Premi

Premisa

Premi

Conclusin

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera ECBTI
Lgica Matemtica Grupo 98

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

1
PVQ

sa 2
P

3
Q>R

sa 4
R>S

F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F

V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F

V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

S
{[(P ^Q)^ P]^
[(QR)^(RS)]}S

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

No es posible que la conclusin sea falsa, esto es una tautologa, ya que la conjuncin
de las premisas implica la conclusin por lo tanto el razonamiento sigue siendo valido
2.4.3. Verificacin con simulador.
2.4.4. Demostracin a partir de las leyes de inferencia:

Premisa 1: P V Q
Premisa 2: P
Premisa 3: Q > R
o
Premisa 4: R > S
oo S
______________________________
5) Q
1,2 SD
6) R

3,5 MPP

7) S

6,4 MPP

Las leyes de inferencia permiten deducir la conclusin, luego el razonamiento es

vlido.

2.4.5. Demostracin por reduccin al absurdo.

Tambin prueba formal de invalidez. Se trata de una demostracin indirecta por
reduccin al absurdo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera ECBTI
Lgica Matemtica Grupo 98

Si la conclusin tiene valor falso (0), y las premisas pueden tener valor verdadero (1), si
es posible hacerlo el razonamiento es invalido
Modus operandi:
1. Se da valor 0 a la conclusin.
2. Se le asigna valor 1 a cada premisa.
3. Se deduce los valores las variables que componen a las premisas y de la
conclusin.
4. En estos valores, si no se encuentra ningn conflicto o ambigedad, el
razonamiento es invalido
P V Q
1/0 1 0
P
1
Q > R
0 1 0
R > S
0 1 0
___________________
o
oo
S
0
No es posible que todas las premisas fueran verdaderas y que la conclusin fuera falsa,
luego el razonamiento es invalido.
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 mi concepto, es ms lo que se puede ganar que lo que se puede perder cuando
vivimos en sociedad. Los seres humanos son por naturaleza seres sociales y que
tenemos mltiples necesidades que no las podemos auto suplir todas. La sociedad no
solo nos suple necesidades materiales sino tambin de seguridad, formacin, salud,
recreacin etc. Vivir en sociedad, moldea nuestro comportamiento ya que debemos
respetar la libertad del otro, vivir en sociedad no significa el coartar la libertad, ser
miembros de una sociedad nos pide unas normas de comportamiento, estas normas
aportan a nuestra autodisciplina. Por lo tanto seria invalido pensar que los humanos en
nuestra realidad mundial actual pueda vivir fuera de la sociedad.