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.
reshown Aug 31, 2020

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.