An Introductory Logic by