Assignment 2

This is the second of two assignments and is worth 15% of the total grade. The assignment is due Monday, 13 Apr 2026, 11:59 PM. Submit your solutions digitally on Canvas, where a submission box will be open under “Assignments > Assignment 2”.

There are 5 questions for a total of 30 marks.

Please make sure your handwriting is legible. You may scan/take a picture of handwritten solutions, you may also type your solutions. We are not particular about the symbol use if you cannot type out the symbols but please make it clear to us what symbol you were intending to use.

How to submit:

• Submit online on Canvas. There will be a submission box on Canvas for you to submit your document. Either .docx, .pdf, or a picture of your written solutions are acceptable as long as we can read your attempts.

Collaboration Policy:

• You may discuss high-level ideas with your classmates or friends. You should list your collaborators if you do so.
• Do not share your solutions.
• ChatGPT (and other LLMs) are not allowed.
• Your submission must be of your own write-up.

Late Policy:

• No late submissions for the assignment allowed.

---

Question 1 (6 marks):

Given sets $A=\{1,2,3,4,5\}$, $B=\{2,4,6,8\}$, $C=\{x\in \mathbb{Z}:\exists k\in \mathbb{Z}[x=2k]\}$.

Write in set-roster notation the following sets:

1. $A\cap B$
2. $A\setminus (B\setminus C)$
3. $A\cap (B\setminus C)$

---

Question 2 (6 marks):

For this question, consider the following relation $R\subseteq \mathbb{Z}\times \mathbb{Z}$, where $R=\{(a,b)\in \mathbb{Z}\times \mathbb{Z}:a<0\wedge b>0\}$.

Sub-part 1

Is $R$ reflexive? If so, prove it. If not, give a value $a\in \mathbb{Z}$ such that $(a,a)\notin R$.

Sub-part 2

Is $R$ transitive? If so, prove it. If not, give values $a,b,c\in \mathbb{Z}$ such that $(a,b)\in R\wedge (b,c)\in R\wedge (a,c)\notin R$.

---

Question 3 (6 marks):

Consider a relation $R\subseteq A\times A$, assume that $R$ is transitive. Is it true that $R\subseteq R;R$? If it is true, prove it. Otherwise, give an example for $R$ for which it is false.

---

Question 4 (6 marks):

Consider a relation $R\subseteq A\times A$, assume that $R$ is transitive. Is it true that $R;R\subseteq R$? If it is true, prove it. Otherwise, give an example for $R$ for which it is false.

---

Question 5 (6 marks):

Prove via mathematical induction that for all $n\ge 1$:

$$\sum _{r=1}^n\frac{1}{r(r+1)}=\frac{n}{n+1}$$