Re: [typo] (HC) logique formelle (était : barre oblique)

[Thierry Bouche <thierry.bouche@xxxxxxxxxxxxxxx>]

Le vendredi 24 janvier 2003 à 12:04:03, Nils Gesbert écrivit :


NG>     Si c'est bien cela, cette définition est équivalente à celle de 
NG> l'opérateur ou et donc d'un intérêt limité.

ah non elle est pas équivalente, parce qu'elle utilise le ou pour le
définir !

NG> Remarque : en logique, « ou exclusif » signifie tout simplement
NG> « différent de »

pour moi, qui vois ça comme de la théorie des ensembles, le et c'est
l'intersection, le ou l'union, et le ou exclusif la différence
symétrique.

Oui, je trouve fascinante l'idée d'inventer un _ou_ différent du _ou_
naturel (qui est inclusif par défaut, mais _pas toujours_, ça dépend du
contexte) pour recréer un _ou_ à peu près naturel, mais complexe (en
gros : pour définir l'union, il est effectivement possible de prendre la
différence symétrique de l'intersection et de la différence symétrique !)




 Thierry Bouche