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

Deductive inference