Re: [typo] barre d'exclusion

[Marc Autret <marcautret AT free.fr>]

Il semble que la barre de Sheffer traduise davantage l'idée d'incompatibilité 
que celle d'alternative. Comme le martèle Éric Duyckaerts dans l'excellente 
vidéo donnée en lien, p|q n'est faux QUE quand p et q sont vrais.

De son côté, la barre d'alternative est très familière aux programmeurs et 
aux utilisateurs d'expressions régulières. On l'utilise dans les 
spécifications, grammaires BNF et dans le métalangage informatique en général 
pour décrire des expressions syntaxiques concurrentes. Par exemple dans une 
règle de production comme : ALPHA = LETTRE | CHIFFRE, la barre indique 
l'alternative pure et simple.



Marc Autret

----- Mail Original -----
De: "Jean-Marie Schwartz" 
<jeanmarie_schwartz AT yahoo.fr>
À: 
typographie AT listes.irisa.fr
Envoyé: Lundi 27 Octobre 2008 13:47:13 GMT +01:00 Amsterdam / Berlin / Berne 
/ Rome / Stockholm / Vienne
Objet: Re: Re: [typo] barre d'exclusion

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

Mea culpa ! J'ai voulu faire simple en utilisant le mot informatique alors que
je sentais bien que je glissais sur un terrain inconnu. J'avais en tête un
document que j'avais lu sur les DTD où il était parfois question de
l'alternative comme évoquée dans les liens donnés. Pour ce faire, la barre
verticale était utilisée (comme dans les expressions rationnelles). En
mathématiques, c'est ce qu'on appelle le symbole de Sheffer, non ?

JMS