Operaattori, matematiikassa mikä tahansa symboli, joka ilmaisee suoritettavan operaation. Esimerkkejä ovat√x: n neliöjuuri (joka osoittaa, että neliöjuuri on otettava) ja d / dx (joka osoittaa, että erottelu x: n suhteen on suoritettava). Operaattoria voidaan pitää funktiona, muunnoksena tai kartana siinä mielessä, että se yhdistää tai "kartoittaa" elementit yhdestä joukosta elementteihin toisesta joukosta. Katso myös automorfismi.
muodollinen logiikka: Operaattorien keskinäinen määriteltävyys
Äskettäin ilmoitetut säännöt mahdollistaisivat taulukossa 3 luetellun ensimmäisen De Morgan -lain muuntaa minkä tahansa wff: n, joka sisältää minkä tahansa määrän