completar las siguientes demostraciones indicando qué reglas justifican los resultados obtenidos en cada fila

1 demostrar :Q
(1) -P -> -r.

(2) -q -> -p

3 Demostrar :-S
(1) p -> q
(2) q -> r
(3) s -> -r
(4) p

4 demostrar : -r
(1) r -> s
(2) s -> t
(3) t ->M
(4) -M​