Beruflich Dokumente
Kultur Dokumente
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)
Ha
(x) Gx
(Ex) (Fx Gx)
Ha Fd
GaHc
Gb
Ha v Ga
(x) (FxGx)
HaGd
(x) Hx
(Ex) Fx
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