Opérateur, en mathématiques, tout symbole qui indique une opération à effectuer. Les exemples sont la racine carrée de√x (qui indique que la racine carrée doit être prise) et d / dx (qui indique que la différenciation par rapport à x doit être effectuée). Un opérateur peut être considéré comme une fonction, une transformation ou une carte, en ce sens qu'il associe ou «mappe» des éléments d'un ensemble à des éléments d'un autre ensemble. Voir aussi automorphisme.
logique formelle: Interdéfinissabilité des opérateurs
Les règles qui viennent d'être énoncées permettraient à la première loi De Morgan énumérée dans le tableau 3 de transformer tout wff contenant un nombre quelconque de
