Logic: Exercises