DMGT OBJECTIVE
1. Which of the proposition is logically equivalent to ∼ p⋁q [ b ]
None
a) p⋀q b) p→q c) (p⋁q)→p d)
2. The contrapositive of p→q is [ A ]
None
a) ∼ q→ ∼ p b) ∼ p→ ∼ q c) q→p d)
3. The dual of the formula ∼ (p⋁q) is [ C ]
None
a) p⋀q b) ∼ p⋀ ∼ q c) ∼ p⋁ ∼ q d)
4. The name of the law: p⋁p ≡ p is [ b ]
a) Commutative b) Idempotent c) Associative d) Identity
Identify the valid conclusion from the premises ~q, p→q using Modus
5. [ C ]
Tollens
a) p b) q c) ∼p d) ∼q
Identify the valid conclusion from the premises p→q, q→r using Rule of
6. [ d ]
syllogism
a) b) c) q→p d) p→r
∼ q→ ∼ p ∼ p→ ∼ q
7. The negation of the quantified statement (∀x)( ∼ P(x)⋁ ∼ Q(x)) [ d ]
a) (∃x)(P(x)⋁Q(x))b) (x)(P(x)⋀Q(x)) c) ~(∃x)(P(x)⋀Q(x)) d) None
8. Which of following is an elementary product but not a min term [ d ]
p⋀ ∼p
a) p⋀q b) ∼ p⋀ ∼ q c) ∼ p⋁ ∼ q d)
9. Which of following is an elementary sum [ C ]
a) p⋀q b) ∼ p⋀ ∼ q c) p⋁ ∼ q d) None
10. A formula which consists of conjunction of the max terms is known as [ b. ]
a) PDNF b) PCNF c) PDCNF d) None
11. A product of variables and their negation in a formula is called [ a ]
Elementary Elementary
a) b) c) Both a and b d) None
product sum
12. Let A is a finite subset of U and |U| = 150 , |A| = 80 . The value of |A| = [ C ]
a) 25 b) 20 c) 70 d) None
Page 1 of 1
13. The value of |A-B| if|U| = 52 , |A| = 25 , |B| = 20 , |A∪B| = 45,|A∩B| = 10 [ d ]
a) 22 b) 25 c) 17 d) 15
14. In conditional statement p→q, where p is called [ A ]
c d None
a) Antecedence b) consequent Conclusion
) )
15. Which of the proposition is logically equivalent to ~p→q [ c ]
None
a) ∼ q⋁ ∼ p b) ∼ p⋁q c) p⋁q d)
16. The converse of p→q is [ b ]
None
a) ∼ q→ ∼ p b) q→p c) ∼ p→ ∼ q d)
17. The dual of the formula ∼ (p⋀q) is [ b ]
None
a) (p⋁q) b) ∼ p⋀ ∼ q c) ∼ p⋁ ∼ q d)
18. The name of the law: p⋀ (q⋀r) ≡ (p⋀q)⋀r is [ b ]
a) Commutative b) Associative c) Idempotent d) Identity
Identify the valid conclusion from the premises p→q, p using Modus
19. [ b ]
Ponens
a) p b) q c) ∼p d) ∼q
Identify the valid conclusion from the premises p→q, q→s using Rule of
20. [ c ]
syllogism
a) p→ ∼ s b) s→q c) p→s d) q→ ∼ s
21. The negation of the quantified statement (∃x)(∼P(x)⋀∼Q(x)) [ a ]
a) (x)(P(x)⋁Q(x)) b) ~(x)(P(x)⋀Q(x)) c) (∃x)(P(x)⋀Q(x)) d) None
22. Which of following is an elementary sum but not a maxterm [ d ]
a) p⋁q b) ∼ p⋁q c) ∼ p⋁ ∼ q d) q⋁q
23. Which of following is an elementary product [ b ]
a) p⋁q b) ∼ p⋀ ∼ q c) ∼ p⋁ ∼ q d) None
2
Which of the following propositions is contradiction? [ b ]
4
a) p⋁q b) (p⋀~p) c) (p⋁~p) d) None
25. What is the Cardinality of the Power set of the set {0, 1, 2}. [ a ]
Page 2 of 2
a) 8 b) 2 c) 3 d) 5
26. A formula which consists of conjunction of the max terms is known as [ b ]
a) PDNF b) PCNF c) PDCNF d) None
27. A product of variables and their negation in a formula is called [ a ]
Elementary Elementary
a) b) c) Both a and b d) None
product sum
28. Let S is a finite subset of U and |U| = 100 , |S| = 15 . The value of |S| = [ b ]
a) 75 b) 85 c) 125 d) None
29. The value of |B-A| if |U| = 50 , |A| = 30 , |B| = 25 , |A∪B| = 45,|A∩B| = 10 [ d ]
a) 22 b) 25 c) 17 d) 15
3
Which of the following are tautologies? [ b ]
0
((P v Q) ^ ˥P)→
a) .((P v Q) ^ Q)↔Q b) c) ((P v Q) d) None
QQ
31. The truth value of p⋀ ∼ p ______false_______.
32. The contrapositive of ~q→p is _______~p-->q______.
33. Let f(x) = x + 2andg(x) = x - 1then the value of f ∘ g is ______x+1_______.
34. The inverse of the function f(x) = 3x is _______f`1(x)=x/3______.
35. For any three finite sets A, B, C, we have |A∪B∪C| =______|AnC|+|AnBnC|_______.
36. The truth value of q⋁ ∼ q ________true_____.
37. The converse of q→p is ________p-->q_____.
38. Let f(x) = 3x and g(x) = x + 5 then the value of g ∘ f is _____3x+5________.
39. The inverse of the function f(x) = x - 3 is _____f`1(x)=x+3________.
40. For any two finite sets A, B we have |A∪B| =_____|AuB|=|A|+|B|-|AnB|________.
Which of the following are tautologies? a.((P v Q) ^ Q)↔Q b.((P v Q) ^ ˥P)→ Q c.((P v Q)
Page 3 of 3
Page 4 of 4
