Scribd
Upload
11 views

Mid Term Question 233 CSE2213 C MiBa

Uploaded by

apujan2430295
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
11 views

Mid Term Question 233 CSE2213 C MiBa

Uploaded by

apujan2430295
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

United International University

Department of Computer Science and Engineering


CSE 2213/CSI 219: Discrete Mathematics
Mid-term Examination : Fall 2023
Total Marks: 30 Time: 1 hour and 45 minutes

Answer all the 5 questions. Numbers to the right of the questions denote their marks.
Any examinee found adopting unfair means will be expelled from
the trimester / program as per UIU disciplinary rules.

1. (a) Consider the following propositions: [2]


p: John is smart
q: John is honest
Now using the logical operators formulate the following compound propositions:
i. Either John is smart, or he is not smart but honest
ii. John is honest if and only if he is not both smart and not honest.
(b) Prove ((p ∧ q) → r) → (¬r → (¬p ∨ ¬q)) is a tautology using different logical equivalence laws. [2]
(c) Find the truth table of the following expressions to determine whether both are logically equivalent or not:
¬(p ↔ q) ≡ ¬p ↔ ¬q [2]
2. (a) Consider the following predicates: [1 x 3 = 3]
B(x) : x is Bangladeshi
J(x) : x is Japanese
P(x) : x is polite
F(x, y): x and y are friends
Represent the following sentences using these predicates, appropriate quantifiers, and logical connectives. The
domain of all the variables is the set of all people. Hint: A person is Bangladeshi-American means that he/she
is both American and Bangladeshi.
i. All Japanese-Bangladeshis are polite.
ii. There exists a friendship between a Japanese and a Bangladeshi.
iii. Some Japanese are impolite.
(b) Determine the truth values of the following propositions. Here, the domain of each variable consists of all real
numbers. [1 x 3 = 3]
i. ∀x∃y(x2 + y 2 = 0)
ii. ¬∃x((−x2 + 2) = (x2 + 1))
iii. ∀x(x9 < 0)
3. (a) Suppose you are given the following sets – [1 + 1 = 2]
+
A = {x ∈ Z | x is even and x ≤ 14}
B = {8, 10, 12, 14}
i. Find out the elements of set A.
ii. Determine A − B.
(b) Suppose that you have another set C = {1, 3}. [2 + 2 = 4]
i. Find out (A − B) × C.
ii. Prove that |(A − B) × C| = |(A − B)| · |C|
4. (a) if f(x) = 5x + 7, g(x) = 3x + 5. Find f◦g(x) and g◦f(x), considering that both the domain and the co-domain
consist of Real Numbers. [2]
(b) Evaluate the following functions to determine if they are one to one, onto or bijections. [2 + 2 = 4]
i. f : R → R, f (x) = −5x + 10
ii. g : R+ → R+ , g(x) = 5x2 − 5
√
5. (a) Using proof by contradiction show that, 5 is irrational. [4]
(b) Using direct proof show that, if a and b are odd integers then ab is also an odd integer. [2]

You might also like