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