0% found this document useful (0 votes)
24 views2 pages

Spring 23 Mid Cse 2213 Uiu

Uploaded by

Sidharto Biswas
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
0% found this document useful (0 votes)
24 views2 pages

Spring 23 Mid Cse 2213 Uiu

Uploaded by

Sidharto Biswas
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

United International University (UIU)

Dept. of Computer Science & Engineering (CSE)


Mid: Spring - 2023
Course: CSE 2213 Name: Discrete Mathematics
Marks: 30, Time: 1 hour 45 minutes
Figures in the right-hand margin indicate full marks.
Any examinee found adopting unfair means will be expelled from the trimester /
program as per UIU disciplinary rules
There are 2 pages in this question paper

1. a) Consider the following propositions, [3]


a: Argentina wins the match
b: Brazil goes to semi-final
e: Emi Martinez plays well
f: France wins the match
m: Mbappe plays well
Now using the logical operators formulate the following compound
propositions:
i) If Brazil goes to semi-final, then neither Argentina nor France will
win the match.
ii) For Argentina to win the match, Emi Martinez must play well
iii) Both Mbappe and Emi Martinez play well, but either only
Argentina or France will win the match.

b) Determine whether ((p v q) ˄ (r v ¬q)) → (p v r) is a tautology or [3]


not by using different logical equivalence laws.

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

b) Prove the following proposition using contrapositive principle: [3]


Let p, q be integers. If p(q+1) is odd, then at least one of p OR q is
odd.

4. a) [3]

Figure 1: Venn Diagram for Question 4(a)


Consider the Venn diagram in Figure 1, where the four circles
represent the sets A, B, C and D respectively. The striped portion at
the top represents the set P and the highlighted portion at the bottom
represents the set Q as shown in the diagram. Here, A = {1, 2, 3, 4,
5}, B = {3, 5, 6, 7}, C = {4, 5, 7, 10, 11} and D ={11,12,15}.
Determine the elements of the set P ∪ Q. (You must use the values
given in the set definitions above.)

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

You might also like