Процесс, который вы описали, называется дедуктивным выводом. Давайте разберемся, почему именно это название подходит для описанного процесса.

• Дедуктивный вывод — это метод логического рассуждения, который начинается с общих утверждений или принципов и приводит к конкретным выводам. В дедукции мы используем общие законы или правила, чтобы прийти к конкретным заключениям. Например, если известно, что все люди смертны (общее утверждение),и Сократ — человек (частное утверждение),то мы можем сделать вывод, что Сократ смертен (конкретное заключение).
• Индуктивный вывод — это метод, который начинается с наблюдений или частных случаев и приводит к общим утверждениям. Индукция предполагает обобщение на основе ограниченного числа наблюдений. Например, если мы видим, что несколько видов птиц умеют летать, мы можем сделать вывод, что все птицы умеют летать, хотя это и не всегда верно.
• Абдуктивный вывод — это метод, который используется для формирования гипотез, объясняющих наблюдаемые явления. Он начинается с наблюдений и ищет наиболее вероятное объяснение. Абдукция часто используется в научных исследованиях для выдвижения гипотез.

Таким образом, если вы подставляете известные частные утверждения в общие утверждения для получения конкретных выводов, это процесс дедуктивного вывода.