Accéder au contenu.
Menu Sympa

typographie - Re: [typo] (HC) logique formelle (�tait : barre oblique)

Objet : Liste consacrée aux discussions à propos de la composition et de la typographie

Archives de la liste

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


Chronologique Discussions 
  • From: Thierry Bouche <thierry.bouche AT ujf-grenoble.fr>
  • To: typographie AT irisa.fr
  • Subject: Re: [typo] (HC) logique formelle (était : barre oblique)
  • Date: Fri, 24 Jan 2003 12:31:43 +0100
  • Organization: Nonsense Inc.

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                                      




Archives gérées par MHonArc 2.6.16.

Haut de le page