¬とは何で、何のためですか?[閉まっている]


23

この質問をグーグルで検索すると、役に立たないことが判明したため、¬シンボルは次のようになります。

  • それは何のため?
  • なんていうの?
  • プログラミング言語で使用されていますか?

1
その文字があるU+00AC NOT SIGNと、ある論理否定のための多くの表記法の1
アモン

5
ヘルプセンターで説明されているソフトウェア開発の概念に関するものではないため、この質問をトピック外として終了することに投票しています
アモン

1
これは標準のUK 101キーボード上にあり、左上にバックティック `` `と壊れたパイプがあり¦ます。
BanksySan

2
ウィキペディアには、多くのUnicodeシンボルのリダイレクトがあります。 ¬。また、のようなものでこれを見ることができます🍩。グーグルの検索はこのキャラクターではうまくいきませんが、ウィキペディアの検索に貼り付けてみてください。彼らは持っている、単一のUnicode文字のために多くのリダイレクト設定を。

回答:


31

私が¬シンボルに対して見た唯一の使用法は、形式的論理の文脈で否定を表すことです。たとえば、P「今日は雨が降る」という命題であれば、「今日は雨が降らない」¬Pという命題です。私もこれを見てきた。

「否定記号」以外の実際の名前があるとは思わない。通常、「not」と読みます。

私の知る限り、プログラミングではこの記号は特別な意味を持ちません。少なくとも私が使用した主流の言語ではそうではありません。


一部のプログラミング言語は、名前またはユーザー定義演算子としてUTF8文字を受け入れます。
バジルスタリンケビッチ

1
否定記号が「実際の名前」ではないのはなぜですか?結局、私たちは呼び出します!感嘆符と?疑問符。そして、それらは完全に素晴らしい名前です。
ブランディン

論理のためのREXXの用途¬ないなどの演算子では¬=¬>多くのキーボードは¬キーがないため、などほとんどの実装はまた、 `\`許します。しかし、それが主流の言語と見なされるかどうかはわかりません。
MRB

PL / 1(1960年代後半に開発された)は、¬記号を使用しました。PL / 1を長年使用してきましたが、私はまだこれをシンボルではないと考えてます
キックスタート

AppleScriptは¬を行継続記号として使用して、bashスクリプトの\などの長いコマンドを複数の行に分割します。
チャドフォンナウ
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.