Google cette question s'est révélée quelque peu inutile, donc le ¬
symbole:
La seule utilisation que j'ai vue pour le ¬
le symbole est de représenter la négation dans le contexte de la logique formelle. Par exemple, si P
est la proposition "Il va pleuvoir aujourd'hui", alors ¬P
est la proposition "Il ne pleuvra pas aujourd'hui." J'ai également vu ~ utilisé pour cela.
Je ne crois pas qu'il ait un nom réel autre que "symbole de négation". Normalement, il est lu comme "non".
Pour autant que je sache, dans la programmation, ce symbole n'a pas de signification particulière, du moins pas dans les langages courants que j'ai utilisés.