Googler cette question s'est révélé quelque peu inutile, donc le ¬
symbole:
- Pourquoi est-ce?
- Comment s'appelle-t-on?
- Est-il utilisé dans tous les langages de programmation?
¦
.
Googler cette question s'est révélé quelque peu inutile, donc le ¬
symbole:
¦
.
Réponses:
La seule utilisation que j'ai vue pour le ¬
symbole est de représenter la négation dans le contexte de la logique formelle. Par exemple, si P
est la proposition «Il pleuvra 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.
¬=
, ¬>
, etc. La plupart mise en œuvre permettent également `\` parce que de nombreux claviers manquent une touche ¬. Je ne suis pas sûr que cela puisse être considéré comme une langue traditionnelle, cependant.
U+00AC NOT SIGN
et est l' une des nombreuses notations de la négation logique