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