LÓXICA I - Marián Costa

-1. p -> q                                  I- p -> s

-2. p -> ( q -> r)

-3. q ->( r-> s)

 4. p  

 5. q         M.P 1,4

 6. q -> r   M.P 2,4

 7. r         M.P 6,5

 8. r-> s    M.P 3,5

 9. s          M.P 8,7

 10. p -> s   I -> 4 - 9

* A cor azul indica o que abarcaría o corchete.