Re: [typo] barre d'exclusion

[Marc Autret <marcautret@xxxxxxx>]

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@xxxxxxxx>
À: typographie@xxxxxxxxxxxxxxx
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