Formule des probabilités totales
Fondamental :
Une famille
d'événements est un système complet si :
ils sont deux à deux incompatibles,
leurs probabilités sont non nulles,
leur réunion est l'univers
.
Alors :
pour tout événement
.
Fondamental :
En particulier, si
est un événement tel que
et
, alors :
pour tout événement
.