全称記号

全称記号

Description

An upside-down capital letter A.

Etymology

Introduced by Gerhard Gentzen who based it on the Latin letter A, by analogy with ∃.

Symbol

(mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”.

(数学、論理学) 述語計算などで、「すべての」を意味する普遍量化子を表すために使用される記号。

the universal quantifier

"for all"