Pagina:Teoria degli errori e fondamenti di statistica.djvu/39

3.3 - Proprietà della probabilità

23

Facendo uso della definizione empirica di probabilità si trova, partendo dalle seguenti identità:

$f(E)={\frac {n_{11}+n_{12}}{N}}=f(EF)+f\left(E{\bar {F}}\right),$

$f(F)={\frac {n_{11}+n_{21}}{N}}=f(EF)+f\left({\bar {E}}F\right),$

che devono valere

$p(E)=p(EF)+p\left(E{\bar {F}}\right),$

$p(F)=p(EF)+p\left({\bar {E}}F\right),$

ed altre due simili per ${\bar {E}}$ e ${\bar {F}}$.

Se ora si applica la definizione empirica all’evento complesso $E+F$ somma logica degli eventi semplici $E$ ed $F$, definito come lʼevento casuale consistente nel verificarsi o dell’uno o dell’altro di essi o di entrambi, otteniamo

$~f(E+F)$	$=$	${\frac {n_{11}+n_{12}+n_{21}}{N}}$
	$=$	${\frac {(n_{11}+n_{12})+(n_{11}+n_{21})-n_{11}}{N}}$
	$=$	$f(E)+f(F)-f(EF)~$

da cui, passando al limite,

$p(E+F)=p(E)+p(F)-p(EF).$

Nel caso particolare di due eventi $E$ ed $F$ che si escludano mutuamente (cioè per cui sia $p(EF)=0$ ed $n_{11}\equiv 0$), vale la cosiddetta legge della probabilità totale:

$p(E+F)=p(E)+p(F)$

Questa si generalizza poi per induzione completa al caso di più eventi (sempre però mutuamente esclusivi), per la cui somma logica la probabilità è uguale alla somma delle probabilità degli eventi semplici:

$~p(A+B+\cdots +Z)=p(A)+p(B)+\cdots +p(Z)$.

(3.2)