Opérateur de prédicat
(Redirigé depuis Predicate operator)
Définition
Les opérateurs de prédicats font partie du langage des formes logiques. Ils transforment un prédicat en un autre prédicat.
Français
opérateur de prédicat
Anglais
predicate operator
Sources
Contributeurs: Maya Pentsch, wiki