Operator, în matematică, orice simbol care indică o operație care trebuie efectuată. Exemple sunt rădăcina pătrată a √x (care indică rădăcina pătrată care trebuie luată) și d / dx (ceea ce indică diferențierea față de x trebuie efectuată). Un operator poate fi considerat ca o funcție, transformare sau hartă, în sensul că asocia sau „hărți” elemente dintr-un set în elemente dintr-un alt set. Vezi și automorfism.
logică formală: interdefinibilitatea operatorilor
Normele care au fost stabilite ar permite primei legi De Morgan enumerate în tabelul 3 să transforme orice wff care conține un număr de