Re: [typo] Re: signe ¬

[Patrick Andries <patrick AT hapax.qc.ca>]

Alain FOSSÉ a écrit :

> Le 22 janv. 06 à 07:12, Patrick Andries a écrit :
>
> > ¬
>
>
> Bonjour,
>
> Tiens, au fait, pour un béotien, quelle est SVP la signification,  
> l'utilisation du signe « ¬ » ?
Un truc : copier-coller le signe dans BabelMap 
<http://hapax.qc.ca/BabelMap_fr.html>, faire apparaître le numéro du 
caractère, en cochant ACN (hexa), en bas. On obtient U+00AC. Ensuite, 
toujours dans BabelMap, aller à "U+00AC", cliquer sur propriétés et on 
voit "symbole non" (logique). On peut évidemment obtenir la même chose à 
partir de <http://hapax.qc.ca/Tableaux-4.1.htm> en tapant "00AC" puis en 
cliquant sur "zou !".

On utilise le signe ¬ en logique des prédicats :

¬ a = pas a, non a.
¬ ¬ a = a
et la célèbre loi de De Morgan :  ¬ (a v b) = ¬ a ^ ¬ b

P. A.

(http://de.wikipedia.org/wiki/De_Morgansche_Gesetze, n'existe 
apparemment pas en français...)