Scribd
Upload
10 views2 pages

MAT1112 - Tutorial #04

5

Uploaded by

yasirujayasanka37
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
10 views2 pages

MAT1112 - Tutorial #04

5

Uploaded by

yasirujayasanka37
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Department of Mathematical Sciences

Faculty of Applied Sciences


Wayamba University of Sri Lanka
B.Sc. (General/Joint Major/Special) Degree Program
Academic Year 2021/2022 – Semester I

MATH 1112 -Introduction to Mathematics I


Tutorial #04

1. Let the universe of discourse be the set of integers ℤ. Translate following statements into logical
notation.
(i) For each value of x, we can find a value of y such that 𝑥 + 𝑦 = 0.
(ii) There is some value of x such that , for all values of y, we have 𝑥𝑦 = 0.
(iii) There is some value of x and some value of y for which 𝑥𝑦 = 15.
(iv) For all values of x and y, it is true that 𝑥𝑦 > 0.

2. Suppose that the universe of discourse is the set of integers ℤ. Let 𝑝(𝑥, 𝑦) be the statement
“𝑥 − 𝑦 = 0”. Determine which of the following propositions are true and which are false:

(i) 𝑃(2, 3)
(ii) 𝑃(3, 3)
(iii) 𝑃(𝑥, 𝑦)
(iv) ∀𝑥∃𝑦𝑃(𝑥, 𝑦)
(v) ∃𝑥∀𝑦𝑃(𝑥, 𝑦)

3. Suppose the universe of discourse is the integers. Let 𝑃(𝑥) be the predicate “𝒙 + 𝒚 > 𝟏”and let
𝑄(𝑥) be the predicate “𝒙 𝒚 < 𝟔”. Write down the negation of following propositions.

(i) ∀𝑥∀𝑦[𝑃(𝑥) ∨ 𝑄(𝑥)]


(ii) (∀𝑥∃𝑦 𝑃(𝑥)) ∨ (∀𝑥∀𝑦 𝑄(𝑥))
(iii) ∃𝑥∃𝑦(𝑃(𝑥) ∧ 𝑄(𝑥))
4. Prove the following statements using direct proof.

(i) If m and n are odd integers then mn is also an odd integer.


(ii) If x is a non-zero real number such that,
1
(𝑥 + 𝑥) < 2 𝑡ℎ𝑒𝑛 𝑥 < 0.

5. Prove the following statement using proof by contraposition.

(i) Suppose 𝑥 ∈ ℕ. If 7x + 9 is even, then x is odd.


(ii) Let x be an integer. If 𝑥 2 is an even integer, then 𝑥 is an even integer.

6. Prove the following statements using proof by contradiction.

(i) If 𝑎, 𝑏 ∈ ℤ, then 𝑎2 − 4𝑏 ≠ 2.
(ii) If 𝑎, 𝑏 are positive real numbers, then 𝑎 + 𝑏 ≥ 2√𝑎𝑏.

Submit on or before 𝟐𝟔𝒕𝒉 of October 2023 at 4.30 p.m.

You might also like