REGLAS DE INFERENCIAREGLAS DE INFERENCIA

QUE ES INFERENCIA?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?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.

Modus PonensModus Ponens (MP) (MP) de (P Q) y P, se deduce Qconocida como la regla de la

afirmación del antecedenteEjemplo:

Si el sol brilla, María está en la playa.El sol brilla.Por lo tanto, María está en la playa.

Modus TollensModus Tollens (MT) (MT)de (P Q) y ~Q, se infiere ~Pconocida como negación del

consecuenteEjemplo:

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 Silogismo Hipotético (SH)(SH)de (P Q) y (Q R), deducimos (P

R).se conoce como razonamiento en

cadenaEjemplo:

Si el sol brilla, María está en la playaSi María está en la playa, está nadando.Por lo tanto, si el sol brilla, María está nadando

Silogismo DisyuntivoSilogismo Disyuntivo (SD) (SD)de (P v Q) y ~P, deducimos que

Q. ~P puede ser también ~Q.Ejemplo:

El sol brilla o está lloviendoEl sol no brilla.Por lo tanto está lloviendo

Conjunción Conjunción (Conj)(Conj)de P y Q, deducimos P ^ QEjemplo:

El sol brillaEstá lloviendoPor lo tanto, el sol brilla y está lloviendo