全称記号
全称記号(ぜんしょうきごう、universal quantifier)とは、数理論理学において「全ての」(全称量化)を表す記号である。通常「∀」と表記され、全称量化子(ぜんしょうりょうかし)、全称限量子(ぜんしょうげんりょうし)、全称限定子(ぜんしょうげんていし)、普遍量化子(ふへんりょうかし)、普通限定子(ふつうげんていし)などとも呼ばれる。