LÓXICA I - Marián Costa

Cando publiquei a resposta dinme de conta de que había outra maneira máis doada de resolvelo, sería o seguinte:

1. p V q

-2.p --> r                                                    |- r V w     

-3.q --> s

-4. t ^ ¬s

5. ¬s              E ^4

6.  ¬q            TT 3,5

7. p               SD 1,6

8. r                E-->2,7

9.r V w           Iv8