Що називається ¬ і для чого це? [зачинено]

23

Погуглити це питання виявилося дещо марним, тому ¬символ:

  • Навіщо це?
  • Як називається?
  • Чи використовується в будь-яких мовах програмування?
programming-languages 
— BanksySan
джерело
1
— амон
5
Я голосую за те, щоб закрити це питання поза темою, оскільки мова не йде про концепції розробки програмного забезпечення, як пояснено в довідковому центрі .
— амон
1
Він знаходиться на стандартній клавіатурі UK 101, вгорі ліворуч із задньою галочкою `` `та розбитою трубою ¦.
— BanksySan
2
У Вікіпедії переспрямовано багато символів унікоду. ¬ . Ви також можете бачити це з такими речами, як 🍩 . Хоча пошук Google не справляється з цим персонажем, слід спробувати вставити його в пошук Вікіпедії. У них багато переспрямувань для створених одиночних символів Unicode .
1
Використовується для переривання довгих тверджень у сценарії програми alvinalexander.com/mac-os-x/…
— Максим Векслер

Відповіді:

31

Єдине використання, яке я бачив для ¬символу, - це представлення заперечення в контексті формальної логіки. Наприклад, якщо Pє пропозиція "Сьогодні буде дощ", то ¬Pце твердження "Сьогодні не буде дощу". Я також бачив ~ використовувався для цього.

Я не вірю, що у нього є власне назва, окрім "символу заперечення". Зазвичай це читається як "ні".

Наскільки мені відомо, в програмуванні цей символ не має особливого значення, принаймні, не в будь-яких основних мовах, якими я користувався.

— Іксрек
джерело
Деякі мови програмування приймають символи UTF8 як імена або визначені користувачем оператори.
— Базиль Старинкевич
1
Чому символ заперечення не є "фактичним іменем"? Адже ми дзвонимо! знак оклику і? знак питання . І це ідеально чудові імена.
— Брандін
REXX використовує ¬ для логічних, а не для таких операторів, як ¬=, ¬>тощо. Більшість реалізацій також дозволяє "\", оскільки для багатьох клавіатур не вистачає клавіші ¬. Я не впевнений, що це можна вважати основною мовою.
— мрб
PL / 1 (розроблений наприкінці 1960-х років) використовував символ ¬ для. Використовуючи PL / 1 протягом багатьох років, я все ще вважаю це не символом
— Kickstart
AppleScript використовує ¬ як символ продовження рядків , щоб розділити довгі команди на кілька рядків, як \ in bash script.
— Чад фон Нау
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.