Jak się nazywa i do czego służy? [Zamknięte]

Googlowanie tego pytania okazało się nieco bezużyteczne, więc ¬symbol:

• Po co to jest?
• Jak się nazywa?
• Czy jest używany w jakichkolwiek językach programowania?

Jedyne zastosowanie, jakie widziałem dla tego ¬symbolu, to reprezentowanie negacji w kontekście logiki formalnej. Na przykład, jeśli Pjest zdanie „dzisiaj będzie padać”, to ¬Pjest zdanie „dziś nie będzie padać”. Widziałem też ~ używane do tego.

Nie wierzę, że ma rzeczywistą nazwę inną niż „symbol negacji”. Zwykle jest to czytane jako „nie”.

O ile mi wiadomo, w programowaniu ten symbol nie ma specjalnego znaczenia, przynajmniej nie w żadnym z głównych języków, z których korzystałem.