Cheeze_Pavilion said:
So we don't keep going round and round, here's what I'm looking for: something that explains why there's a different rule for when you get two bites at the apple ("at least one is male") than when you get one ("the first one is male" or "the second one is male and I checked both regardless of the sex of the first one").
That's where the explanation lies if there is one.
The information contained within the two statements is different.
P (both male | whatever we know) = P (1st is male | whatever we know) * P (2nd is male | whatever we know)
As we modify "whatever we know", the probabilities shift. Initially this is 1/2 * 1/2 = 1/4.
If I say "the first one is male", P (1st is male | 1st is male) is equal to 1. P (2nd is male | 1st is male) is still 1/2. So now P (both male | 1st is male) = 1/2, thanks to the new information we have. (Symmetrical for "#2 is male and I would've looked at both even if #1 were to be male".)
So, here's the difference for "at least one is male":
Well, now P (1st is male | at least one is male) isn't 1, obviously, since there is the possibility that the 1st still isn't male. But "at least one is male" still gives us useful information. It's just that quantifying it is a bit more challenging.
So, to be all (vaguely) formal here, let's use Bayes' theorem.
P (1st is male | at least one is male) = P (at least one is male | 1st is male) * P (1st is male) / P (at least one is male)
P (1st is male) = 1/2 -- this is the prior probability (i.e. initial, unmodified by our new condition).
P (at least one is male) = 1 - P (both are female) = 1 - P (1st is female) * P (2nd is female) = 1 - 1/4 = 3/4 -- against, this is the prior probability unmodified by our new condition (that we know one is male).
P (at least one is male | 1st is male) = 1.
So, P (1st is male | at least one male) = 1 * (1/2) / (3/4) = 2/3.
Hopefully that result makes some intuitive sense: it's less than 1 since you can't be certain that the 1st one is male, but it's more than it was before because if you *know* that *at least one* is male, it's a bit more likely that the *this particular one* is male, too.
-- Alex