Course Site for Comp 283
Prove that the sum of two odd positive integers is an even positive integer.
Prove the following statement:
If \(n^2\) is odd, then \(n\) is odd.
(Hint: Try a proof by contrapositive or proof by contradiction.)
Prove that if \(x\) and \(y\) are real numbers such that \(x +y \leq 1\), then \(x \leq 1/2\) or \(y \leq 1/2\).
(Hint: Try a proof by contrapositive or proof by contradiction.)
For finite sets \(X\) and \(Y\), how you would exhaustively prove that \(f: X \to Y\) is a bijection?
Prove that if \(x \in A \cap (B \cup C)\), then \(x \in (A \cap B) \cup (A \cap C)\).
(Hint: Translate this to propositional logic using the definitions of intersection and union.)