Opérateur de prédicat
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