CSE2213 Mid 203
CSE2213 Mid 203
b) For the following figures (A,B,C,D,E), find out if the following statement is [0.5×5=2.5]
true/false. If false, explain the reason briefly.
Question 2:
a) Determine whether ((r → s) ˄ (s → t) ) → (r → t) is a tautology using sequence of [2]
logical equivalences law.
b) Translate the following English sentences into logical expression using predicate, [1.5 x 2 = 3]
quantifiers and logical connectives. Domain consists of all people.
P(x): x is a student of UIU
Q(x): x has learnt C and C++ programming
R(x): x is learning Python
(i) There is a student in UIU who hasn’t learnt C and C++ but is learning
Python.
(ii) It is not that every student in UIU has learnt C and C++ programming but
some UIU students are learning python.
Question 3:
a) Translate the following sentence into a logical expression. [1 x 2 = 2]
(i) You can be a member of UIU Programming Club only if you are a student of
UIU and you have been admitted into the CSE department.
(ii) A necessary condition for you have shown up on Interview is you got the job
Page 1 of 2
b) Determine the truth values of the following propositions. Here, the domain of each [1 x 3 = 3]
variable consists of all real numbers.
(i) ) )
(ii) x((-x+1) =x )
2 2
(iii) > 0)
Question 4:
a) Prove the following by using the principle of mathematical induction, n is a positive [3]
integer.
) ) )
b) Prove by contraposition, If n3 − 1 is even, then n is odd. [2]
Page 2 of 2