Title: An introductory logic