CPSC 203: Mathematical Foundations of Computing Fall 2025

Homework 2

Due Friday, September 19

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. Exercises to be graded. Complete these exercises and turn in your solutions.
  1. 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.”
  2. 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.
  3. Prove that, if an integer $n$ is odd, then so is $n^3$.
  4. 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.


* CPSC 203 home page
Valid HTML 4.01!