Bonjour,
On peut assimiler les lois de Morgan avec la théorie des ensembles, "Et" représentant l'intersection et "ou" la réunion.
si P,Q,R soit trois ensembles,
On peut alors démontrer simplement cette égalité en considérant un élément de l'ensemble de gauche et vérifier qu'il appartient à l'ensemble de droite, et réciproquement.
Le lien avec les propositions est le suivant : si p est une proposition, l'ensemble
est très exactement l'ensemble des objets x pour lesquels p est vraie.
(Je fais abstraction ici de la théorie naïve vs théorie ZFC des ensembles, pour éviter d'entrer dans une théorie contradictoire il faudrait parler d'un sur-ensemble).
A noter : cela fonctionne si P,Q,R sont des propositions en fonction d'une variable x.
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.