A.

LGICA PROPOSICIONAL
1. Realizar la prueba de invalidez para cada uno de los siguientes razonamientos
invlidos:
1. p - s
rm
pr
- (-s m)
2. (-p)
p (q v t)
(-t v q) -t
__________
-q
2. Demostrar los siguientes razonamiento mediante el mtodo de la demostracin
directa:
a) Dem.: p
1) (p v q) (r v s)
2) (r v s) - t
3) t
-----------------

b) Dem.: u
1) p t
2) p q
3) q (r s)
4) r v t v u
--------------------

B. LGICA DE PREDICADOS
1. Abstraer la forma lgica de las siguientes proposiciones:
a) Si el Sol es una estrella, tiene luz propia.
1

b)
c)
d)
e)
f)
g)
h)
i)
j)

No hay cosas slidas.

Los rectngulos tienen cuatro lados y son rojos.
Si Carlos es mdico, hay mdicos.
2 es un nmero par, pero x no.
Ningn nio famoso es feliz.
Algunos errores son involuntarios pero dainos.
Si Ana est arrepentida, no todo est perdido.
Si Esteban y Diana no llegan, Eduardo no dar el concierto.
Mario es estudioso e inteligente, pero distrado.

2. Si F= tringulo, G= crculo y H= cuadrado, construir un universo ad hoc de

cuatro elementos (a, b, c, d) para que los enunciados sean verdaderos.
a)
b)
c)
d)
e)
f)
g)

Ha
(x) Gx
(Ex) (Fx Gx)
Ha Fd
GaHc
Gb
Ha v Ga

3. Si F= tringulo, G= crculo y H= cuadrado, construir un universo ad hoc de

cuatro elementos (a, b, c, d) para que los enunciados sean verdaderos. (1
puntos)
a)
b)
c)
d)

(x) (FxGx)
HaGd
(x) Hx
(Ex) Fx

4. Determinar el valor de verdad (2 puntos):

a) Si (x) Fx es verdadero, cmo es (Ex) Fx?
b) Si (x) Fx es falso, cmo es (Ex) Fx?
c) Si (Ex) Hx es verdadero, cmo es (Ex) Hx?
d) Si (Ex) Gx es verdadero, cmo es (x) Gx?

5. Abstraer la forma lgica del siguiente razonamiento y probar que el

razonamiento es vlido mediante el mtodo de demostracin directa:
Los perros son vertebrados y mamferos. Algunos perros son guardianes. Luego,
algunos vertebrados son guardianes.
2

6. Demostrar los siguientes razonamientos utilizando el mtodo de la

demostracin directa (3 puntos):
a) Demostrar (x) (Fx Gx) (x) (Fx Hx)
1) (x) [Fx (Gx Hx)]

b) Demostrar (Ex) Gx
1) (x) [(Fx -Gx) -Hx]
2) (x) (Ix Fx)
3) (Ex) (Ix Hx)

c) Demostrar Ha
1) (x) (Fx Gx) -Ha
2) (Ex) Gx
3) (x) Fx