Модель логического вывода