Exercises for self study. Complete these exercises in the textbook and
compare your solutions against those in the back of the book. These exercises
will not be graded.
pp. 82, 83, Exercises 5 and 11
p. 95, Exercises 7 and 9
Exercises to be graded. Complete these exercises and turn in your
solutions.
Consider the premises
“If Socrates is a philosopher, then Socrates is a human,”
“If Socrates is a human, then Socrates is mortal,” and
“Socrates is a philosopher.”
Using rules of inference, prove that these premises lead to the conclusion
“Socrates is mortal.”
Using rules of inference, prove that the argument of the form with the
premises $\neg p \wedge q, r \rightarrow p, \neg r \rightarrow s$ and the
conclusion $s$ is valid.
Prove that, if an integer $n$ is odd, then so is $n^3$.
Using what you just proved in Exercise 3, prove that $\sqrt[3]{2}$ is
irrational.
Plagiarism and academic dishonesty.
Remember, under any circumstance, you must not copy part or all of another's
work and present it as your own. For more details, read
our course policy on plagiarism and
academic dishonesty.