Deducción Formal (Lógica Matemática) - Reducción al absurdo

Simbolice el siguiente argumento y demuestre  que la conclusión se deduce formalmente de las premisas.

https://www.facebook.com/ajax/messaging/attachment.php?attach_id=21afebc95daf8e3574afba10f6e120d5&ext=1329923118&hash=AQDJzdFAj_zYYgbR&mid=id.300001523396452

Teoría:

https://www.facebook.com/ajax/messaging/attachment.php?attach_id=645797e521f45af24465141fb4ce6e53&ext=1329923118&hash=AQBjhsOBFoxqxzND&mid=id.300001523396452

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