Usuario:Rafael~eswikibooks/ejercicio 19

DEMUESTRE: q\vee\; r

1. s$\to \;$(r$\vee \;$q)............p1
2. s$\vee \;$t.....................p2
3. ¬t............................p3

__________________________________

4. s............................p4 (tollendo ponens p2,p3)

5. r$\vee \;$q....................p5 (ponendo ponens p1,p4)

6.q$\vee \;$r.....................conclusion (regla conmutativa P5)