Deduccion Natural

Transitividad del condicional:

          A → B
          B → C
       _________
         A → C

Introduccion del bicondicional:

         A → B
         B → A
       ________
        A ↔ B

Eliminacion del bicondicional:
         
         A ↔ B
 _____________
 A → B // B → A

Transitiva del bicondicional: 
   
          A ↔ B
          B ↔ C
       _________
          A ↔ C
Leyes de Morgan:

1º ¬ ( A ^ B ) ↔ ¬ A \/ ¬ B
2º ¬ ( A \/ B ) ↔ ¬ A ^ ¬ B

Definicion del conjuntor:

1º A ^ B ↔ ¬ ( A → ¬ B )
2º A ^ B ↔ ¬ ( ¬ A \/ ¬ B )

Definicion del disyuntor:

1º A \/ B ↔ ¬ A → B
2º A \/ B ↔ ¬ ( ¬ A ^ ¬ B )