Operator, dalam matematika, simbol apa pun yang menunjukkan operasi harus dilakukan. Contohnya adalah akar kuadrat of√x (yang menunjukkan akar kuadrat harus diambil) dan d / dx (yang menunjukkan diferensiasi sehubungan dengan x yang harus dilakukan). Operator dapat dianggap sebagai fungsi, transformasi, atau peta, dalam arti bahwa ia mengaitkan atau "memetakan" elemen dari satu set ke elemen dari set lain. Lihat juga automorfisme.
logika formal: Interdefinabilitas operator
Aturan yang baru saja dinyatakan akan memungkinkan undang-undang De Morgan pertama yang tercantum dalam Tabel 3 untuk mengubah setiap wff yang berisi sejumlah