GUÍA Nº8: LEYES DE INFERENCIA

Elaborada por el Prof.: Guillermo Arraiz.

INFERENCIA LÓGICA: Se denomina inferencia lógica al proceso que permite
deducir una conclusión partiendo de un conjunto de premisas mediante la
utilización de determinadas leyes y reglas lógicas.

Una inferencia lógica, como todo razonamiento, debe tener la siguiente estructura:

P1, P2, P3, … Pn |― C

Dónde:
P1, P2, P3, … Pn: Premisas.
C: Conclusión.
|―: Deducible de.

Y se lee “C” es deducible de P1, P2, P3, … Pn.

LEYES DE INFERENCIA: Son expresiones formales (razonamientos válidos,

específicamente) cuya función consiste en trabajar un determinado conjunto de
premisas hasta lograr demostrar la conclusión de un razonamiento. Y por lo tanto,
su validez.

Las leyes de inferencia se dividen en dos grupos:

 Leyes Principales:

a. Modus Ponendo Ponens (M.P.P): También se lee como “Modo afirmar,

afirmando”. Si se tienen dos premisas, siendo una de ellas un condicional y la
otra premisa es el antecedente de dicho condicional, es deducible el
consecuente del condicional. Simbólicamente se escribe así:

p  q, p  q
b. Modus Tollendo Tollens (M.T.T): También se lee como “Modo negar,
negando”. Si se tienen dos premisas, siendo una de ellas un condicional y la
otra premisa niega el consecuente de dicho condicional, la conclusión lógica
es negar el antecedente del condicional. Simbólicamente se escribe así:

p  q, ~ q  ~ p

c. Modus Tollendo Ponens (M.T.P): También se lee como “Modo negar,

afirmando”. Si se tienen dos premisas, siendo una de ellas una disyunción y la
otra premisa niega a la primera o a la segunda premisa, la conclusión lógica es
la otra premisa es la otra proposición de la disyunción. Simbólicamente se
puede escribir de estas dos formas:

p  q, ~ q  p
p  q, ~ p  q

d. Silogismo Hipotético (S.H): Dados dos condicionales tales que el

consecuente del primer condicional es el antecedente del segundo, tiene
como conclusión un condicional formado por el antecedente del primer
condicional y el consecuente del segundo condicional. Simbólicamente se
escribe así:

p  q, q  r  p  r

e. Dilema Constructivo (D.C): Si se tienen como premisas dos condicionales y

una disyunción formada por los condicionales de los dos condicionales, se
tiene como conclusión una disyunción formada por los consecuentes de
ambos condicionales. Simbólicamente se escribe así:

p  q, r  s, p  r  q  s
 f. Simplificación: Dada una premisa por la conjunción de dos proposiciones, se
tiene como conclusión a una de las dos proposiciones. Simbólicamente se
puede escribir de estas dos formas:

pq  p
pq  q

g. Adición: Si se tiene como premisa a una proposición, la conclusión es la

disyunción de la proposición con otra proposición cualquiera.

p  pq

h. Adjunción o Conjunción: Si se tienen dos proposiciones como premisas, la

conclusión es la conjunción de las dos proposiciones.

p, q  p  r

 Leyes Secundarias: También llamadas “leyes del álgebra proposicional” , son

una serie de leyes del complementarias que permiten hacer cálculos
adicionales a las leyes de inferencias antes mencionadas. Estas leyes se
resumen en los siguientes cuadros:

Leyes de Idempotencia: Leyes de Morgan:

p p  p ~ ( p  q) ~ p ~ q
p p  p ~ ( p  q) ~ p  ~ q
Leyes Conmutativas: Leyes de Complementación:
pq  q p Principio de Contradicción: p ~ p  F
pq  q p Principio del Tercer Excluido: p ~ p  V

Leyes Asociativas: Equivalencias del Condicional:

p  q ~ p  q (Ley del Condicional)
p  (q  r )  ( p  q)  r p  F ~ p ; V  q  q
p  (q  r )  ( p  q)  r p V  V ; F  q  V
p  p V ; ~ p  p  p
 Leyes Distributivas: Equivalencias del Bicondicional:
p  (q  r )  ( p  q)  ( p  r ) p  q  ( p  q)  (q  p) (Ley del Bicondicional)
p  (q  r )  ( p  q)  ( p  r ) p  q  (~ p  q)  (~ q  p)
p  V  p ; p  F ~ p ; p  p  V ; p ~ p  F

Leyes de Absorción: Negación del Bicondicional:

p  ( p  q)  p ~ ( p  q) ~ p  q
p  ( p  q)  p ~ ( p  q)  p ~ q
Ley de Involución: Leyes de Identidad:
p V  p ; p V  V
~ (~ p)  p pF  F ; pF  p

EN LA SIGUIENTE PÁGINA ENCONTRARÁN UNA TABLA RESUMEN CON

TODAS LAS LEYES QUE SE DESCRIBIERON ANTERIORMENTE.

NOTA: ESTA TABLA DEBE SER IMPRESA PARA EL TRABAJO EN CLASE.