Spring 23 Mid Cse 2213 Uiu
Spring 23 Mid Cse 2213 Uiu
2. a) Express the following statements using the given predicates and [3]
quantifiers:
Domain : All People
Given Predicates:
𝐴(𝑥) ≡ 𝑥 𝑖𝑠 𝑅𝑜𝑚𝑎𝑛
𝐵(𝑥) ≡ 𝑥 𝑙𝑜𝑣𝑒𝑠 𝑖𝑐𝑒 𝑐𝑟𝑒𝑎𝑚
𝐶(𝑥) ≡ 𝑥 𝑖𝑠 𝑟𝑖𝑐ℎ
𝐷(𝑥) ≡ 𝑥 ℎ𝑎𝑠 𝑎 𝑙𝑜𝑡 𝑜𝑓 𝑓𝑟𝑖𝑒𝑛𝑑𝑠
i) Romans are rich.
ii) Some ice cream lovers do not have a lot of friends.
iii) People that are rich hate ice cream.
b) Explain with reasoning whether the following propositions are true [1.5*2]
or false. The domain of all the variables is the set of real numbers.
i) ∀𝑥∃𝑦∃𝑧 (𝑧 = 𝑥 * 𝑦)
ii) ∀𝑥∀𝑦∃𝑧 (𝑧 = (𝑥 + 𝑦)/2)
1 of 2
3. a) Prove the following proposition using contradiction principle: [3]
There are no integers a, b, and c for which 2a + 4b + 6c = 1
4. a) [3]
b) Given that A={10, 20, 30, 50}, B={30, 40}, C={50, 60}. Determine: [3]
i) ((A - B) - C)
ii) P(B∩C)
iii) | P(((A - B) - C)) |
5. a) 3
Find out 𝑓∘𝑔(0) and 𝑔∘𝑓(0) where 𝑓: 𝑅→𝑅, 𝑓(𝑥) = 𝑥 + 𝑥 and [2]
3
𝑔: 𝑅→𝑅, 𝑔(𝑥) = 2
𝑥 +1
b) Find out with proper reasoning if the following functions are [2*2]
one-to-one, onto or neither.
+ 2
i) 𝑓: 𝑅→𝑅 , 𝑓(𝑥) = 𝑥 + 1
3
ii) 𝑓: 𝑅→𝑅, 𝑓(𝑥) = 𝑥 − 𝑥
2 of 2