ピクシブ百科事典は2023年6月13日付でプライバシーポリシーを改定しました。改訂履歴

記号の1つ。

矢印を参照




pixivにおいてはただの矢印のバリエーションとして用いられていることが多いが、本来は集合論・論理学において包含を表す記号である。

すなわち、

A⇒B

と記載した場合、「AならばB」という関係を示す。

つまり、

命題 甲「博麗霊夢博麗の巫女である」

が正しい場合、必ず

命題 乙「博麗霊夢は人間である」

が成立するのであれば、

甲⇒乙

と表現することができる。

(ちなみにこの論理式は2014年9月22日現在の東方project公式設定では博麗の巫女は必ず人間であるとされるため正しいと言えるが、二次創作や公式設定が変更された場合は偽となり得る。)

関連記事

親記事

記号 きごう

兄弟記事

  • 写植記号BA-90 しゃしょくきごうびーえーきゅうじゅう
  • !? えっ
  • * あすたりすく
  • もっと見る

pixivに投稿されたイラスト pixivでイラストを見る

pixivに投稿された小説 pixivで小説を見る

このタグがついたpixivの作品閲覧データ 総閲覧数: 133281

コメント

問題を報告

0/3000

編集可能な部分に問題がある場合について 記事本文などに問題がある場合、ご自身での調整をお願いいたします。
問題のある行動が繰り返される場合、対象ユーザーのプロフィールページ内の「問題を報告」からご連絡ください。

報告を送信しました