Discrete Mathematics Questions and Answers – Predicate Logic Quantifiers

This set of Discrete Mathematics Interview Questions and Answers for Experienced people focuses on “Predicate Logic Quantifiers”.

1. Let P (x) denote the statement “x >7.” Which of these have truth value true?
a) P (0)
b) P (4)
c) P (6)
d) P (9)
View Answer

Answer: d
Explanation: Put x=9, 9>7 which is true.

2. Let Q(x) be the statement “x < 5.” What is the truth value of the quantification ∀xQ(x), having domains as real numbers.
a) True
b) False
View Answer

Answer: b
Explanation: Q(x) is not true for every real number x, because, for instance, Q(6) is false. That is, x = 6 is a counterexample for the statement ∀xQ(x). This is false.

3. Determine the truth value of ∀n(n + 1 > n) if the domain consists of all real numbers.
a) True
b) False
View Answer

Answer: a
Explanation: There are no elements in the domain for which the statement is false.
advertisement
advertisement

4. Let P(x) denote the statement “x = x + 7.” What is the truth value of the quantification ∃xP(x), where the domain consists of all real numbers?
a) True
b) False
View Answer

Answer: b
Explanation: Because P(x) is false for every real number x, the existential quantification of Q(x), which is ∃xP(x), is false.

5. Let R (x) denote the statement “x > 2.” What is the truth value of the quantification ∃xR(x), having domain as real numbers?
a) True
b) False
View Answer

Answer: a
Explanation: Because “x > 2” is sometimes true—for instance, when x = 3–the existential quantification of R(x), which is ∃xR(x), is true.

6. The statement,” Every comedian is funny” where C(x) is “x is a comedian” and F (x) is “x is funny” and the domain consists of all people.
a) ∃x(C(x) ∧ F (x))
b) ∀x(C(x) ∧ F (x))
c) ∃x(C(x) → F (x))
d) ∀x(C(x) → F (x))
View Answer

Answer: d
Explanation: For every person x, if comedian then x is funny.

7. The statement, “At least one of your friends is perfect”. Let P (x) be “x is perfect” and let F (x) be “x is your friend” and let the domain be all people.
a) ∀x (F (x) → P (x))
b) ∀x (F (x) ∧ P (x))
c) ∃x (F (x) ∧ P (x))
d) ∃x (F (x) → P (x))
View Answer

Answer: c
Explanation: For some x, x is friend and funny.
advertisement

8. ”Everyone wants to learn cosmology.” This argument may be true for which domains?
a) All students in your cosmology class
b) All the cosmology learning students in the world
c) Both of the mentioned
d) None of the mentioned
View Answer

Answer: c
Explanation: Domain may be limited to your class or may be whole world both are good as it satisfies universal quantifier.

9. Let domain of m includes all students, P (m) be the statement “m spends more than 2 hours in playing polo”. Express ∀m ¬P (m) quantification in English.
a) A student is there who spends more than 2 hours in playing polo
b) There is a student who does not spend more than 2 hours in playing polo
c) All students spends more than 2 hours in playing polo
d) No student spends more than 2 hours in playing polo
View Answer

Answer: d
Explanation: There is no student who spends more than 2 hours in playing polo.
advertisement

10. Determine the truth value of statement ∃n (4n = 3n) if the domain consists of all integers.
a) True
b) False
View Answer

Answer: a
Explanation: For n=0, 4n=3n hence, it is true.

Sanfoundry Global Education & Learning Series – Discrete Mathematics.

To practice all areas of Discrete Mathematics for Interviews, here is complete set of 1000+ Multiple Choice Questions and Answers.

If you find a mistake in question / option / answer, kindly take a screenshot and email to [email protected]

advertisement
advertisement
Subscribe to our Newsletters (Subject-wise). Participate in the Sanfoundry Certification contest to get free Certificate of Merit. Join our social networks below and stay updated with latest contests, videos, internships and jobs!

Youtube | Telegram | LinkedIn | Instagram | Facebook | Twitter | Pinterest
Manish Bhojasia - Founder & CTO at Sanfoundry
Manish Bhojasia, a technology veteran with 20+ years @ Cisco & Wipro, is Founder and CTO at Sanfoundry. He lives in Bangalore, and focuses on development of Linux Kernel, SAN Technologies, Advanced C, Data Structures & Alogrithms. Stay connected with him at LinkedIn.

Subscribe to his free Masterclasses at Youtube & discussions at Telegram SanfoundryClasses.