UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERIA Y
SISTEMAS

LOGICA DE PREDICADOS
REGLAS DE INFERENCIA
BY ING.CARLOS BARRERA GRUPO TEORICO 04
OCTUBRE 2016
QUE ES INFERENCIA?

Inferir es concluir o decidir a partir

de algo conocido o asumido; llegar a
una conclusión. A su vez, Razonar
es pensar coherente y lógicamente;
establecer inferencias o conclusiones
a partir de hechos conocidos o
asumidos.
COMO SE PUEDE INFERIR?

Realizar inferencias significa derivar

nuevos hechos a partir de un conjunto de
hechos conocidos como verdaderos. La
lógica de predicados proporciona un
grupo de reglas sólidas, con las cuales se
pueden realizar inferencias.
QUE SON REGLAS DE
INFERENCIA?

Mecanismos sintácticos que permiten

deducir f.b.d apartir de otras f.b.d
Fuente: Lógica una síntesis didáctica: Fabio Gutiérrez Correal
Modus Ponens (MP)
de (P  Q) y P, se deduce Q
conocida como la regla de la afirmación
del antecedente
Ejemplo:
Si el sol brilla, María está en la playa.
El sol brilla.
Por lo tanto, María está en la playa.
Modus Tollens (MT)
de (P  Q) y ~Q, se infiere ~P
conocida como negación del consecuente
Ejemplo:
Si el sol brilla, María está en la playa.
María no está en la playa.
Luego, el sol no brilla.
Silogismo Hipotético (SH)
de (P  Q) y (Q  R), deducimos (P  R).
se conoce como razonamiento en cadena
Ejemplo:

Si el sol brilla, María está en la playa

Si María está en la playa, está nadando.
Si está nadando, estará cansada esta noche.
Por lo tanto, si el sol brilla, María estará cansada
esta noche.
Silogismo Disyuntivo (SD)
de (P v Q) y ~P, deducimos que Q.
 ~P puede ser también ~Q.
Ejemplo:
El sol brilla o está lloviendo
El sol no brilla.
Por lo tanto está lloviendo
Conjunción (Conj)
de P y Q, deducimos P ^ Q
Ejemplo:
El sol brilla
Está lloviendo
Por lo tanto, el sol brilla y está lloviendo
Simplificación (Simp)
De P ^ Q deducimos P
Ejemplo:
Está lloviendo y el sol brilla
Por lo tanto, está lloviendo
Adición (Ad)
De P inferimos P v Q
si sabemos que P es verdadera, P v Q, P v
R, P v S… lo será también
Ejemplo:
Está lloviendo
Por lo tanto, está lloviendo o la luna es de
queso.
Dilema constructivo (DC)
de (P  Q) ^ (R  S) y (P v R)
inferimos (Q v S).
Ejemplo:
Si Juan se va a Alaska, se congelará en
invierno.
Si se va a Miami, se asará en verano.
Juan se va a Alaska o a Miami.
Por lo tanto, se congelará en invierno o se
asará en verano