Title: A First Course in Logic Solutions to Practice Exercises