Operatør i matematik ethvert symbol, der angiver en handling, der skal udføres. Eksempler er kvadratrod af √x (hvilket indikerer, at kvadratroden skal tages) og d / dx (hvilket indikerer differentiering med hensyn til x skal udføres). En operatør kan betragtes som en funktion, transformation eller kort i den forstand, at den knytter eller “kort” elementer fra et sæt til elementer fra et andet sæt. Se også automorfisme.
formel logik: Operatørers interdefinerbarhed
De regler, der netop er blevet angivet, ville gøre det muligt for den første De Morgan-lov, der er anført i tabel 3, at omdanne enhver wff, der indeholder et hvilket som helst antal af