Este documento describe diferentes reglas de inferencia lógica, incluyendo Modus Ponens, Modus Tollens, Silogismo Hipotético, Silogismo Disyuntivo y Conjunción. Modus Ponens y Modus Tollens son reglas básicas para inferir conclusiones a partir de premisas condicionales. El Silogismo Hipotético permite inferencias en cadena basadas en múltiples condicionales. El Silogismo Disyuntivo y la Conjunción son reglas para sacar conclusiones sobre disyunciones y conjunciones.

1. REGLAS DE INFERENCIAREGLAS DE INFERENCIA

2. 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.

3. 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.

4. Modus PonensModus Ponens (MP)(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.

5. Modus TollensModus Tollens (MT)(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.

6. Silogismo HipotéticoSilogismo Hipotético (SH)(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.
Por lo tanto, si el sol brilla, María está nadando

7. 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á lloviendo
El sol no brilla.
Por lo tanto está lloviendo

8. ConjunciónConjunción (Conj)(Conj)
de P y Q, deducimos P ^ Q
Ejemplo:
El sol brilla
Está lloviendo
Por lo tanto, el sol brilla y está lloviendo