Title: Introductory Symbolic Logic