Re: [typo] barre d'exclusion / opérateur d'incompatibilité

[Marc Autret <marcautret@xxxxxxx>]

La barre verticale s'emploie en effet comme "opérateur d'incompatibilité" (i. e. "ou exclusif") en logique formelle.
Dans ce contexte, on disait aussi "barre de Sheffer", mais je ne sais pas si cette paternité est restée aussi nette.

La capture jointe est extraite d'un vieux "Que sais-je?" de Jean Chauvineau (1980).

J'y surligne l'axiome de Nicod, une jolie monstruosité qui, mine de rien, permet d'engendrer toute la logique propositionnelle classique avec une seule thèse et un seul opérateur (la barre de Sheffer). (En général, on a plutôt besoin de 3 axiomes, avec les opérateurs de négation et d'implication.)

Cordialement,
Marc Autret

----- Mail Original -----
De: "Gilles Barras" <gyl.barras@xxxxxxxxx>
À: typographie@xxxxxxxxxxxxxxx
Envoyé: Lundi 27 Octobre 2008 11:25:58 GMT +01:00 Amsterdam / Berlin / Berne / Rome / Stockholm / Vienne
Objet: Re: [typo] barre d'exclusion

Quel est le symbole du « OU exclusif » en informatique ?

D'après le Wikipédia, ce serait un signe « plus » dans un cercle :
http://fr.wikipedia.org/wiki/OU_exclusif

D'après yoyodesign (?), il s'agirait d'un V avé la barre dessous :
http://www.yoyodesign.org/doc/w3c/mathml2/isoamsb.html

En revanche, ça y est ! D'après Frantext2 (Centre d'ingénierie
documentaire), le « OU exclusif » peut effectivement avoir comme signe la
barre verticale ! Yes !
http://cid.ens-lsh.fr/aide/documents/ac_frantextlistes.htm
Citation :
« En revanche, lorsque l'alternance porte sur une séquence de caractères, le
"ou" exclusif est marqué par la barre verticale : inéga(l|le|les|ux). »
(À la fin de l'article.)

Je tiens à préciser que je n'ai aucun avis ni sur la question, ni sur la
fiabilité des sources ! Mais le correcteur étant par essence pinailleur,
voilà où ça mène ! On est bien avancé, maint'nant, des heures de recherche
en perspective ! Cependant, j'ai encore un doute sur ce que recouvre
véritablement le terme « barre d'exclusion » dans le souci helvète de
féminisation...

Grrr...

Gilles

Tou|tes|s éga|les|ux !

Le 27/10/08 10:28, « Jean-Marie Schwartz » <jeanmarie_schwartz@xxxxxxxx> a
écrit :

> 
>> Qui peut dire quelque chose sur la barre d'exclusion (à ne pas utiliser en ‹
> égalitographie › helvétique, cela semble aller de soi), sans doute
> regrettablement absente de notre pratique hexagonale : son usage en bas de
> casse et en capitales, son glyphe, ses espacements de part et d'autre, etc. ?
> 
> La barre d'exclusion est la barre verticale |, c'est bien ça ?
> Je pense qu'en informatique elle sert précisément à marquer un choix exclusif
> :
> A | B signifiant A ou B, mais pas les deux ensemble.
> Au clavier de mon Mac, je l'obtiens par Option-Majuscule-L. Spontanément, j'ai
> mis les espaces avant et après, mais je ne sais pas si c'est la norme.
> Et qu'entendre par "son usage en bdc et en capitales" ?
> 
> JMS
>

Attachment: logique-94.jpg
Description: JPEG image