(logic) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
universal quantifier
述語論理では、全称量化子（∀）はある述語が対象の集合のすべての要素について成り立つことを示すために用いられます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
