Phil. 115 Homework 6

Phil. 115 Homework 6 Posted on-line: Fr, Oct. 7 Distributed on paper: Tu, Oct. 11 Due Date: Monday, Oct. 17, by 11:30 AM

 Important! Note that this homework is due on Monday, 10/17, by 11:30 AM, not on Tuesday, our usual homework day.

 Suggested Preparation for homework: Do the You try it exercises on the following pages: o p. 207, p. 208, pp. 210-212

 Required homework by electronic submission. Do the following exercises, SUBMITTING your answers electronically through the grade grinder. Please SUBMIT these exercises all at the same time, with your TF listed as instructor, before 11:30 AM on 10/17. o 7.16 o 7.17 o 8.2: If a sentence is a consequence of the premises, then write up a formal proof and check the proof by the computer. But no need to submit it. On the other hand, if a sentence is not a consequence, then build a counterexample world, name it as instructed, and submit it. o 8.27: no permission to use Taut Con o 8.29: no permission to use Taut Con o 8.32 o 8.34 o 8.36 o 8.45 o 8.47 o 8.49 o 8.51 o 8.53