Operatore, in matematica, qualsiasi simbolo che indica un'operazione da eseguire. Esempi sono la radice quadrata di √x (che indica che deve essere presa la radice quadrata) e d / dx (che indica che deve essere eseguita la differenziazione rispetto a x). Un operatore può essere considerato come una funzione, trasformazione o mappa, nel senso che associa o "mappa" elementi da un set a elementi di un altro set. Vedi anche automorfismo.
logica formale: interdefinibilità degli operatori
Le regole che sono state appena enunciate consentirebbero alla prima legge De Morgan elencata nella Tabella 3 di trasformare qualsiasi wff contenente un numero qualsiasi di