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

[Jean-François Roberts <jean-francois.roberts@xxxxxxxxxx>]

Très juste, et autant pour moi. Je devais être au sud de l'équateur quand
j'ai écrit ça. Merci du rappel.


> De : "Nils Gesbert" <nils.gesbert@xxxxxx>
> Répondre à : typographie@xxxxxxxx
> Date : Fri, 24 Jan 2003 12:04:03 +0100
> À : typographie@xxxxxxxx
> Objet : Re: [typo] (HC) logique formelle (était : barre oblique)
> 
> Le 23 Jan 2003, à 23:04, Jean-François Roberts écrivait :
> 
> » (aVb)^(a^b) = aV/^b
> 
> Tiens quelle drôle de notation...
> Si c'est de la logique formelle que vous tentez de faire, il semblerait
> que plusieurs détails vous aient échappé : tout d'abord, le V à l'endroit
> signifie ou et celui à l'envers signifie et (remarquez bien que les
> mathématiciens se sentent rarement obligés d'avoir recours à ces
> signes cabalistiques et ne rechignent pas à utiliser les mots « et » et
> « ou » qui ont le même sens).
> Ensuite, en logique formelle, le ou (éventuellement noté V donc) est
> inclusif par définition, c'est à dire que (a ou b) est défini comme étant
> toujours vrai sauf quand a et b sont tous deux faux.
> Enfin, quand on introduit une nouvelle notation, il est d'usage
> d'écrire le membre à définir à gauche du signe égale et celui qui le
> définit à droite.
> Ainsi je suppose que vous avez voulu écrire quelque chose comme :
> « on définit l'opérateur et/ou par :
> a et/ou b = (a et b) ou (a ou b). »
> Si c'est bien cela, cette définition est équivalente à celle de
> l'opérateur ou et donc d'un intérêt limité.
> Remarque : en logique, « ou exclusif » signifie tout simplement
> « différent de »