Прошу извинить, что столько раз путал условия. Кажется разобрался.
Итак, имеем три величины
,
Условие, что
- вероятностное пространство означает, что
Переводим в словесную формулировку:
В семье двое детей, один из детей - мальчик. Это условие задает вероятностное пространство
- это вероятность события "девочка в семье - младшая"
Противоположным в логическом смысле будет событие "неверно, что девочка в семье младшая", т.е. девочка может быть старшей или ее может не быть вообще, это эквивалентно событию "младший в семье мальчик", т.е. объединению
.
- это вероятность события "девочка в семье старшая"
Отрицание этого "неверно, что девочка в семье старшая" эквивалентно событию "мальчик в семье старший", т.е. объединению
- это вероятность события "в семье два мальчика"
Отрицание этого "неверно, что в семье два мальчика" эквивалентно
- это объединение вероятностей событий
, т.е. событие "младший ребенок в семье - мальчик", этому же событию соответствует величина вероятности
, а т.к.
- это вероятность события "девочка в семье младшая", то
это его "дополнение" : "неверно, что девочка младшая".
- это объединение вероятностей событий
, т.е. событие "старший ребенок в семье мальчик", этому же событию соответствует величина вероятность
, а т.к.
это событие "девочка в семье старшая", то его "дополнение" : "неверно, что девочка старшая".
Отрицание того, что "девочка в семье младшая" с одной стороны, означает "девочка в семье старшая", с другой "в семье два мальчика", с третей " мальчик в семье младший".
Соответственно, "неверно, что девочка старшая" означает: "девочка в семье старшая", "в семье два мальчика", "мальчик в семье старший".
Отрицание же того, что "в семье два мальчика" означает, либо что "девочка в семье младшая" либо, что "девочка в семье старшая", логически между этими утверждениями вроде бы должна стоять дизъюнкция
, а в вероятностном пространстве объединение
, но дизъюнкция истинна, в том числе и если истинны оба входящих в нее члена, а это противоречило бы условию "по крайне мере один из детей мальчик".
Мои условия:
Вероятность того, что девочка - младший ребенок в семье (
), равна произведению вероятностей, что девочка старший ребенок в семье (
) и того, что мальчик в семье старший (
).
Здесь все верно.
А вот вторая часть условия доставила мне много хлопот.
Вероятность того, что мальчик в семье старший (
) равна произведению вероятностей, что "девочка - младший ребенок в семье" (
) и вероятности, что "девочка старший ребенок в семье".
Это не верно.
Даже, если бы я сформулировал его так:
Вероятность того, что мальчик в семье старший (
) равна произведению вероятностей, что "девочка младший ребенок в семье" (
) и вероятности, что "девочка не старший ребенок в семье", т.к. в пространстве событий ему соответствует
, т.е. "старший в семье мальчик".
На самом же деле нужно так:
Вероятность того, что мальчик в семье старший (
) равна произведению вероятностей, что "девочка младший ребенок в семье" (
) и вероятности, что "девочка младший ребенок в семье" (т.е. квадрату вероятности этого события).
Все мои ошибки и закрытие предыдущей темы связаны с попыткой связать два вероятностных пространства: пары утверждений о детях, по крайне мере одно из которых истинно
и пары детей, по крайне мере один из которых мальчик
.
В этом ключе второй абзац условия я мог бы сформулировать так:
Вероятность того, что мальчик в семье старший (
) равна произведению вероятностей, что "девочка младший ребенок в семье" (
) и вероятности, того, что утверждение "неверно, что мальчик в семье младший", истинно.