Operatør, i matematikk, ethvert symbol som indikerer en operasjon som skal utføres. Eksempler er kvadratrot av √x (som indikerer at kvadratroten skal tas) og d / dx (som indikerer differensiering med hensyn til x skal utføres). En operatør kan betraktes som en funksjon, transformasjon eller kart, i den forstand at den knytter eller "kartlegger" elementer fra ett sett til elementer fra et annet sett. Se også automorfisme.
formell logikk: Operatørers avdefinerbarhet
Reglene som nettopp er blitt uttalt, vil gjøre det mulig for den første De Morgan-loven som er oppført i tabell 3, å transformere wff som inneholder et hvilket som helst antall
