An introductory logic