Operatör, matematikte, gerçekleştirilecek bir işlemi gösteren herhangi bir sembol. Örnekler Karekök of√x (kare kökünü belirtir alınacak olan) ve d / dx (gerçekleştirilecekse x göre türevi gösterir). Bir işleç, öğeleri bir kümeden başka bir kümedeki öğelere ilişkilendirdiği veya "eşleştirdiği" anlamında bir işlev, dönüşüm veya harita olarak görülebilir. Ayrıca bkz. Otomorfizm.
biçimsel mantık: Operatörlerin birbirleriyle karşılıklı tarif edilebilirliği
Az önce belirtilen kurallar, Tablo 3'te listelenen ilk De Morgan yasasının herhangi bir sayıdaki herhangi bir wff'yi dönüştürmesini sağlayacaktır.
