Title: An Introductory Logic