avni

1 1. P v Q A |- R & S A--> ASSUMPTION PA--> PROVISIONAL ASSUMPTION 2 2. R A 4 3. P--> S A 5 4. Q--> S A 3,5 5. P P 3,5 6. S 3,5--> O 2,3,5 7. R&S 2,6& I 2,3 5 8. P & (R & S) 5,7 & I 2,3,5 9. R&S 8 & 0 2,3 10. P--> (R&S) 5-9--> I 11 11. Q PA 4,11 12. S 4,11-->O 13 13. R PA 4,11,13 14. R&S 12,13 & I 4,11,13 15. Q & (R&S) 11,14 & I 4,11,13 16. R&S 15 & O 4 17. Q--> (R&S) 11-16 --> I 1,2,3,4 18. R&S 1,10,17 VO