Logic in Practice: A First Guide to Both Formal and Informal Reasoning