Je lance un dé deux fois.
Evénement A : Je fais 5 au premier lancer.
Evenement B : Je fais 4 au deuxième lancer.
non(A) : Ne pas faire 5 au premier lancer
non(B) : Ne pas faire 4 au deuxième lancer.
Jusque là on est d'accord, je pense
Maintenant :
"A union B", c'est "[A et non(B)], ou bien [non(A) et B], ou bien [A et B]".
"non(A union B)", c'est l'ensemble des événements qui peuvent se produisent lorsque "A union B" ne se produit pas.
Ca laisse peu de possibilités :
En fait ça n'en laisse qu'une "non(A) et non(B)".
Je n'ai pas fait 5 au premier lancer, puis je n'ai pas fait 4 au deuxième lancer. C'est le seul moyen pour avoir fait l'inverse de "A union B".