Operator, w matematyce, dowolny symbol wskazujący operację do wykonania. Przykładami są pierwiastek kwadratowy z √x (który wskazuje, że pierwiastek kwadratowy ma być wzięty) i d / dx (co wskazuje, że należy wykonać różnicowanie względem x). Operator może być uważany za funkcję, transformację lub mapę w tym sensie, że kojarzy lub „mapuje” elementy z jednego zestawu do elementów z innego zestawu. Zobacz także automorfizm.
logika formalna: możliwość zdefiniowania operatorów
Reguły, które właśnie zostały określone, umożliwią pierwszemu prawu De Morgan wymienionemu w Tabeli 3 przekształcenie dowolnego wff zawierającego dowolną liczbę