Matematika a logika operátora

Operátor v matematike akýkoľvek symbol, ktorý označuje operáciu, ktorá sa má vykonať. Príkladmi sú druhá odmocnina √x (ktorá označuje odmocninu, ktorá sa má odobrať) a ^d / _dx (ktorá označuje diferenciáciu vzhľadom na x, ktorá sa má vykonať). Operátor možno považovať za funkciu, transformáciu alebo mapu v tom zmysle, že spája alebo „mapuje“ prvky z jednej sady do prvkov z inej sady. Pozri tiež automorfizmus.

formálna logika: Interdefinovateľnosť operátorov

Pravidlá, ktoré sa práve uviedli, by umožnili, aby prvý zákon De Morgan uvedený v tabuľke 3 zmenil akýkoľvek zákon obsahujúci ľubovoľný počet