| M.P. Modus ponens Afirm. antec. |
p
®
q
p --------- q |
M.T. Modus tollens Negando conse cuente |
p
®
q
Øq -------- Ø p |
D.N. Doble negación |
Ø
Ø
p
-------- p |
R.Abs Reducción al absurdo |
p®
(qÙØq)
------------- Øp |
|
| I.C. introd. conjunc. |
p
q -------- p L q |
E.C. Elim. conjunc. | p
L
q
--------- p |
I.B. Introducción bicondicional |
p
®
q q ®
p -------- p « q |
E.B. Eliminación bicondición
|
p
«
q
----------- p ®
q |
|
| M.1 Primera de Morgan |
Ø
( p L
q )
------------ Ø
p V Øq |
M.2 Segunda de Morgan |
Ø
( p V q )
--------- Ø p L Ø q |
E.D. Eliminación disyunción negando un extremo |
pVq
Øp --------- q |
E.D.E Eliminación disyunción excluyente afirmando un extremo |
pWq p ----------- Ø q |
|
 |