Cercare su Google questa domanda si è rivelato in qualche modo inutile, quindi il ¬
simbolo:
- Cosa serve?
- Come si chiama?
- È usato in qualche linguaggio di programmazione?
¦
.
Cercare su Google questa domanda si è rivelato in qualche modo inutile, quindi il ¬
simbolo:
¦
.
Risposte:
L'unico uso che ho visto per il ¬
simbolo è rappresentare la negazione nel contesto della logica formale. Ad esempio, se P
è la proposizione "Pioverà oggi", allora ¬P
è la proposizione "Non pioverà oggi". Ho anche visto ~ usato per questo.
Non credo che abbia un nome reale diverso da "simbolo di negazione". Normalmente viene letto come "non".
Per quanto ne so, nella programmazione questo simbolo non ha alcun significato speciale, almeno non in tutti i linguaggi tradizionali che ho usato.
¬=
, ¬>
ecc. La maggior parte dell'implementazione consente anche `\` perché molte tastiere non dispongono di un tasto ¬. Tuttavia, non sono sicuro che possa essere considerato un linguaggio tradizionale.
U+00AC NOT SIGN
ed è una delle tante notazioni per negazione logica