FASE 2: PRODUCCIN GRUPAL

LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES

COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES,
PROPOSICIONES CATEGRICAS.

GRUPO COLABORATIVO_105
DIANA MARCELA VASQUEZ ROJAS
CODIGO: 1130626868
LEIMIS MARCELA SIERRA CANTILLO
CODIGO: 1140861979
OSVALDO BERDUGO MARTINEZ
CODIGO: 1143229573
YIRA VANESSA GALVIS LOZANO
CODIGO: 1130670713
LUIS MIGUEL PAZOS
CODIGO: 1131085253

TUTOR: MILLER EDUARDO JIMENEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PSICOLOGIA
29 DE OCTUBRE DE 2014

TABLA DE CONTENIDO

CONTENIDO
TABLA DE CONTENIDO ................................................................................................................
INTRODUCCIN ..............................................................................................................................
TABLA DE VERDAD EJERCICIO (1.a) .........................................................................................
TABLA DE VERDAD EJERCICIO (1.b) .........................................................................................
TABLA DE VERDAD EJERCICIO (1.c) .........................................................................................
TAUTOLOGIA TABLA DE VERDAD EJERCICIO (2) ..............................................................
3. SILOGISMO, PREPOSICIONES CATEGRICAS DIAGRAMAS DE VENN .......................
CONCLUSIONES ............................................................................................................................
REFERENCIAS BIBLIOGRFICAS .............................................................................................
BIBLIOGRAFA ...............................................................................................................................

Trabajo colaborativo
2
Lgica matemtica

INTRODUCCIN

Los temas contemplados en esta unidad, darn una mayor integracin a nuestro curso en este caso trataremos
lo concerniente a lgica proporcional, tablas de verdad tautologas, contradicciones entre otros. A travs de
ejercicios problemas a los cuales se dar solucin usando la temtica antes mencionada, por otra parte se
representa simblicamente los conectivos lgicos y sus variables, se realiza una tabla de verdad por cada
razonamiento identificando la validez de dicho razonamiento, y si es una contingencia ( conectivo principal
tiene valores de verdad y falso a la ves) una tautologa (conectivo principal tiene solamente valores de verdad)
o una contradiccin (conectivo principal tiene solamente valores de falso), por ltimo se identifica el silogismo
de unas proposiciones categricas representndose por medio de un diagrama de ven.

1.
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.
P1
P2
conclusin
[( (p q) (r q) ) (p v r) ] q

p = viene en autobs
= si,
q = llegar antes de las doce
r = viene en motocicleta
= Luego, tanto

TABLA DE VERDAD EJERCICIO (1.a)

p
v
v
v
v
f
f
f
f

q
v
v
f
f
v
v
f
f

r
v
f
v
f
v
f
v
f

[( (p
v
v
v
v
f
f
f
f

v
v
f
f
v
v
v
v

q)
v
v
f
f
v
v
f
f

v
v
f
f
v
v
f
v

(r
v
f
v
f
v
f
v
f

v
v
f
v
v
v
f
v

q) )
v
v
f
f
v
v
f
f

v
v
v
v
v
v
v
v

(p
v
v
v
v
f
f
f
f

v
v
v
v
v
f
v
f

r) ]
v
f
v
f
v
f
v
f

v
v
f
v
v
v
f
v

q
v
v
f
f
v
v
f
f

TAUTOLOGA

Es una tautologa ya que todos los valores de la conectiva principal son verdaderos son verdaderos

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.

[p(qrs)(tq)(rs)(pw)]

p = tuvieran que justificarse ciertas acciones por su relevante tradicin

= si.entonces
q = si estas acciones son inocuas
= y
r = respetan a todo ser vivo
s= al medio ambiente
= si.,
t = no habra ninguna dificultad
= pero
= o
r = no respetuosas con los seres vivientes
= entonces
p = habra que dejar de justificarlos
w = no podramos considerarnos dignos de nuestro tiempo

TABLA DE VERDAD EJERCICIO (1.b)

p
v
v
v
v
v
v
v
v
v
v
v
v

q
v
v
v
v
v
v
v
v
v
v
v
v

r
v
v
v
v
v
v
v
v
f
f
f
f

s
v
v
v
v
f
f
f
f
v
v
v
v

t
v
v
f
f
v
v
f
f
v
v
f
f

w [p (q
v v v v v
f v v v v
v v v v v
f v v v v
v v f v f
f v f v f
v v f v f
f v f v f
v v f v f
f v f v f
v v f v f
f v f v f

r
v
v
v
v
v
v
v
v
f
f
f
f

v
v
v
v
f
f
f
f
f
f
f
f

s) (t
v f
f
v f
f
v v
v
v v
v
f v
f
f v
f
f v
v
f v
v
v v
f
v v
f
v v
v
v v
v

f
f
v
v
f
f
v
v
f
f
v
v

q)
v
v
v
v
v
v
v
v
v
v
v
v

f
f
v
v
f
f
v
v
f
f
v
v

f
f
f
f
f
f
f
f
f
f
f
f

(r
v
v
v
v
v
v
v
v
f
f
f
f

v
v
v
v
v
v
v
v
v
v
v
v

s)
v
v
v
v
f
f
f
f
v
v
v
v

(p
v
f
v
f
f
f
v
f
f
f
v
f
f
f
v
f
f
f
v
f
f
f
v
f

f
v
f
v
f
v
f
v
f
v
f
v

w)]
f
v
f
v
f
v
f
v
f
v
f
v

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
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

v
v
v
v
f
f
f
f
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
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
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
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v

v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
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
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
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
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
f
f
f
f
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
v
v
v
v
v
v
v
v

v
v
v
v
f
f
f
f
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
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f

f
f
f
f
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v
v
f
f
f
f
f
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
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
v
v
f
f
v
v
f
f
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f

f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v

f
f
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
f
f
f
f
f
f
f
f
f
f

v
v
v
v
f
f
f
f
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
f
f
f
f
f
f
f
f
f
f
f
f

v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v
v
f
f
v
v
f
f
v
v
f
f
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f

v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f

f
f
f
f
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
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
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v

f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v
v
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
f
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
v
v
v
v
v
v
v
v

f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
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

f
f
f
f

v
v
f
f

v
f
v
f

f
f
f
f

v
v
v
v

f
f
f
f

f
f
f
f

f
f
f
f

f
f
f
f

f
f
f
f

v
v
v
v

f
f
v
v

f
f
f
f

f
f
f
f

v
v
v
v

v
v
v
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

f
v
f
v

CONTINGENCIA

En este caso puedo afirmar que es una contingencia ya que en los valores de la conectiva
principal hay valores diferentes

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

P2

conclusin

[( (p q) (q r s) ) (p r s)]

p = tu lder se enoja
= si,
q = te quedas estupefacto del
susto
= entonces
r = no puedes sino apelar a su
bondad
=y
s = no ser
sancionado = Por
lo tanto
= o

TABLA DE VERDAD EJERCICIO (1.c)

p
v
v
v
v
v
v

q
v
v
v
v
f
f

r
v
v
f
f
v
v

S
v
f
v
f
v
f

[((p

v
v
v
v
v
v

v
v
v
v
f
f

q)
v
v
v
v
f
f

f
f
f
v
f
f

(q
v
v
v
v
f
f

f
f
f
v
v
v

r
f
f
v
v
f
f

f
f
f
v
f
f

s))
f
v
f
v
f
v

v
v
v
f
v
v

(p
v
v
v
v
v
v

v
v
v
f
v
v

r
v
v
f
f
v
v

v
v
v
v
f
v
v

s)]
v
f
v
f
v
f

v
v
f
f
f
f
f
f
f
f

f
f
v
v
v
v
f
f
f
f

f
f
v
v
f
f
v
v
f
f

v
f
v
f
v
f
v
f
v
f

v
v
f
f
f
f
f
f
f
f

f
f
v
v
v
v
v
v
v
v

f
f
v
v
v
v
f
f
f
f

f
f
f
f
f
v
v
v
v
v

f
f
v
v
v
v
f
f
f
f

v
v
f
f
f
v
v
v
v
v

v
v
f
f
v
v
f
f
v
v

f
v
f
f
f
v
f
f
f
v

f
v
f
v
f
v
f
v
f
v

v
v
v
v
v
f
v
v
v
v

v
v
f
f
f
f
f
f
f
f

v
f
v
v
v
f
v
v
v
v

f
f
v
v
f
f
v
v
f
f

v
f
v
v
v
f
v
v
v
f

v
f
v
f
v
f
v
f
v
f

CONTINGENCIA

En este caso puedo afirmar que es una contingencia ya que en los valores de la conectiva principal
hay valores diferentes, aqu vemos dos falsos y el resto son verdaderos

2.
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.
P1
P2
conclusion
[(p q) (r s) (p s)]

p= usted es autosuficiente
= entonces
q= sus acciones no estn determinadas por eventos previos
= En estas circunstancias
r= sus acciones no son
predecibles
= y
s= no es posible anticipar las consecuencias de
ellas
= En consecuencia

TAUTOLOGIA TABLA DE VERDAD EJERCICIO (2)

p
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

q
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f

r
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f

s
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

[(p
v
v
v
v
v
v
v
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

q)
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v

v
v
v
v
f
f
f
v
f
f
f
v
f
f
f
v

(r
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v

f
f
f
v
f
f
f
v
f
f
f
v
f
f
f
v

s)
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

(p
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

f
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v

s)
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v

TAUTOLOGA

Es una tautologa ya que todos los valores de la conectiva principal son verdaderos son verdaderos

3. SILOGISMO, PREPOSICIONES CATEGRICAS DIAGRAMAS DE VENN

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
p(q r)
p = Ningn ser aptico es ambicioso
q = es un hecho que ninguno de ellos es cientfico
= y

Premisa mayor
Premisa menor

todo cientfico es ambicioso

r=

Universal negativa
Contrarias
Ningn P es S

Universal negativa
Contrarias
Ningn P es S

Universal afirmativa
Contrarias
Todo P es S

La conclusin

CONCLUSIONES
Al finalizar este actividad comprobamos, la veracidad de cada una de las temticas estudiadas, dando como,
resultado la resolucin de los ejercicios planteados en este trabajo, adems concluimos que un razonamiento se
puede hallar mediante una tabla de verdad por ende se respeta los valores de la variable y hay buena relacin
con los valores de los conectivos lgicos.

BIBLIOGRAFA
(2014). MODULO LOGICA MATEMATICA. BOGOTA.
(2010). MODULO LOGICA PROPOSICIONAL.
HAMILTON, A. G. (1981). LOGICA PARA MATEMATICOS. PARANINGO.
BADESA, C.; JANE, I.; JANSANA, R. (1998). ELEMENTOS DE LOGICA FORMAL. ARIEL.