You may only use the the logical equivalencies and inference rules in the links provided:

https://courses.cs.washington.edu/courses/cse311/18sp/documents/LogicalEquivalence.pdf

https://courses.cs.washington.edu/courses/cse311/18sp/documents/inference_rules.pdf

2. Formal Proofs (25 points) (a) [15 Points] Write a formal proof using inference rules that given (p^-)v (??^1), r -s, and s A p), the proposition s - must also be true. (b) [10 Points] Write a formal proof using inference rules of ((p q)^ (r -y)) (r 2. Formal Proofs (25 points) (a) [15 Points] Write a formal proof using inference rules that given (p^-)v (??^1), r -s, and s A p), the proposition s - must also be true. (b) [10 Points] Write a formal proof using inference rules of ((p q)^ (r -y)) (r