Được gọi là gì và nó dùng để làm gì? [đóng cửa]


23

Googling câu hỏi này đã tỏ ra hơi vô dụng, vì vậy ¬biểu tượng:

  • Nó dùng để làm gì?
  • Cái gì gọi là gì?
  • Nó được sử dụng trong bất kỳ ngôn ngữ lập trình?

1
Nhân vật đó là U+00AC NOT SIGNvà là một trong nhiều ký hiệu cho sự phủ định logic
amon

5
Tôi đang bỏ phiếu để đóng câu hỏi này ngoài chủ đề vì nó không phải là về các khái niệm phát triển phần mềm như được giải thích trong trung tâm trợ giúp .
amon

1
Đó là trên bàn phím UK 101 tiêu chuẩn, trên cùng bên trái có dấu sau `` `và đường ống bị hỏng ¦.
BanksySan

2
Wikipedia đã chuyển hướng cho nhiều biểu tượng unicode. ¬ . Bạn cũng có thể thấy điều này với những thứ như 🍩 . Mặc dù tìm kiếm của google không làm tốt với nhân vật này, nhưng người ta nên thử dán nó vào tìm kiếm của Wikipedia. Họ có nhiều chuyển hướng cho các ký tự unicode đơn được thiết lập.

1
Được sử dụng để ngắt các câu lệnh dài trong tập lệnh ứng dụng alvinalexander.com/mac-os-x/ Kẻ
Maxim Veksler

Câu trả lời:


31

Việc sử dụng duy nhất tôi thấy cho ¬biểu tượng là thể hiện sự phủ định trong bối cảnh logic chính thức. Chẳng hạn, nếu Plà mệnh đề "Hôm nay trời sẽ mưa", thì đó ¬Plà mệnh đề "Hôm nay trời sẽ không mưa". Tôi cũng đã thấy ~ được sử dụng cho việc này.

Tôi không tin nó có tên thật ngoài "biểu tượng phủ định". Thông thường nó được đọc là "không".

Theo tôi biết, trong lập trình biểu tượng này không có ý nghĩa đặc biệt, ít nhất là không có ngôn ngữ chính nào tôi từng sử dụng.


Một số ngôn ngữ lập trình chấp nhận các ký tự UTF8 làm tên hoặc toán tử do người dùng xác định.
Basile Starynkevitch

1
Tại sao biểu tượng phủ định không phải là "tên thực tế"? Rốt cuộc, chúng tôi gọi! dấu chấm than và? dấu hỏi . Và đó là những cái tên hoàn toàn tốt.
Brandin

REXX sử dụng ¬ cho logic không và trong các toán tử như ¬=, ¬>v.v. Hầu hết việc triển khai cũng cho phép `\` vì nhiều bàn phím thiếu phím. Tôi không chắc chắn rằng nó có thể được coi là một ngôn ngữ chính, mặc dù.
mrb

PL / 1 (được phát triển vào cuối những năm 1960) đã sử dụng ký hiệu for cho không. Đã sử dụng PL / 1 trong nhiều năm, tôi vẫn nghĩ đây không phải là biểu tượng
Kickstart

AppleScript sử dụng ¬ làm biểu tượng tiếp tục dòng , để phân chia các lệnh dài thành nhiều dòng, như \ in bash script.
Chad von Nau
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.