INFERENCIAS NOTABLES

PROF. JORGE A. ELÍAS ZAVALA

Inferencias Notables: Son esquemas condicionales tautológicos, es decir representan
Inferencias Válidas. Las más importantes son:
1) Regla del Modus Ponendo Ponens (MPP): A partir de una fórmula condicional y de la
afirmación de su antecedente, se obtiene su consecuente.
1. A → B Ley del Modus Ponens (MP)
2. A [ ( p → q )  p] → q
\B
Ejemplo: Determinar la validez de la siguiente inferencia:
“Si se incrementa el IGV, aumenta la informalidad. Se incrementa el IGV. Luego, aumenta la
informalidad”.
Forma lógica
1. Si se incrementa el IGV, entonces aumenta la informalidad.
2. Se incrementa el IGV.
Luego, aumenta la informalidad
Formalizando:
p: Se incrementa el IGV
q: Aumenta la informalidad
1. p → q 1. A → B
Que coincide con la estructura del
2. p 2. A
Modus Ponendo Ponens Respuesta: Válida
∴ q ∴ B
por el MPP
2) Regla del Modus Tollendo Tollens (MT): A partir de una fórmula condicional y de la
negación de su consecuente, se obtiene la negación del antecedente.
1. A → B Ley del Modus Tollens (MTT)
2. ~ B [( p → q )  ~ q ] → ~ p
\~A
Ejemplo: Determinar la validez de la siguiente inferencia:
“Si eres estudiante del IESTP “La Unión”, te están preparando bien. No te están preparando bien.
Consecuentemente no eres estudiante del IESTP “La Unión”
Forma lógica
1. Si eres estudiante del IESTP “La Unión”, entonces te están preparando bien
2. No te están preparando bien
Luego, no eres estudiante del IESTP “La Unión”
Formalizando:
p: Eres estudiante del IESTP “La Unión”
q: Te están preparando bien

1. p → q 1. A → B
Que coincide con la estructura del
2. ~q 2. ~B
Modus Tollendo Tollens Respuesta: Válida
∴ ~p ∴ ~A
por el MTT
3) Regla del Silogismo Hipotético (SH): A partir de dos fórmulas condicionales, donde el
consecuente de la primera es el antecedente de la segunda, se obtiene una condicional
formada por el antecedente de la primera y el consecuente de la segunda.
1. A → B Ley del Silogismo Hipotético (SH)
2. B → C [( p → q )  ( q → r ) ] → ( p → r )
\A→C
Ejemplo: Determinar la validez de la siguiente inferencia:
“3 es menor que 4 si 4 es mayor que 3. Y 3 es diferente de 4 si 3 es menor que 4. Luego, 3 es
diferente de 4 si 4 mayor que 3”.
Forma lógica
1. Si 4 es mayor que 3, entonces 3 es menor que 4.
2. Si 3 es menor que 4, entonces 3 es diferente de 4.
Luego, si 4 es mayor que 3, entonces3 es diferente de 4.
Formalizando:
p: 4 es mayor que 3
q: 3 es menor que 4
r: 3 es diferente de 4
1. p → q 1. A → B
Que coincide con la estructura del
2. B → C
2. q → r Silogismo Hipotético
\A→C
Respuesta: Válida
por el SH
∴ p→r
4) Regla del Silogismo Disyuntivo (SD): A partir de una fórmula disyuntiva y de la
negación de una de sus componentes, se obtiene la otra componente.

a) 1. A  B Ley del Silogismo Disyuntivo (SD)

2. ~ A [(pq)~p]→q
\B

b) 1. A  B
2. ~ B [(pq)~q]→p
\A
5) Regla del Dilema Constructivo (DC): A partir de dos fórmulas condicionales y de
la disyunción de sus antecedentes se obtiene la disyunción de sus consecuentes.

1. A → B Ley del Dilema Constructivo (DC)

2. C → D
3. A  C { [(p → q)  (r → s) ]  (p  r)} → (q  s)
\B  D
6) Regla del Dilema Destructivo (DD): A partir de dos fórmulas condicionales y de la
disyunción de las negaciones de sus consecuentes, se obtiene la disyunción de las
negaciones de sus antecedentes.

1. A → B Ley del Dilema Destructivo (DD)

2. C → D {[( p → q )  ( r → s )]  ( ~ q ~ s ) }→ ( ~ p  ~ r)
3. ~ B  ~ D
\~A~C

7) Regla de la Simplificación (Simp.): A partir de la conjunción de dos fórmulas se

obtiene una de ellas.

a) 1. A  B Ley de Simplificación (Simp.)

\B (pq)→q

b) 1. A  B
\A (pq)→p
8) Regla de la Conjunción (Conj.): A partir de dos fórmulas se obtiene la conjunción
de ambas.

1. A Ley de la Conjunción (Conj.)

2. B (pq)→(pq)
\AB

9) Regla de la Adición (Ad.): A partir de una fórmula se obtiene la disyunción de esa

fórmula con cualquier otra.

1. A Ley de la Adición (Ad.)

\AB p→(pq)
Ejemplo: Determinar la validez de la siguiente inferencia:
“Tanto la azitromicina como la hidroxicloroquina se utilizan contra el Covid 19. Por
tanto, la hidroxicloroquina se usa contra el Covid 19”
Forma lógica

1. La azitromicina se utiliza contra el Covid 19 y la hidroxicloroquina se utiliza contra

el Covid 19.
Luego, la hidroxicloroquina se utiliza contra el Covid 19

Formalizando:
p: La azitromicina se utiliza contra el Covid 19
q: La hidroxicloroquina se utiliza contra el Covid 19

1. p  q Que coincide con la estructura AB

\q válida de la Simplificación \B
Respuesta: La inferencia es
Válida por Simp.