логічний оператор, що виражає твердження про існування (бодай одного) об’єкта, який задовольняє певній умові
