Операции математической логики, применяемые к логическим выражениям и дающие характеристику области предметов (или области предикатов), к к-рой относится данное логическое выражение . Наиболее употребительны К. общности и К. существования.