(S → P) Premise (~P v O) Premise (O →G) Premise Conclusion:

Last updated: 8/7/2022

(S → P) Premise (~P v O) Premise (O →G) Premise Conclusion: ((S v D) → G)