метод логического вывода