PHIL 20100 91 (Summer 2018) Elementary Logic