operãtorius, simbolis arba jų kombinacija, siejanti kintamuosius dydžius, konstantas ar formas ir sukurianti naują konstantą ar formą. Operatorių rūšys: propozicinės jungtys (konjunkcija, disjunkcija ir kitos), kvantoriai, abstrakcijos ir deskripcijos operatoriai ir kiti simboliai. Modalumai (būtina, galima, atsitiktina) vadinami modaliniais operatoriais. Formalizuotų kalbų taisyklės apibrėžia iš operatorių sudaromas prasmingas išraiškas.
314