You are on page 1of 4

LEYES DE INFERENCIA O IMPLICACIONES NOTABLES

1. Modus ponens
2. Modus tollens
3. Modus tollendo ponens
4. Ley conjuntiva
5. Ley simplificativa
6. Ley aditiva
7. Silogismo condicional o ley transitiva
8. Ley de transposicin
9. Ley de translacin
10. Leyes de morgan
11. Dilema constructivo
12. Dilema destructivo
13. Ley del condicional
-------------------------------------------------------------------------------------------------------------1. MODUS PONENS
p q
p
------------ tambin [(p q) p] q
q

Si tenemos una implicacin y


sabemos que el primer trmino
es verdadero entonces
podemos concluir el segundo
trmino.
Se lee: si p implica q y se
cumple p luego se deriva q.

-------------------------------------------------------------------------------------------------------------2. MODUS TOLLENDO TOLLENS [MTT]


p q
q
----------- tambin
p

[(p q) q] p

Es la contra recproca de la condicional


p q

si sabemos que una


implicacin es verdadera y
su consecuente es falso
entonces concluimos la
negacin del primero.
Negar el consecuente
implica negar el

3. MODUS TOLLENDO PONENS


[Eliminacin de la falsa en la disyuncin] Silogismo Disyunto

p q
p
------------q
p q
q
------------p

tambin

[(p q) p] q

Se cumple p o se cumple q
y si
1. No se cumple p se
cumple q

tambin

[(p q) q] p

4. LEY CONJUNTIVA
p
q
------------pq

tambin

p, q p q

Dadas dos premisas se


puede concluir que ambas
premisas se cumplen a la
vez.

-------------------------------------------------------------------------------------------------------------5. LEY SIMPLIFICADA


Dadas p y q, inmediatamente se puede
concluir que p.

pq
pq
Dadas p y q, inmediatamente se puede
------------- o -----------concluir que q.
p
q
-------------------------------------------------------------------------------------------------------------6. LEY ADITIVA
p
q
------------- o ----------pq
qp

Dada una premisa inmediatamente se


puede concluir en una disyuncin de
la premisa dada con cualquier otra
proposicin. Si afirmo p o se cumple p o
se cumple cualquier otra proposicin q.
Si se cumple q se afirma una premisa p
o cualquier otra premisa q.

-------------------------------------------------------------------------------------------------------------7. SILOGISMO CONDICIONAL O LEY TRANSITIVA [silogismo hipottico]


p q
q r
--------------- tambin
p q
[(p q) (q r)] (p r)
8. LEY DETRANSPOSICIN
p q

q p

Si se cumple p se cumple q. Si se
cumple q se cumple r, por lo tanto si se
cumple p se cumple r.
pqr
[transitiva]
Si p implica q se puede afirmar que la
negacin de q implica la negacin de
p.
Si se cumple que la negacin de q
implica la negacin de p, entonces se
puede afirmar que
p implica q.
Observemos que de la premisa lleva a
la conclusin y de la conclusin lleva
a la premisa.

--------------------- o ------------- q p
p q
Esta ley es una extensin del
Modus Tollendo Tolens
-------------------------------------------------------------------------------------------------------------Se puede demostrar su validez a
9. LEY DE TRASLACIN
(p r) r
--------------------- y
p (q r)

p (q r)
--------------------(p q) r

travs de las tablas de verdad o del


mtodo abreviado.
Si se cumple p y q y esto implica r, se
puede concluir que p implica q
entonces r.

Que si se cumple p entonces q y r, se


puede concluir que p y q implica r.
--------------------------------------------------------------------------------------------------------------

10. LEYES DE MORGAN


(p q)
(p q)
----------------- y -----------------p q
p q

Dada la negacin de la disyuncin de p


y q, entonces se puede afirmar la
conjuncin de ambas negadas.
Si se niega la conjuncin de p y q, se
transforma en la disyuncin de ambas
negadas.
La disyuncin se transforma en
conjuncin y la conjuncin se
transforma en disyuncin.
Siempre pasando el conectivo de la

-------------------------------------------------------------------------------------------------------------11. DILEMA CONSTRUCTIVO


Si se cumple p y q y adems se cumple
de que r entonces s, si se cumple p o r,

(p q) (r s)
es decir, si se cumplen los
(p r)
antecedentes entonces se concluye
---------------------------que uno de los consecuentes se debe
qs
cumplir.
-------------------------------------------------------------------------------------------------------------12. DILEMA DESTRUCTIVO
Si p implica q y r implica s, entonces si
(p q) (r s)
negamos q o negamos s, entonces uno de
q s
Si p implica q, podemos afirmar
los antecedentes p y r negados, se debe
------------------------------negacin de p o q, y si se cumple la
de cumplir.
p r
negacin de p o q, tambin podemos
Sale como consecuencia de la Ley de
afirmar p entonces q.

13. LEY DEL CONDICIONAL

p entonces q me lleva a la disyuncin


y la disyuncin de negacin de p o q,
me lleva a la implicacin de p con q.
Esta Ley se ha tomado de la misma
frmula de la lgica proposicional:
toda implicacin siempre se puede
expresar como una disyuncin: p

p q
---------------- o
p q

p q
----------------p q

como tambin:
qp
---------q p

q p
---------qp

13. LEY DE ABSORCIN


p q p (q p )
Si estudio aprendo. Estudio, luego aprendo y estudio.