Introduction to Logic: Purpose, Structure, and Foundations