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 30秒で
- (noun) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
Meanings
-
1
noun The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
例文
1
Summary
The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
- (noun) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
例文
1 / 1
1
役に立った？
コメント (0)
ログインしてコメント
まだコメントがありません。最初に考えをシェアしましょう！
