Operatör, i matematik, vilken symbol som helst som indikerar en operation som ska utföras. Exempel är kvadratrot av √ (vilket indikerar att kvadratroten ska tas) och d / dx (vilket indikerar differentiering med avseende på x ska utföras). En operatör kan betraktas som en funktion, transformation eller karta i den meningen att den associerar eller "kartlägger" element från en uppsättning till element från en annan uppsättning. Se även automorfism.
formell logik: operatörers avgränsbarhet
De regler som just har angetts skulle göra det möjligt för den första De Morgan-lagen som anges i tabell 3 att omvandla alla WFF som innehåller valfritt antal