for all (フォアオール) ですね。
Unicode の規格でもそのようになっています。
http://www.unicode.org/charts/PDF/U2200.pdf
一般的な日本語入力システムでは「すべて」を変換すると出てきますよ。
「全てのAがBである」と「BであるようなAが存在する」はもちろん異なる状況であり、論理学では∀と∃という記号で区別しています。
All の A と Exist の E を逆向きにして記号化したものです。
(ちなみに「そんざい」を変換すると大抵の日本語入力システムでは∃が候補として出てきます。)
Permalink | 記事への反応(0) | 18:01
ツイートシェア
ガンダムについては全然知らんのだが、学生のときに知識工学の講義の最初に「∀はターンエーとは読みません」と説明されたのを覚えている。
じゃあ何て読むん?
for all (フォアオール) ですね。 Unicode の規格でもそのようになっています。 http://www.unicode.org/charts/PDF/U2200.pdf 一般的な日本語入力システムでは「すべて」を変換すると出てきますよ。 「...