дедуктивное умозаключение
математика дедуктивное рассуждение
дедуктивные рассуждения, дедуктивный вывод метод, используемый в языке Prolog для нахождения решения по заданным фактам и правилам Смотри также: commonsense reasoning