Оператор, по математика, всеки символ, който показва операция, която трябва да се извърши. Примери са квадратен корен of√x (което показва, че квадратният корен трябва да бъде взет) и d / dx (което показва, че трябва да се извърши диференциация по отношение на x). Операторът може да се разглежда като функция, трансформация или карта, в смисъл, че асоциира или „картира“ елементи от един набор към елементи от друг набор. Вижте също автоматизъм.
формална логика: Определяне на операторите
Току-що посочените правила биха позволили първият закон на Де Морган, посочен в таблица 3, да трансформира всеки wff, съдържащ произволен брой
