UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA.

LGICA MATEMTICA
ACTIVIDAD III

RAZONAMIENTOS DEDUCTIVOS LEYES DE INFERENCIA.

Deducir: t
1. Construya una prueba formal de
validez para cada uno de los
1) t p s
siguientes argumentos:
c. 2) q p
1) p q
3) r s
2)r q
4) r q
a. 3) s t r
Deducir: t r
4) p r s
1) p q r s
Se deduce: q u
d.
2) q r s t
1) p q
3) r p
2)r q
b. 3) s t r

4) p r s
Se deduce: q u
2. Construya una prueba formal de validez para cada uno de los siguientes argumentos.
La expresin que sigue a Por lo tanto, es la conclusin del argumento, es lo que se
infiere de las premisas como consecuencia lgica de ellas y es lo que se debe
demostrar para determinar la validez o no del razonamiento.
a. La centrfuga debe encenderse si la muestra permanece homognea. La
muestra permanece homognea o bien se precipita un slido de color blanco.
No se precipita un slido de color blanco. Por tanto, la centrfuga debe
encenderse.
b. Si el paciente no tiene fiebre, entonces la malaria no fue la causa de la
enfermedad. Pero la malaria o envenenamiento alimentario fue la causa de su
enfermedad. El paciente no tena fiebre. Por tanto, el envenenamiento
alimentario debi ser la causa de su enfermedad.
c. Si este ao l est de vacaciones en Santa Marta y compra un auto lujoso,
entonces ha heredado mucho dinero. Habr heredado mucho dinero slo si
falleci su abuela adinerada. El est comprando un auto lujoso, pero su abuela
goza de muy buena salud. Luego, l no est de vacaciones en Santa Marta.
d. Un juicio es cientfico si y slo si es explicativo, objetivo y racional. Un juicio es
explicativo, objetivo y racional si y slo si no es metafsico. Si el juicio es
apriorstico entonces no es cientfico. El juicio es apriorstico. Por tanto, el juicio
es metafsico.

Jos Manuel Rueda Villalba

Ing. Qumico
Tutor de Lgica Matemtica