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