Jump to content

Propositional logic proof Could someone please tell me if I did it right?


avni

Recommended Posts

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

 

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.