HW 4 - Predicate Logic

Complete exercises 7.1: 1, 5ab, 7cd, 8cd, 10, 12, 14ab, 15ab, 16b, 19de; 7.2: 3cd, 4ab, 5ab, 6b, 7, 9ab; 7.3: 1ab, 2, 5, 8ab. Note that exercises in bold in the book have a solution in the back so that you can check your work.