Objet : Liste consacrée aux discussions à propos de la composition et de la typographie
Archives de la liste
- 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
- Re[2]: [typo] barre oblique, (suite)
- Message indisponible
- Re[2]: [typo] barre oblique, Pierre Duhem, 24/01/2003
- Re: [typo] barre oblique, Jacques Andre, 24/01/2003
- Re: [typo] barre oblique, Serge B, 24/01/2003
- Re[2]: [typo] barre oblique, Pierre Duhem, 24/01/2003
- Re: Re[2]: [typo] barre oblique, Jef Tombeur, 24/01/2003
- Re: [typo] barre oblique, Yves Maniette, 24/01/2003
- Re: [typo] barre oblique, Leraillez Benoit, 23/01/2003
- Re: [typo] barre oblique, lldemars, 23/01/2003
- Re: [typo] barre oblique, Jean-François Roberts, 24/01/2003
- Re: [typo] (HC) logique formelle (était : barre oblique), Nils Gesbert, 24/01/2003
- Re: [typo] (HC) logique formelle (était : barre oblique), Thierry Bouche, 24/01/2003
- Re: [typo] (HC) logique formelle (était : barre oblique), Jean-François Roberts, 24/01/2003
- Re: [typo] barre oblique, lldemars, 23/01/2003
- Re: [typo] barre oblique, Jean-François Roberts, 23/01/2003
- Re: (HC) [typo] barre oblique, Nils Gesbert, 23/01/2003
- Re: [typo] barre oblique, lldemars, 23/01/2003
- Re: [typo] barre oblique, Patrick Cazaux, 23/01/2003
- Re: [typo] barre oblique, Patrick Cazaux, 23/01/2003
- Re: [typo] barre oblique, lldemars, 23/01/2003
- Re: [typo] barre oblique, emmanuel . curis, 23/01/2003
Archives gérées par MHonArc 2.6.16.