Construct propositional logic proofs for the following sequents, using only primitive inference rules 1. P → R, (P & R) → s P→ S Need a PA of P. Then arrow-out for R. Use &l to get P&R. Then arrow-out...

B7

Extracted text: Construct propositional logic proofs for the following sequents, using only primitive inference rules 1. P → R, (P & R) → s P→ S Need a PA of P. Then arrow-out for R. Use &l to get P&R. Then arrow-out for S. Then the last step is to arrow-in for the conclusion.