Universidad Catlica Los ngeles

de Chimbote

Matemtica y Lgica

INFERENCIAS
4.15 Inferencias. Conjunto de proposiciones, donde a partir de ellas se
obtiene una conclusin vlida o invlida.
Ejemplos:

Si A es igual a B
y B es igual a C
Luego, A es igual a C
Todos los hombres son mortales
Pedro es un hombre
Pedro es mortal
Si llueve, entonces la tierra se humedece
Si la tierra se humedece, entonces crecen las plantas
Si las plantas crecen, entonces habr alimentos
Luego, si llueve, entonces habr alimentos

En una inferencia, las premisas y la conclusin pueden ser verdaderas o

falsas, lo importante es establecer si las premisas guardan relacin con la
conclusin a fin de determinar, si es vlida o invlida la conclusin. En lgica se
establecen dos procedimientos para establecer la validez de una inferencia.
4.15.1 Validez por Tabla de Valores. La inferencia es vlida, cuando la
conjuncin de premisas implica a la conclusin, es decir su tabla de verdad
es una tautologa.
Se representa mediante el esquema de una inferencia, cuya validez se
desea determinar:

Su tabla de verdad de la inferencia ser:

Si tiene una premisa:
Si tiene dos premisas:
Mg. Julio Nez Cheng

(p p )

es la conclusin

Universidad Catlica Los ngeles

de Chimbote

Matemtica y Lgica

{(p p ) p }

Si tiene tres premisas:

Ejercicios:
a) Determinar la validez de la inferencia, por el mtodo de tabla de valores:
Si la tierra gira alrededor del sol, entonces es un planeta del sistema solar
Si es un planeta del sistema solar, entonces la luna es un satlite de la tierra
Entonces, si la tierra gira alrededor del sol, la luna es un satlite de la tierra
Formalizando la inferencia:
p
q

q
r

Aplicando la tabla de valores:

[(p

) (q

V
V
V
V
F
F
F

V
V
F
F
V
V
F

pq

V
F
V
F
V
F
V
F

r]

(p

qr

V
V
F
F
V
V
V
V

V
F
F
F
V
F
V
V

r)

pr

V
F
V
V
V
F
V
V

V
V
V
V
V
V
V
V

V
F
V
F
V
V
V
V

La inferencia es vlida, por ser una tautologa.

b) Determinar la validez de la inferencia, por el mtodo de tabla de valores:

premisa

~q

premisa

~p

conclusin

Su tabla de verdad: [(p

Mg. Julio Nez Cheng

) ~ q ]

~p

Universidad Catlica Los ngeles

de Chimbote

Matemtica y Lgica

~q

~p

La inferencia es vlida, por ser una tautologa.

c) Determinar la validez de la inferencia por el mtodo de tabla de valores:

premisa

premisa

conclusin

Su tabla de verdad:

^
V

r
V

p
V

q
V

r
V

q
V

La inferencia no es vlida, pues la conjuncin de premisas no implica a la

conclusin (no es una tautologa). La conclusin no se deriva de las
premisas.

Mg. Julio Nez Cheng