Теорема. Вероятность суммы двух несовместных событий равна сумме вероятностей этих событий.
(1.6.1)
Доказательство: Рассмотрим схему случаев.
Очевидно, что , таким образом . Что и требовалось доказать.
Совершенно аналогично доказывается теорема для случая нескольких несовместных событий
(1.6..2)
Если при том события образуют полную группу, то
(1.6.3)
Из теоремы следует формула вероятности для противоположного события
(1.6.4)