Universidad Catlica Los ngeles Matemtica y Lgica

de Chimbote

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:

es la conclusin

Su tabla de verdad de la inferencia ser:

Si tiene una premisa: p

Si tiene dos premisas: (p p ) c

Mg. Julio Nez Cheng 1

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote

Si tiene tres premisas: {(p p ) p } c

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

p r

Aplicando la tabla de valores:

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

r pq qr pr
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

1 3 2 5 4

La inferencia es vlida, por ser una tautologa.

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

p q premisa

~q premisa

~p conclusin

Su tabla de verdad: [(p ) ~ q ] ~p

Mg. Julio Nez Cheng 2

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote

p q p q ~q ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
1 3 2 5 4

La inferencia es vlida, por ser una tautologa.

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

p q premisa

r premisa

r q conclusin

Su tabla de verdad:

p q r p q ^ r r q
V V V V V V V V
V V F V F F V V
V F V F F V V F
V F F F F F V V
F V V F F V V V
F V F F F F V V
F F V V V V F F
F F F V F F V 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 3