PHIL 20100 91 (Summer 2017) Elementary Logic