UNIVERSIDAD NACIONAL

JOSÉ FAUSTINO SÁNCHEZ CARIIÓN

FACULTAD DE INGENIERIA AMBIENTAL

DEPARTAMENTO ACADÉMICO DE CIENCIAS

LÓGICA MATEMÁTICA
Semestre : 2022 - 2
REGLAS DE INFERENCIA
DOCENTE: Mg. Alvino Aldave Vicente M.
COMAP N° 1913
 REGLAS DE
INFERENCIA
 REGLAS DE INFERENCIA
LA INFERENCIA LÓGICA O ARGUMENTO
LÓGICO:
Al proceso de pasar de un conjunto de premisas a una conclusión
se denomina inferencia lógica o Argumento lógico.
La inferencia lógica es una condicional de la forma:
(𝑝1 ∧ 𝑝2 ∧ ⋯ ∧ 𝑝𝑛 ) → 𝑞 (𝛼)

DONDE: las proposiciones 𝑝1 , 𝑝2 , … , 𝑝𝑛 son llamadas premisas

y que originan como consecuencia otra proposición 𝑞 llamada
conclusión.
 REGLAS DE INFERENCIA
OBSERVACIÓN.
Una inferencia lógica puede ser una tautología, una
contingencia o una contradicción y por lo tanto se tiene:

01 Si la condicional 𝛼 es una tautología se denomina

argumento válido o inferencia válida.

02 Si la condicional (𝛼) no es una tautología se denomina

FALACIA.
 REGLAS DE INFERENCIA
DEFINICIÓN:
EI argumento (𝛼) es verdadero si 𝑞 es verdadero cuándo todas
las premisas 𝑝1 , 𝑝2 , … , 𝑝𝑛 son verdaderos, en cualquier otro
caso el argumento (𝛼) es falso.

NOTACIÓN. También el argumento (𝛼) se denota por:

𝑝1 , 𝑝2 , … , 𝑝𝑛 → 𝑞 (𝛽)
 REGLAS DE INFERENCIA
Ejemplo # 01:
Determinar si 𝑝 ∨ 𝑞 es una consecuencia válida de ~𝑝 → ~𝑞,
~𝑞 → 𝑟, ~𝑟

Solución:
 REGLAS DE INFERENCIA
Ejemplo # 02:
Demostrar que el argumento es válido.
𝑝
𝑝→𝑞
∴ 𝑞
Solución:
INFERENCIAS
VÁLIDAS
NOTABLES
 REGLAS DE INFERENCIA
MODUS PONENDO PONENS:
Simbólicamente se expresa así.
Consideremos algunos ejemplos del uso de esta regla en la sea:
deducción de conclusiones a partir de premisas.
𝑝 = Él está en el partido de fútbol.
𝑞 = Él está en el estadio.
Premisa 1. Si él está en el partido de fútbol, entonces él
está en el estadio.
Entonces:
Premisa 2. Él está en el partido de fútbol.
Premisa 1. 𝑝→𝑞
Premisa 2. 𝑝
Conclusión. Él esta en el estadio.
Conclusión. ∴ 𝑞
 REGLAS DE INFERENCIA
01 Modus Ponendo Ponens (PP)

𝑝→𝑞 𝑝 → ~𝑞 ~𝑝 → 𝑞
𝑝 𝑝 ~𝑝

∴ 𝑞 ∴ ~𝑞 ∴ 𝑞
 REGLAS DE INFERENCIA
02 Modus tollendo tollens (TT)

𝑝→𝑞 ~𝑝 → ~𝑞
~𝑞 𝑞

∴ ~𝑝 ∴ 𝑝
 REGLAS DE INFERENCIA
03 Silogismo hipotético (SH)

𝑝→𝑞
𝑞→𝑟

∴ 𝑝→𝑟
 REGLAS DE INFERENCIA
04 Tollendo Ponens (TP)

𝑝∨𝑞 𝑝∨𝑞
~𝑞 ~𝑝

∴ 𝑝 ∴ 𝑞
 REGLAS DE INFERENCIA
05 Doble negación (DN)

~(~𝑝) ~(~𝑞)

∴ 𝑝 ∴ 𝑞
 REGLAS DE INFERENCIA
06 Adjunción y Simplificación:

Adjunción(A) Simplificación (S)

𝑝
𝑞 𝑝∧𝑞

∴ 𝑝∧𝑞 ∴ 𝑝

∴ 𝑞
 REGLAS DE INFERENCIA
07 Ley de la Adición (LA)

∴ 𝑝∨𝑞
 REGLAS DE INFERENCIA
08 Silogismo Disyuntivo (DS)

𝑝∨𝑞
𝑝→𝑟
𝑞→𝑠

∴ 𝑟∨𝑠
 REGLAS DE INFERENCIA
09 Simplificación Disyuntiva(SD)

𝑝∨𝑞
𝑝→𝑟
𝑞→𝑟

∴ 𝑟
 REGLAS DE INFERENCIA
10 Ley de Absorción (Abs.)

𝑝→𝑞

∴ 𝑝 → (𝑞 ∧ 𝑝)
 REGLAS DE INFERENCIA
Ejemplo # 03:
Mediante el método directo comprobar la validez de la inferencia
lógica.
[~𝑝 ∧ (𝑝 ∨ 𝑞)] → 𝑞
Solución:
 REGLAS DE INFERENCIA
Ejemplo # 04:
Verifique la validez de los siguientes argumentos:

𝑝→𝑞 𝑢→𝑣
𝑟→𝑝 𝑞→𝑢
𝑟 ~𝑣

Solución: Solución:
 REGLAS DE INFERENCIA
Ejemplo # 05:
Verifique la validez de los siguientes argumentos:

𝑛→𝑡 𝑤→𝑥
𝑠→𝑛 𝑧→𝑤
𝑠 ~𝑥

Solución: Solución:
 REGLAS DE INFERENCIA
Ejemplo # 06:
Verifique la validez de los siguientes argumentos:

𝑣→𝑝 𝑛→𝑡
𝑝→𝑚 𝑡 → ~𝑣
𝑣 𝑣

Solución: Solución:
 REGLAS DE INFERENCIA
Ejemplo # 07:
Verifique la validez de los siguientes argumentos:

𝑞→𝑟 𝑞→𝑝
~𝑡 → 𝑞 ~𝑞 → 𝑟
~𝑡 ~𝑝

Solución: Solución:
 REGLAS DE INFERENCIA
Ejemplo # 08:
Verifique la validez de los siguientes argumentos:

~𝑝 → 𝑞 𝑤
𝑣 → ~𝑞 ~𝑡 → 𝑞
~𝑝 𝑡 → ~𝑤

Solución: Solución:
 EJERCICIOS
PROPUESTOS
 EJERCICIOS PROPUESTOS
Problema # 01:
Demostrar: 𝑞 Demostrar: ∼ 𝑝

(𝑝 ∨ 𝑟) → 𝑞 𝑝 → ~(𝑞 ∨ 𝑟)
𝑝 𝑞

Solución: Solución:
GRACIAS
No juzgues cada día
por lo que cosechas,
sino por las semillas
que plantas.
Robert Louis Stevenson.