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