Deducción Formal (Lógica Matemática) - Teorema de la Deducción -

Demostrar:

https://www.facebook.com/ajax/messaging/attachment.php?attach_id=d6451d587cb8706172b2f7ae7153009b&ext=1329922398&hash=AQDsX69yOX-_LJkz&mid=id.319436211440686

Libro: Elementos de lógica y calculabilidad - Xavier Caicedo F.

https://www.facebook.com/ajax/messaging/attachment.php?attach_id=d4a5d2ebafdd817d79d96d415dd8d1eb&ext=1329922376&hash=AQAM69TFmIaUwcOQ&mid=id.347338951973375

https://www.facebook.com/ajax/messaging/attachment.php?attach_id=f7932515e3c5520cbaf356d8ea67d732&ext=1329922389&hash=AQBBnPFKrflNow7T&mid=id.394777597205186