CH 3

 Chapter 3 Exercises: 1 a-h (Symbolize the sentences into formulas) Construct proofs for 4, 6, 7, 8, 12 Below are the sequents for the exercises you are asked to do proofs of. Try to do the symbolization on your own, but check it against the following sequents to see if you got it right before constructing proofs for each one. 4. B, B→L ├ B&L 6. K, I, (K&I)→H ├ H 7. I&F, I→(F→C) ├ C 8. H&L, C, [(H&C)&L]→R ├ R 12. E, M&V, E→[(M&V)→H], H→I ├ I U can visit this link for reference on how the proofs are done for the exact exercises 4, 6, 7, 8, 12 https://youtu.be/fzz9FSsFLBk