Вы не задали вопрос. Уточните, что нужно сделать с утверждением: 1) Преобразовать в логические/формальные выражения; 2) Составить таксономическую иерархию/список видов; 3) Сделать логические выводы (что еще следует/не следует); 4) Что-то иное — опишите кратко.
1) Преобразовать в логические/формальные выражения;
2) Составить таксономическую иерархию/список видов;
3) Сделать логические выводы (что еще следует/не следует);
4) Что-то иное — опишите кратко.