2021-12-11

https://anond.hatelabo.jp/20211210144012

for all (フォアオール) ですね。

Unicode の規格でもそのようになっています

http://www.unicode.org/charts/PDF/U2200.pdf

一般的日本語入力システムでは「すべて」を変換すると出てきますよ。


「全てのAがBである」と「BであるようなAが存在する」はもちろん異なる状況であり、論理学では∀と∃という記号区別しています

All の A と Exist の E を逆向きにして記号化したものです。

(ちなみに「そんざい」を変換すると大抵の日本語入力システムでは∃が候補として出てきます。)

記事への反応 -
  • ガンダムについては全然知らんのだが、学生のときに知識工学の講義の最初に「∀はターンエーとは読みません」と説明されたのを覚えている。

    • じゃあ何て読むん?

      • for all (フォアオール) ですね。 Unicode の規格でもそのようになっています。 http://www.unicode.org/charts/PDF/U2200.pdf 一般的な日本語入力システムでは「すべて」を変換すると出てきますよ。 「...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん