Philosophy 201, Introductory Logic