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)
登录后评论
还没有评论。成为第一个分享想法的人！
