REGLAS DE INFERENCIA

LÓGICA

Ing. C. Dominguez B.
CONTENIDO

VALIDACIÓN DE
REGLAS DE
INFERENCIA LÓGICA RAZONAMIENTO
INFERENCIA
LÓGICO

MATERIAL DE
MATERIAL DE
APOYO EJEMPLOS
APOYO VIDEOS
ADICIONALES
RAZONAMIENTO DEDUCTIVO VÁLIDO O INFERENCIA LÓGICA
Es un conjunto de proposiciones, en la cual una de ellas aparece como
conclusión de los otros.

Es una fórmula proposicional de la forma:(p1∧p2∧p3∧...∧pn)⇒ C

y que se anota:

Donde P1, P2, P3,...Pn son

proposiciones (TODAS VERDADERAS)
llamadas premisas y C es la
conclusión, y:
(p1∧p2∧p3∧...∧pn)⇒ C ES UNA
TAUTOLOGÍA
REGLAS DE INFERENCIA

1. MODUS PONENDO PONENS (MPP) 2. MODUS TOLLENDO TOLLENS (MTT)

MENÚ DE
INICIO
4. MODUS TOLLENDO PONENS (MTP) 5. SILOGISMO HIPOTETICO (SH)

MENÚ DE
INICIO
5. DILEMA DISYUNTIVO CONSTRUCTIVO 6. SIMPLIFICACIÓN (S)
(DDC)

MENÚ DE
INICIO
7. ADICIÓN CONJUNTIVA (AC) 8. ADICIÓN DISYUNTIVA (AD)

MENÚ DE
INICIO
VALIDACIÓN DE RAZONAMIENTO LÓGICO.
Para validar un razonamiento lógico, se siguen los siguientes pasos.

1° PASO Enumerar las premisas.

2° PASO Combinar las premisas y aplicar las reglas de inferencia (Ir tachando
las premisas que se utilizaron).

3° PASO el resultado del 2° paso será otra premisa que también debe ser
enumerada y cuenta como nueva premisa (Anotar la regla que fué utilizada).

4° PASO Combinar premisas aplicando las reglas de inferencia hasta que ya no

queden más premisas para combinar y se determine si el razonamiento es válido
o no.

NOTA: También puede ulizarse las leyes lógicas en las premisas.

NOTA. Puede volverse a utilizar una premisa que ya fue utilizada
anteriormente.
MENÚ DE
INICIO
EJEMPLO:

Probar la validez del Solución:

siguiente razonamiento:
1) R ⇒ ∼S
1) R ⇒ ∼S
2) S 2° PASO
2) S 1° PASO
3) ∼R⇒(P∨Q)
3) ∼R⇒(P∨Q)
4) ∼R MTT 1 y 2 3° PASO
--------------------
5) P∨Q MPP 3 y 4
∴P∨Q 4° PASO

Razonamiento Válido

MENÚ DE
INICIO
MATERIAL DE APOYO: EJEMPLOS ADICIONALES

En el siguiente ENLACE podrás encontrar

algunos ejercicios resueltos adicionales.

MENÚ DE
INICIO
 MENÚ DE
INICIO

MATERIAL DE APOYO: VIDEOS

Modus Ponendo Ponens MPP

Modus Tollendo Tollens MTT Silogismo Hipotético SH
Modus Tollendo Ponens MTP
 MENÚ DE
INICIO

MATERIAL DE APOYO: VIDEOS

Dilema Disyuntivo Constructivo DDC

Ejercicios varios
Ley de Adición Disyuntiva AD
MATERIAL DE APOYO: VIDEOS

Problemas de Inferencia lógica MENÚ DE

INICIO