Deducción Natural

Moduns Ponens (MP): 

x --> y

x

______

y

Moduns Tollens (MT):

x --> y

      ¬y

______

¬x

Silogismo disyuntivo (SD) :

x v y

¬y

_____

x

Transitividad condicional (TC) :

x --> y

y --> j

______

x --> j

Doble negación (EN) :

¬¬ x

____

     x

Eliminación bicondicional : (EBi)

x <--> y

___________

x -> y // y -> x

Ley de Morgan I  :

¬ (x v y)

________

¬ x ^ ¬ y

¬ ( x v y ) <--> (¬ x ^¬ y )

Ley de Morgan II :

¬ ( x ^y ) <--> (¬ x v ¬ y)

Eliminación del conjuntor (EC) :

p ^ q
______
p // q


Introducción del conjuntor (IC) :

p

.

.

.q
_____
p ^ q

AQUÍ OS DEJO ESTE PDF COMO AYUDA!!!