deductive inference

Дедуктивный вывод