Come si chiama ¬ ea cosa serve? [chiuso]


23

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?

1
Quel personaggio è U+00AC NOT SIGNed è una delle tante notazioni per negazione logica
amon

5
Sto votando per chiudere questa domanda come fuori tema perché non si tratta di concetti di sviluppo software come spiegato nel Centro assistenza .
amon

1
È su una tastiera UK 101 standard, in alto a sinistra con il segno di spunta posteriore `` '' e il tubo rotto ¦.
BanksySan,

2
Wikipedia ha reindirizzamenti per molti simboli unicode. ¬ . Puoi anche vederlo con cose come 🍩 . Mentre la ricerca di Google non fa un buon lavoro con questo personaggio, si dovrebbe provare a incollarlo nella ricerca di Wikipedia. Hanno molti reindirizzamenti per i singoli caratteri Unicode impostati.

1
Utilizzato per infrangere le lunghe dichiarazioni nello script dell'app alvinalexander.com/mac-os-x/…
Maxim Veksler,

Risposte:


31

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.


Alcuni linguaggi di programmazione accettano caratteri UTF8 come nomi o operatori definiti dall'utente.
Basile Starynkevitch,

1
Perché il simbolo di negazione non è un "nome reale"? Dopotutto, chiamiamo! punto esclamativo e? punto interrogativo . E quelli sono nomi perfetti.
Brandin,

REXX usa ¬ per non logici e in operatori come ¬=, ¬>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.
sig.

PL / 1 (sviluppato alla fine degli anni '60) non utilizzava il simbolo ¬. Avendo usato PL / 1 per molti anni, penso ancora a questo come al non simbolo
Kickstart,

AppleScript usa ¬ come simbolo di continuazione della linea , per dividere i comandi lunghi in più righe, come \ nello script bash.
Chad von Nau,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.