Свойство 1 (Аксиома неотрицательности):
Условная вероятность не может быть отрицательной.
Свойство 2 (Аксиома нормировки):
Условная вероятность достоверного события при любом условии равна 1.
Свойство 3 (Аксиома аддитивности):
Если события несовместны, то вероятность того, что при условии произойдет хотя бы одно из них, равна сумме их условных вероятностей.
Доказательство
- – несовместные события
- Лемма: Докажем, что события, попавшие в , тоже несовместны, чтобы применить свойство сложения несовместных событий:
- Теперь распишем условную вероятность по определению и получим требуемое