Warning: count(): Parameter must be an array or an object that implements Countable in /home/customer/www/thegatebook.in/public_html/qa/qa-include/qa-theme-base.php on line 177

# DM - Grand Test -Q18

Warning: count(): Parameter must be an array or an object that implements Countable in /home/customer/www/thegatebook.in/public_html/qa/qa-include/qa-theme-base.php on line 177
+1 vote
The drinker paradox is stated as the following:

"There is someone in the pub such that, if he is drinking, then everyone in the pub is drinking"

Consider all the people in the pub as universe of discourse(i.e. Domain).

Which of the following is True for the Drinker Paradox:

(A) It is always true for None-empty Domain

(B) It is true Only if the Domain is Empty.

(C) It is sometimes false for non-empty domain.

(D) It is True only if the domain contains single person.
asked Aug 30, 2020
reshown Aug 31, 2020

## 1 Answer

0 votes

Best answer

Let D(x) = x is drinking. Let G is the set of people in the pub, this is our domain as given in the question.

Then :

"There is someone in the pub such that, if he is drinking, then everyone in the pub is drinking" = $\exists x (D(x) \rightarrow \forall y(D(y)))$

Now, this above statement is Always true for non-empty G.

https://en.wikipedia.org/wiki/Drinker_paradox

answered Sep 9, 2020 by (226,240 points)
selected Sep 25, 2020
Answer:

Warning: count(): Parameter must be an array or an object that implements Countable in /home/customer/www/thegatebook.in/public_html/qa/qa-include/qa-theme-base.php on line 177