I have put online a first batch of the end-of-chapter exercises for IFL2. There are PDFs of each set of exercises in stand-alone form, and then PDFs of worked answers (in some cases with an amount of discussion).
These should be of some use to beginning students, whether or not they are following a version of IFL. The exercises relate to the opening seven chapters, introducing notions like validity, soundness, proof, form, proposition, etc. in very informal ways.