Protected: Protected: Fall 2018: Introduction to Logic