I've been through this a few times and am very comfortable with it. It covered
- truth tables
- symbolic modeling
- 18 basic rules/operations for propositional logic
- existential quantifiers
- predicate/relational logic

Where do I go from here? I'm kind of a brainlet so I need stepping stones, but I'd like to work on reasoning and thinking better. My life has improved (asmall amount, but noticeable) since beginning this book.