MP:

x --> y
x
______
y


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 (DN/EN) :

¬¬ x
____
x


Eliminación bicondicional :

x <--> y
___________
x -> y // y -> x


Ley de Morgan I (LM1) :

¬ (x v y)
________

¬ x ^ ¬ y

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

Ley de Morgan II (LM2) :

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


Eliminación del conjuntor (EC) :

p ^ q
______
p // q


Introducción del conjuntor (IC) :

p
q
_____
p ^ q