Zasada włączeń i wyłączeń: Różnice pomiędzy wersjami

Rozmiar się nie zmienił ,  13 lat temu
m
→‎Przykład: drobne merytoryczne
m (→‎Dowód: drobne merytoryczne)
m (→‎Przykład: drobne merytoryczne)
Dla trzech zbiorów skończonych <math>A_1, A_2, A_3</math> liczba elementów ich sumy wyraża się wzorem:
:<math>\left|A_1 \cup A_2 \cup A_3 \right| = \left|A_1 \right| + \left|A_2\right| + \left|A_3 \right| - \left|A_1 \cap A_2 \right|-</math>
:<math> +- \left|A_1 \cap A_3 \right| -\left| A_2 \cap A_3 \right| + \left|A_1 \cap A_2 \cap A_3 \right| </math>
 
Wzór zapewnia, że elementy znajdujące się jednocześnie w kilku spośród zbiorów <math>A_1, A_2, \dots, A_n</math> liczone są dokładnie raz.