Esquema de columnas sobre REGLAS DE INFERENCIA

De manera grupal, los estudiantes completan el siguiente esquema de columnas sobre las reglas de
inferencia, basándose en la lectura “Equivalencias Notables e Implicaciones Notables” y en la presentación
multimedia “Las Reglas de Inferencia”.

NOMBRE REGLA EXPLICACIÓN EJEMPLO

Según esta regla si se
afirma el antecedente de
MPP una premisa condicional,
se concluye la afirmación
Modus de dicha premisa.
Ponens

Si se niega el consecuente
de una premisa
MTT condicional, se concluye la
negación del antecedente
Modus de dicha premisa.
Tollens

Si de un conjunto de dos
premisas condicionales el
consecuente de una de las
SHP premisas es afirmación del
antecedente de la otra
Silogismo premisa, entonces del
Hipotético antecedente de una de las
Puro premisas se deriva el
consecuente de la otra
premisa.

Si se niega uno de los

componentes de una
SD premisa disyuntiva, se
concluye la afirmación del
Silogismo otro componente.
Disyuntivo

Dos negaciones con el

mismo alcance equivalen a
DN una afirmación.

Doble
Negación
 Según las leyes de Morgan,
la negación se interna en
cada uno de sus
DM componentes, a la vez que
el operador cambia de “v”
De Morgan a “^” o viceversa.

Los componentes de las

fórmulas conjuntivas,
disyuntivas y
Conmut. bicondicionales se pueden
permutar.
Conmutatividad

Nos indica que dos o más

conjunciones con la misma
jerarquía se pueden
Asoc. agrupar indistintamente.
Esta afirmación vale
Asociatividad también para las
disyunciones y los
bicondicionales.