Основы и примеры использования кванторов в логике