Exercises in Sentential Logic