Actividad 2, 3er. periodo.

Tema: Deducción natural.

Subtema: Demostración de argumentos mediante reglas de inferencia.

Demostrar: d→p

1) ( b • m ) → p
2) - r → - ( q V n )
3) c → - p
4) ( q V n ) V ( d → e )
5) e → p
6) r → ( b • m )
7) c
_____________________