lógica

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

¬¬ x
____
     x


Eliminación bicondicional :

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