DM I MID QB
DM I MID QB
Module – I
1(a) Explain briefly about different connectives.
(i) Some integers are divisible by 5 (ii) All real numbers are complex numbers
(b) Show that the following equivalence without constructing the truth table
((𝑃 ∧ 𝑄 ∧ 𝐴) → 𝐶) ∧ (𝐴 → ( 𝑃 𝑉 𝑄 𝑉 𝐶 )) ⇔ (𝐴 ∧ (𝑃 ↔ 𝑄)) → 𝐶
(𝑃 → (𝑄 ∧ 𝑅)) ∧ (¬ 𝑃 → (¬ 𝑄 ∧ ¬ 𝑅))
6(a) Explain about (i) Quantifiers (ii) Predicates (iii) Normal Forms (iv) Logical Equivalence
Give an example.
(c) Obtain the PDNF of p q p r q r
(b) Construct the truth table for (( p q) (p (q r ))) (p q) (p r )
If the library is equipped with books and journals and the library atmosphere is good
(b) Write converse, inverse and contrapositive of the Conditional “ If P is a square then P is a
rectangle”
(c) Construct the truth table for the formula¬(𝑃 ∨ (𝑄 ∧ 𝑅)) ↔ ((𝑃 ∨ 𝑄) ∧ (𝑃 ∨ 𝑅))
(d) Show that the logical equivalence 𝐴 → (𝑃 𝑉 𝐶 ) ⇔ (𝐴 ∧ ¬ 𝑃) → 𝐶
9(a) Define (i) Converse (ii) Inverse (iii) Contrapositive . Give an example.
Module – II
(ii) Let 𝑆 = { 1, 2, 3} and 𝑃(𝑆) be the power set of S. on 𝑃(𝑆) define the relation R by
𝑥𝑅𝑦 iff 𝑥 ≤ 𝑦 show that this relation is a partial order on 𝑃(𝑆) draw its Hasse diagram.
3. (a) Show that
(((¬𝑃 ∨ 𝑄) → 𝑅) ∧ (𝑅 → (𝑆 ∨ 𝑇)) ∧ (¬𝑆 ∧ ¬𝑈) ∧ (¬𝑈 → ¬𝑇) ) ⇒ 𝑃
(b) Demonstrate that R is a valid inference from the premises P→ 𝑄 , Q→ 𝑅 and P.
4. (a) Using indirect method of proof show that if
P → (𝑄 ∧ 𝑅), (𝑄 ∨ 𝑆) → 𝑇 and 𝑃 ∨ 𝑆 then T
(b) Explain about Lattice and write some properties.
5. (a) Using rule CP, derive 𝑃 → 𝑄 from the premises 𝑅 → (𝑆 → 𝑄) and ¬𝑃 ∨ 𝑅 and S.
(b) Using indirect method of proof show that 𝑝 → 𝑞, 𝑞 → 𝑟, ∼ (𝑝 ∧ 𝑟), (𝑝 ∨ 𝑟) leads to
conclusion r.
6. (a) Let A = {2,3,6,12,24, 36} on A define the relation R by aRb iff a divides b.
Draw the Hasse diagram for the poset . Determine whether the poset is total ordered or
not. Write the relation matrix for R.
(b) Demonstrate different properties of a binary relation
7. (a) Discuss about Hasse diagram.
(c) Given A = {1, 2, 3, 4} and a relation R on A defined by
such that 𝑅1 is transitive. Can you find the another relation 𝑅2 ⊇ 𝑅 which is also
transitive.
1. (a) ) Let f,g,h be functions R to R defined by f(x) = x+2 , g(x) = x-2 and h(x) = 3x. Find
fog, ,fof, gog, foh, hog and hof.
(b) Let f:R+ R be defined by f(x) = logx and g:R+ R defined by g(x) = ex when Ris the set of
all real numbers and R+ is set of all positive real numbers. Show that fog and gof are identity
functions
2. (a) Discuss about one-one function, Bijective function,I nverse function, composition
function and Recursive function with examples
(b) Let f and g be functions from R to R defined by f(x) = ax+b and g(x) = 1-x+x2
If (gof)(x)= 9x2-9x+3, determine a,b.
3. (a)Let f: R→R and g: R→R, where R is the set of real numbers. Find 𝑓𝜊𝑔and g f
where f(x) = x2 and g(x) = x+4. State where these functions are injective, surjective,
bijective?
(b) Consider the functions f and g defined by f(x) = x3 and g(x) = x2 + 1, ∀x∈ 𝑅, find
gof,fog,f2,g2.
1 2 3 4
4. (a) If f then find f 1 and show that 𝑓𝑜𝑓 −1 = 𝑓 −1 𝑜𝑓 = 𝐼
2 4 3 1
(b) Find the inverse of the function f(x) = ex defined from R R+ .
MALLA REDDY ENGINEERING COLLEGE (AUTONOMOUS)
II B.Tech I Semester (MR21-2021-22 Batch)
I Mid Objective Question Bank
Subject: DISCRETE MATHEMATICS Code:B0507
Branch: CSE, AIML,CSE(CS), CSE(DS), CSE(IOT),IT,CSE(AI&ML).
S.No Questions Ans
1 The Conditional 𝑝 → 𝑞 is false when
a) Both p and q are false b) Both p and q are true
c) p is true and q is false d) p is false and q is true
2 The Compound proposition PVQ is true when
a) P is false and Q is true b) Both P and Q are true
c) P is true and Q is false d) All the above
3 𝑝 → 𝑞 indicates that
a) If p then q b) p If and only if q c) p and q d) p or q
4 p q indicates
a) If p then q b) p If and only if q c) P and q d) P or q
5 When the Compound proposition p q is false
a) Both statements are true b) Both statements are false
c) Either one of the statement is true d) None
6 When the Compound proposition p q is true
a) Both statements are true b) Both statements are false
c) Either one of the statement is true d) All the above
7 The proposition p p _______
a) Contingency b) Contradiction c)Tautology d) None
8 p p
a) Contingency b) Contradiction c)Tautology d) None
9 The Conditional p q is logically equivalent to _____
a) p q b) p q c) p q d) All the above
10 The Converse of the conditional “ If 4 is an even number then 4 is divisible by
2” is _____
a) “ If 4 is not an even number then 4 is not divisible by 2”
b) “ If 4 is divisible by 2 then 4 is an even number”
c) “ If 4 is not divisible by 2 then 4 is not even number”
d) None
12 Let D: Today is a week day, S: I am a student, Then the symbolic form of the
Compound proposition ” Today is a week day and I am a student is
a) D S b) D S c) D S d) D S
13 The Contrapositive of the conditional “ If 4 is an even number then 4 is
divisible by 2” is _____
a) “ If 4 is not an even number then 4 is not divisible by 2”
b) “ If 4 is divisible by 2 then 4 is even number”
c) “ If 4 is not divisible by 2 then 4 is not even number”
d) None
14 (𝑃 ∧ 𝑄 ) ⇒
a) P b) P Q c) Q d) P
15 ¬(¬𝑃) ⇔
a) P b) ¬𝑃 c) Both d) None
16 P Q R is logically equivalent to
a) P Q R b) P Q R
b) c) P Q R d) All the above
17 P Q
a) Q P b) P c) Q d) Q P
18 P∨F⇔
a) F b) T c) P d) All the above
19 P ∧ ¬𝑃
a) T b) P c) F d) None
20 P ∨ (P ∧ Q)
a) Q b) P c) P ∧ Q d) None
21 ¬ (P ∨ Q) ⇔
a) ¬ (P ∧ Q) b) (¬P ∨ ¬Q) c) (¬P ∧ ¬Q) d) (P ∨ Q)
22 (P → Q) ∧ (Q → R) ⇒
a) P → Q b) Q → R c) P → R d) R → P
23 P→ Q ⇔
a) ¬Q → ¬P b) ¬Q → P c) Q → ¬P d) Q → P
24 p q
a) p q b) p q c) p q d) p q
25 Conjunction of two tautologies is a ………………….
a) Tautology b) Contradiction c) Contingency d) None
26 Disjunction of two tautologies is a
a) Tautology b) Contradiction c) Contra positive d) None
27 P ⟷ Q Equivalent Value
a) (P → Q) ∧ (Q → P) b) (P∧ Q) ∧ (¬Q ∧¬P)
c) (P ∨ Q) ∧ (¬Q ∨ P) d) All the above
28 Let D: Today is a week day, S: I am a student, Then the symbolic form of the
Compound proposition ” If Today is a week day then I am a student” is
D S b) D S c) D S d) D S
29 For the P,Q statements min terms are
a) P∧ ¬Q b) ¬P ∧ Q c) ¬P ∧ ¬ Q d) All the above
30 For the P, Q statements max terms are
a) ¬P ∨ ¬Q b) ¬P ∨ Q c) PVQ d) All the above
31 ¬(P→Q) is logically equivalent to
a)¬ P ∧ Q b) P ∨ Q c) P ∧ ¬Q d) None
32 (P ⟶Q) is logically equivalent to
a) P ⟶ ¬Q b) ¬P ⟶ Q c) P ⟷ Q d) None
33 P ∧ (Q ∨ R) is logically equivalent to
a)(P ∧ Q) ∨ (P ∧ R) b) P ∨ (Q ∧ R) c) (P ∨ Q) ∧ (P ∨ R) d) None
34 (P ∨ (~ P ∧ Q)) is logically equivalent to
a) ( ~ P ∧ ~ Q) b) ( P ∨ Q) c) ( ~P ∧ ~ Q) d) ( ~ P ∧ Q)
35 (P ∧ Q) → R ⇔
a) (P ∧ (Q ∧ R)) b) (P → (Q V R))
c) (P ∨ (Q → R)) d) (P → (Q → R))
36 P Q
P Q b) Q P c) Q P d) Q P
37 The Biconditional P ⟷ Q is true when
a) Both p and q are false b) Both p and q are true
c) p is true and q is false d) a and b
38 P Q R
a) P Q R b) P Q P c) (𝑃 ∧ 𝑄) → 𝑄 d) (𝑃 ∧ 𝑄) → 𝑅
39 P ∨ (P ∧ (P ∨ Q)) is logically equivalent to
a) P b) Q c) P ∨ Q d) P ∧ Q
40 The negation of “Some birds can fly” is
a) All birds can fly b) All birds can not fly
c) Their exist only few birds can fly d) One bird can fly
41 The negation of (∀x)(P(x) ∨ Q(x)) is
a) ∃ (x) P(x) ∨ Q(x) b) (∀ (x) P(x) ∨ Q(x)
c) P(x) ∨ Q(x) d) None
42 The negation of (∃x)(P(x)→Q(x)) is
a) ¬P(x) → Q(x) b) ∀ (x) P(x) → Q(x) c) P(x)→ ¬Q(x) d) None
43 The symbolic form of the statement “ All roses are beautiful “
a) ∃x(R(x) → Q(x)) b) R(x) → Q(x)
c) ∀x(R(x) → Q(x)) d) None
44 The Disjunctive normal form of P∧(P→ 𝑄) is
a) (P∧~P) ∨ (P ∧ Q) b) (P∧~P) ∨ (P ∧ ~Q)
c) (P∧~P) ∨ (~P ∧ Q) d) None
45 P, P Q
a)P b) P c) Q d) Q
46 Q, P Q
a) Q b) P Q c) ¬𝑄 ∨ 𝑃 d) P
47 𝑃 → 𝑄, 𝑄 → 𝑅 ⇒
a) P R b) 𝑃 → ¬𝑅 c) 𝑃 → ¬𝑄 d) P Q
48 If P(x): x is a prime number, then which of the following is true
a) P(1) b) P(5) c) P(8) d) P(9)
49 (P ∨ Q) ∧ ¬P = > Q
a) Modus ponens b) Modus tollens
c) Hypothetical syllogism d) disjunctive syllogism
50 P , P Q
a) Q b) P c) Q d) P
51 Which of the following is not a well formed formula?
a) 𝑃 → 𝑄 ∧ 𝑅 b) P Q R c) 𝑃 → (𝑄 ∧ 𝑅) d) 𝑃 → (𝑄 ∨ 𝑅)
52 Let A be the finite having m elements and B be the finite set having n
elements then number of elements in cartesian product of A and B is____
a)mn b)m+n c)m-n d)None
a)12 b) 16 c) 64 d)None
60 Let A be the finite set with |𝐴| = 2 then the number of binary relations on A A
is ______
a) 16 b) 32 c)64 d) None
61 If a finite set A has 2 elements, then number of reflexive relations on A is B
a)4 b) 8 c)3 d) 6
62 If a finite set A has 2 elements, then number of symmetric relations on A is D
a)4 b) 8 c)3 d) 6
63 If a finite set A has 2 elements, then number of antisymmetric relations on A D
is ________
a)4 b) 8 c)12 d) 6
64 Let A and B be finite sets with |𝐴| = m and |𝐵| = n then the number of C
possible functions from A to B is ______
a) nm b) mn c) m2 d) n2
65 Let A and B be finite sets with |𝐴| = 4 and |𝐵| = 6 then the number of A
possible One-One functions from A to B is ______
a)360 b)300 c)256 d) None
66 Let A and B be finite sets with |𝐴| = m and |𝐵| = n then the number of C
possible functions from B to A is ______
a) nm b) mn c) m2 d) n2
67 If a finite set A has 2 elements, then number of Compatibility relations on A is D
______
a)4 b) 8 c)3 d) 2
68 If a finite set A has 2 elements, then number of irreflexive relations on A is A
a)8 b) 4 c)3 d) 6
69 Which of the following is Example for reflexive property
a) The relation equality of set is also reflexive
b) The relation is parallel in the set lines in a plane.
c) Both (a) and (b)
d) None
70 Let R be the Relation defined on X. The Relation R is said to be Symmetric if
a) for every x or y in X, whenever x R X, then y R Y
b) for every x, y in X, whenever x R Y, then y R X
c) for every x and y in X, whenever x R y, then y R x
d) None
71 Which of the following is Example for Symmetric
a) The relation equality of set is symmetric
b) The relation of similarity in the set of triangles in a plane is symmetric
c) The relation division on the set of integers is symmetric
d) Both (a) and (b)
72 Let R be the Relation defined on X. The Relation R is said to be Transitive if
a) for every x, y, and z are in X, whenever x R y and y R z , then x R z
b) for every x, y, and z are in X, whenever x R y and z R x , then y R z
c) for every x, y, and z are in X, whenever x R y and x R z , then x R z
d) None
73 Let A and be finite set with |𝐴| = 3 then the number of binary relations on A A
is ______
91 Let A and B be finite sets with |𝐴| = m and |𝐵| = n then the number of A
elements in AXB is ______
a)mn b)m2 c)n2 d)None
92 Let A be finite set with |𝐴| = 3 then the number of binary relations on A is A
______
a) 512 b) 32 c)64 d) None
93 Let A={1,2,3}, R be the relation defined on A. R={(1,1),(1,2)}then which of B
the following is true
a) R is reflexive b)R is not reflexive c)R is irreflexive d)None
94 Let A={1,2,3,4}, R be the relation defined on A.
R={(2,1),(1,2),(1,3),(3,1)(1,4),(4,1),(1,1)} then which of the following is true
a) R is reflexive b)R is not reflexive c)R is irreflexive d)None
95 Let A={1,2,3,4}, R be the relation defined on A.
R={(2,1),(1,2),(1,3),(3,1),(1,4)} then which of the following is true
a) R Symmetric b) R is not Symmetric c) R is asymmetric d) None
96 Let A = {1,2,3}, R be the relation defined on A.
R={(1,1),(2,2),(3,3),(1,3),(3,1)}then which of the following is true
a) R is reflexive and symmetric b) R is reflexive but not symmetric
c) R is symmetric but not reflexive d)None
116 Let f and g be the function from the set of integers to itself, defined by A
f(x) = 2x + 1 and g(x) = 3x + 4. Then fog(x) = ________.
a)6x+9 b)6x+7 c) 6x+6 d)6x+8
117 If f : A A and g : A A , where A= {1, 2, 3}, are given by C
f = {(1, 2), (2, 3), (3, 1)} and g = {(1, 3), (2, 2), (3, 1)}, 𝑔𝜊𝑓 =____
a) {(1, 1), (2, 2), (3, 3)} b) {(1, 3), (3, 1), (1, 2)}
c) {(1, 2), (2, 1), (3, 3)} d)None
118 f x x 2 , g x x 2 and h x 3x , h g f x = A
a) 3x b) 3x 2 c) x 2 d) x 2
119 f x x 2 , g x x 2 then f g x = A
a) x b)x+2 c)x-2 d)None
120 If f: R R𝑓 (𝑥 ) = 3𝑥 + 2 then 𝑓 −1 (𝑥 )=_____________ C
x 2
a) x 2 b) x 3 c) d)None
3 2 3
121 Which of the following is Identity function B
a) S={(1,2),(2,1),(2,2)} b) S={(1,1),(2,2),(3,3)}
c) S={(1,3),(2,2),(3,1)} d) S={(1,2),(2,3),(3,1)}
122 If A={1,2,3} B={a,b,c} and S:AB be the function is given by D
S={(1,c),(2,c),(3,c)}Then
a) S is One -One function b) S is Onto function
c) S is Bijective function d) None
123 If A = {1,2,3,4} B={a, b, c, d} and S:AB be the function, Then A
Which of the following is true
a) S={(1,a),(2,b),(3,c),(4,d)} is onto b) S={(1,a),(2,b),(3,c),(3,d)} is onto
c) S={(1,a),(2,b),(3,a)} is onto d) None
124 Let 𝑓(𝑥 ) = 3𝑥 − 4 be the function then 𝑓 −1 (𝑥 )= C
a) x 4 b) x 3 c) x 4 d) None
3 4 3
125 If f:RR, g:RR are defined by f(x) = x4 – x, g(x) = 3x+7 then which of the A
following is true.
a) f is not one-one, g is one-one b) f is one-one, g is one-one
c) f is not one-one, g is is not one-one d) f is one-one, g is not one-one
Prepared By Name:
Signature: HOD Signature