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
[(p q) q] p
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
pq
pq
Dadas p y q, inmediatamente se puede
------------- o -----------concluir que q.
p
q
-------------------------------------------------------------------------------------------------------------6. LEY ADITIVA
p
q
------------- o ----------pq
qp
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
(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.
p q
---------------- o
p q
p q
----------------p q
como tambin:
qp
---------q p
q p
---------qp