Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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