Operaator matemaatikas mis tahes sümbol, mis näitab sooritatavat toimingut. Näideteks on√x ruutjuur (mis näitab, et ruutjuur tuleb võtta) ja d / dx (mis tähistab diferentseerumist x suhtes). Operaatorit võib käsitleda funktsioonina, teisendusena või kaardina selles mõttes, et ta seob või “kaardistab” elemendid ühest komplektist teise komplekti elementidesse. Vaata ka automorfismi.
formaalne loogika: operaatorite määratletavus
Äsja öeldud reeglid võimaldaksid tabelis 3 loetletud esimesel De Morgani seadusel muuta mis tahes arvu wff-sid sisaldava wff-i