Paste your bar code here

Name & Surname:……………………………………………………

Student number:………………………………..
Questions Marks
University of KwaZulu-Natal
Question 1 /1
Pietermaritzburg
Question 2 /2
School of Mathematics, Statistics and Computer Science
Question 3 /3
MATH130-Introduction to Calculus Question 4 /6
Tutorial Test 2: 30 marks Question 5 /3
Duration: 30 min Question 6 /5
05 April 2023 Question 7 /5
Instructions: Question 8 /5
1. Answer all questions and show all your workings. Total /30
2. No calculators allowed.
3. Write in black or blue ink. Work written with a pencil will be considered rough work (this excludes
diagrams) and will not be marked.
4. Answer in the spaces provided, continuing on the back if necessary.

1. What is a proposition? [1]

2. Let 𝑝𝑝 and 𝑞𝑞 be statements

𝑝𝑝: 4 > 7.
𝑞𝑞: 2 is an odd integer.
Write the following statements in symbolic form, in terms of 𝑝𝑝 and 𝑞𝑞, using logical connectives, and
determine the truth value of each statement:
2.1 4 > 7 or 2 is an odd number. [1]
2.2 4 > 7 and 2 is not an odd number. [1]

3. Consider the conditional statement 𝑝𝑝 ⟹ 𝑞𝑞. Write the following for this conditional statement:
3.1 Negation. [1]
3.2 Contrapositive. [1]
3.3 Converse. [1]
4. Use the truth tables to prove logical equivalence in the following propositions:
a. ~(~𝑝𝑝) ≡ 𝑝𝑝. [2]

b. ~(𝑝𝑝 ⟹ 𝑞𝑞) ≡ 𝑝𝑝⋁~𝑞𝑞. [4]

5. Prove that if 𝑛𝑛 is odd, then 𝑛𝑛 + 3 is even. [3]

6.
6.1 State the Quotient-Remainder Theorem. [3]

6.2 Use the Quotient-Remainder Theorem to compute

i. 41 div 8. [1]
ii. 41 mod 8. [1]
7. Prove that √7 is irrational. [5]

8. Prove that for every positive integer 𝑛𝑛, 𝑛𝑛(𝑛𝑛 + 1) is divisible by 2. [5]