Parece bastante asequible ese examen de lógica. Yo la aprobé el año pasado, pero creo que todavía soy capaz de resolver con solvencia cualquier ejercicio de deducción natural.
Vamos a ello (por si a alguien le sirve de ayuda):
1. (p -->q) --> r P
2. s --> ¬p P
3. t P
4. (¬s ^ t)-->q P
5. ¬r Supuesto (se abre para encontrar una contradicción y con RI¬ cerrarlo)
6. ¬(p-->q) MT 1,5
7. p ^ ¬q Interdefinición -->,^ 6
8. p RE^7
9. ¬q RE^7
10. ¬s MT 2,8
11. ¬s ^ t RI^ 10,3
12. q MP 4,11
13. q ^ ¬q RI^ 9,12 (Cierro supuesto)
14. ¬¬r RI¬ 5,13
15. r RE¬ 14
Saludos
