Trabajo Colaborativo 2

Consolidado

Grupo:200611_124

Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Pensamiento Lgico y Matemtico
Programa: Psicologa
Octubre de 2014

1. Represente simblicamente (utilizando los conectivos lgicos) cada razonamiento

y hacer la respectiva tabla de verdad:
a. Si viene en autobs, llegar antes de las doce. Si viene en motocicleta, llegar antes
de las doce. Luego, tanto si viene en autobs como si viene en motocicleta, llegar
antes de las doce.

Tabla No. 1 Conectivos Lgicos. Lenguaje Natural y Artificial

Lenguaje Natural Lenguaje Artificial

Y ----------------------

O ---------------------

No ---------------------

Si ... Entonces --------

Si y slo si -----------

a. Si viene en autobs, llegar antes de las doce. Si viene en motocicleta, llegar antes

de las doce. Luego, tanto si viene en autobs como si viene en motocicleta, llegar

antes de las doce.

RESPUESTA

P= viene en autobs

Q= llegar antes de las doce

R= viene en motocicleta

P Q = si viene en autobs entonces llegar antes de las doce.

R Q = si viene en motocicleta entonces llegar antes de las doce.

 (P R) Q = si viene en autobs si viene en motocicleta entonces llegar antes

de las doce.

Para determinar la organizacin de la tabla debemos tener en cuenta el nmero de

proposiciones simples que salieron, para el caso salieron tres proposiciones simples
(P,Q,R) y aplicamos lo siguiente:
23 = 8
Este resultado 8 nos indica el nmero de posibilidades lgicas para validar que a
continuacin haremos en la tabla.

La disyuncin solo es falsa en el caso de que ambas proposiciones sean falsas.

Tabla de verdad ejercicio 1 tem a

P Q R PQ R Q PR (PR)Q
V V V V V V V
V V F V V V V
V F V F F V F
V F F F V V F
F V V V V V V
F V F V V F V
F F V V F V F
F F F V V F V

b. Si tuvieran que justificarse ciertas acciones por su relevante tradicin entonces, si

estas acciones son inocuas y respetan a todo ser vivo y al medio ambiente, no habra
 ninguna dificultad. Pero si las acciones son crueles o no respetuosas con los seres

vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no

podramos considerarnos dignos de nuestro tiempo.

RESPUESTA
P= justificar acciones de relevante tradicin
Q= acciones inocuas

R= respetan a todo ser vivo

S= respetan el medio ambiente

T= no habra dificultad

U= dignos de nuestro tiempo

P ( Q^R) ^S T = justificar acciones de relevante tradicin: inocuas y que

respetan a todo ser vivo y respetan el medio ambiente : no habra dificultad.

Q = acciones crueles o no respetuosas (no son inocuas).

Q ( R S) = Las acciones no son inocuas no respetan a todo ser vivo no

respetan el medio ambiente.

P U = no justificar acciones no considerar dignos de nuestro tiempo.

Q ( R S) ( P U) = Las acciones son crueles, no respetan a todo ser

vivo no respetan el medio ambiente entonces no justica acciones no considerar

digno de nuestro tiempo.

Tenemos seis proposiciones simples (P,Q,R,S,T,U) y aplicamos lo siguiente:

26 = 64 es el nmero de posibilidades lgicas para validar.
La conjuncin es verdadera en el caso de que ambas proposiciones sean

verdaderas.

Tabla de Verdad ejercicio 1 tem b

P Q R S T U QR (QR)S P ( Q R ) S
V V V V V V V V V
V V V V V F V V V
V V V V F V V V V
V V V V F F V V V
V V V F V V V F F
V V V F V F V F F
V V V F F V V F F
V V V F F F V F F
V V F V V V F F F
V V F V V F F F F
V V F V F V F F F
V V F V F F F F F
V V F F V V F F F
V V F F V F F F F
V V F F F V F F F
V V F F F F F F F
V F V V V V F F F
V F V V V F F F F
V F V V F V F F F
V F V V F F F F F
V F V F V V F F F
V F V F V F F F F
V F V F F V F F F
V F V F F F F F F
V F F V V V F F F
V F F V V F F F F
V F F V F V F F F
V F F V F F F F F
V F F F V V F F F
V F F F V F F F F
V F F F F V F F F
V F F F F F F F F
F V V V V V V V V
F V V V V F V V V
F V V V F V V V V
F V V V F F V V V
F V V F V V V F V
F V V F V F V F V
F V V F F V V F V
F V V F F F V F V
F V F V V V F F V
F V F V V F F F V
F V F V F V F F V
F V F V F F F F V
F V F F V V F F V
F V F F V F F F V
F V F F F V F F V
F V F F F F F F V
F F V V V V F F V
F F V V V F F F V
F F V V F V F F V
F F V V F F F F V
F F V F V V F F V
F F V F V F F F V
F F V F F V F F V
F F V F F F F F V
F F F V V V F F V
F F F V V F F F V
F F F V F V F F V
F F F V F F F F V
F F F F V V F F V
F F F F V F F F V
F F F F F V F F V
F F F F F F F F V
 c. Si tu lder se enoja, te quedas estupefacto del susto; y si te quedas estupefacto del

susto, entonces no puedes sino apelar a su bondad y as no ser sancionado. Por lo

tanto, si tu lder se enoja, tendrs que apelar a su bondad o sers sancionado.

RESPUESTA

P= tu lder se enoja.

Q= quedas estupefacto del susto.

R= apelar a su voluntad.

S= no ser sancionado.

S= ser sancionado.

P Q= si tu lder se enoja entonces quedas estupefacto del susto.

R ^ S= apelas a su voluntad y no sers sancionado.

Q (R S) = si quedas estupefacto del susto entonces apelas a su voluntad y as

no sers sancionado.

Conclusin: P= (R S) = si tu lder se enoja, apelas a su voluntad sers

sancionado.

Para determinar la organizacin de la tabla debemos tener en cuenta el nmero de

proposiciones simples que salieron, para el caso salieron cuatro proposiciones
simples (P,Q,R,S) y aplicamos lo siguiente:
24 = 16
Este resultado 16 nos indica el nmero de posibilidades lgicas para validar que a
continuacin haremos en la tabla.
 Tabla de Verdad ejercicio 1 tem c.

P Q R S S PQ R ^ S Q( R S) R S P(R S)
V V V V F V V V V V
V V V F V V F F V V
V V F V F V F F F V
V V F F V V F F V V
V F V V F F V V V V
V F V F V F F V V V
V F F V F F F V F V
V F F F V F F V V V
F V V V F V V V V V
F V V F V V F F V V
F V F V F V F F F F
F V F F V V F F V V
F F V V F V V V V V
F F V F V V F V V V
F F F V F V F V F F
F F F F V V F V V V
2. Decidir utilizando las tablas de verdad si este argumento es o no vlido, es decir,

evidenciar que la tabla que se obtiene es una tautologa o no:

Si usted es autosuficiente entonces sus acciones no estn determinadas por eventos previos.

En estas circunstancias, sus acciones no son predecibles y no es posible anticipar las

consecuencias de ellas. En consecuencia, si usted es autosuficiente, las consecuencias de

sus acciones no se pueden anticipar.

P: Usted es autosuficiente

Q: Sus acciones no estn determinadas por eventos previos.

R: Sus acciones no son previsibles

S: No es posible anticipar las consecuencias de las acciones

PQ

RS

PS

Si las acciones no estn determinadas por eventos previos es igual a decir que no

son previsibles, por lo tanto Q=R, entonces QS

PQ

QS

PS

1. Si usted es autosuficiente entonces sus acciones no estn determinadas por eventos

previos: PQ

2. En estas circunstancias, sus acciones no son predecibles y no es posible anticipar las

consecuencias de ellas: QS
 3. Si usted es autosuficiente, las consecuencias de sus acciones no se pueden

anticipar: PS

4. Para determinar la organizacin de la tabla debemos tener en cuenta el nmero de

proposiciones simples que salieron, para el caso salieron tres proposiciones simples
(P,Q,R,S) y aplicamos lo siguiente:
2 4 = 16
Este resultado 16 nos indica el nmero de posibilidades lgicas para validar que a
continuacin haremos en la tabla.
[(PQ) ^ (QS)] (PS)

P Q S PQ QS PS (PQ) ^ (QS) [(PQ) ^ (QS)] (PS)

V V V V V V V V

V V F V F F F V

V F V F V V F V

V F F F V F F V

F V V V V V V V

F V F V F V F V

F F V V V V V V

F F F V V V V V

Concluyendo que el ejercicio planteado es una Tautologa demostrado a partir de la

transitividad en las implicaciones de las proposiciones.

3. Identifica en el siguiente silogismo las diferentes proposiciones categricas, y proponer
una representacin mediante diagramas de Venn de las diferentes relaciones entre las
clases implicadas, segn las proposiciones categricas:

Ningn ser aptico es ambicioso. Porque es un hecho que ninguno de ellos

es cientfico y tambin es un hecho que todo cientfico es ambicioso.

Respuesta:

Identificamos las diferentes proposiciones categricas contenidas en el silogismo, quedara

de la siguiente manera:

Ningn ser aptico es ambicioso. Porque es un hecho que ninguno de ellos

es cientfico y tambin es un hecho que todo cientfico es ambicioso.

Las proposiciones se organizaran as:

P1: Todo cientfico es ambicioso.

P2 : Ningn ser aptico es cientfico.
C : Por lo tanto, ningn ser aptico es ambicioso.

La representacin grafica mediante diagramas de Venn seria de la siguiente manera:

 1. P1: Todo cientfico es ambicioso.

Todo S es P

En el Diagrama de Venn correspondiente a P1, estn representados por tres crculos que
indician: apticos, ambiciosos y cientficos. Ahora para representar la proposicin P1 nos
basamos en el principio de que Todo S es P que indica que Cuando decimos Todo S es
P estamos afirmando que no existe un S que no sea P.
Esto significa que el conjunto de los S que no son P es vaco y, por lo tanto, en un
diagrama de Venn la regin que representa la parte de S que est por fuera de P no
tiene elementos; es vaca. Por esta razn, Todo S es P se representa como la parte
sombreada.
 2. P2 : Ningn ser aptico es cientfico.

Ningn S es P.

La regin de los seres apticos que son cientficos, interseccin de las regiones
superior izquierda e inferior, es vaca. Ahora para representar la proposicin P2 nos
basamos en el principio que Ningn S es P. Ya que afirmar que Ningn S es P, es
equivalente a afirmar que No hay un S que a su vez sea un P.

Entonces la regin que representa el conjunto de elementos que son S y P

a la vez es vaca. Por esto Ningn S es P se representa por la regin sombreada.
 3. Por lo tanto, ningn ser aptico es ambicioso

La tercera proposicin es la Conclusin : Ningn ser aptico es ambicioso.

La conclusin sigue necesariamente de las premisas si y slo si la regin que la
representa, y que aparece sombreada en este diagrama est completamente contenida
en la regin sombreada del diagrama de la P2. Como podemos ver no est contenida,
podemos decir que el silogismo es invlido.