Логический путь от общего к частному называется