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 en 30 secondes
- (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.
Exemples
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.
Exemples
1 sur 1
1
C'tait utile ?
Commentaires (0)
Connectez-vous pour Commenter
Pas encore de commentaires. Soyez le premier à partager vos idées !
