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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.