Professional Documents
Culture Documents
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
(p p )
es la conclusin
Matemtica y Lgica
{(p p ) p }
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
) (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
premisa
~q
premisa
~p
conclusin
) ~ q ]
~p
Matemtica y Lgica
~q
~p
premisa
premisa
conclusin
Su tabla de verdad:
^
V
r
V
p
V
q
V
r
V
q
V