7
$\begingroup$

Comes from a class I took senior year of HS, and I didn't find it online so hopefully this isn't a repeat.


A renowned psychologist is touring High Schools all over the country with her latest finding.

Theory: There is a really popular student in each class in the entire school, such that if that student drinks, then everyone in that class drinks.

Is this just due to a small sample size, or is this always true, sometimes true, or never true? And please prove why this is the case.



Please enclose your answer in a spoiler using this ">!"

Also please feel free to suggest tags. I am not too familiar with the tags here

$\endgroup$
  • 3
    $\begingroup$ Is this a lateral-thinking question at all? Are you looking for a silly answer like "everyone in all classes drinks because without water you'll die"? $\endgroup$ – Bailey M Jul 17 '15 at 18:16
  • $\begingroup$ That student is taking a lot of classes at once, some hermione granger level stuff. $\endgroup$ – Going hamateur Jul 17 '15 at 18:31
  • $\begingroup$ The drinker's paradox. I'm surprised that hasn't come up on this site, yet :D $\endgroup$ – Conor O'Brien Jul 17 '15 at 18:56
12
$\begingroup$

Let the popular student be named "P" for short. The statement:

If P drinks, then everyone in that class drinks

is the same as the statement

Either P doesn't drink, or everyone in that class drinks.

The existence of a person P making the above statement true is now more clear.

If everyone drinks, choose P to be anybody. If someone doesn't drink, choose P to be that person.

So, the Theorem is always true. This is a famous logical "paradox", it even has a Wikipedia page.


Addendum: It depends on the definition of "really popular". If a student $x$ being "really popular" means "if $x$ drinks, then everyone drinks", then the above reasoning is correct. If "really popular" is defined independently of the drinking condition, then the Theory is not true in general. A counterexample is any class with an unpopular student who doesn't drink, while everyone else drinks (believe me, such classes exist).

$\endgroup$
  • $\begingroup$ What about when the person that doesn't drink isn't a popular student? $\endgroup$ – Ian MacDonald Jul 17 '15 at 18:22
  • 2
    $\begingroup$ What if there are 2 students who don't drink? At any time, at least one of those two will not be P, and the statement will not be true. $\endgroup$ – CodeNewbie Jul 17 '15 at 18:26
  • $\begingroup$ @CodeNewbie Then choose one of them arbitrarily. $\endgroup$ – Mike Earnest Jul 17 '15 at 18:28
  • 3
    $\begingroup$ Reading the statement, it sounds like "popular" is being defined by the rest of the question. In other words, "popular" means "dictating the drinking-ness of the class". $\endgroup$ – VictorHenry Jul 17 '15 at 18:31
  • 1
    $\begingroup$ @CodeNewbie Did you see the Wikipedia page he linked to? It works like this: represent the statement as $P \to Q$, where $P$ is "popular student drinks" and $Q$ is everyone drinks. If the popular student doesn't drink, $P$ is obviously false. Since $P$ isn't true, $P \to Q$ is assumed to be true. So in your example, assume you are the popular student. Since you don't drink, it doesn't matter if you will drink or you won't drink. We can assume the statement is true, and like the statement says, since you're not drinking, it will never happen that all of you are drinking. $\endgroup$ – mmking Jul 17 '15 at 18:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.