Operador, em matemática, qualquer símbolo que indique uma operação a ser executada. Os exemplos são raiz quadrada de√x (que indica que a raiz quadrada deve ser obtida) e d / dx (que indica que a diferenciação em relação a x deve ser executada). Um operador pode ser considerado uma função, transformação ou mapa, no sentido em que associa ou "mapeia" elementos de um conjunto para elementos de outro conjunto. Veja também automorfismo.
lógica formal: interdefinibilidade dos operadores
As regras que acabamos de declarar permitiriam à primeira lei de De Morgan listada na Tabela 3 transformar qualquer wff contendo qualquer número de