Процесс поиска решения задачи, заключающийся в выводе утверждений путем подстановки в общие утверждения других известных частных утверждений называется …