Метод логического вывода Реальное определение в логике примеры