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

["Nils Gesbert" <nils.gesbert AT ign.fr>]

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 »