Operater, iz matematike, svaki simbol koji označava operaciju koju treba izvesti. Primjeri su kvadratni korijen od √x (što ukazuje da kvadratni korijen treba uzeti) i d / dx (što ukazuje na razlikovanje u odnosu na x). Operator se može smatrati funkcijom, transformacijom ili mapom u smislu da povezuje ili „preslikava“ elemente iz jednog skupa u elemente iz drugog skupa. Vidi također automaorfizam.
formalna logika: Međusobno definiranje operatora
Upravo iznesena pravila omogućila će prvi zakon De Morgan naveden u tablici 3 transformirati bilo koji wff koji sadrži bilo koji broj
