Выводимость См. Вывод логический, Исчисление. Источник: Математическая энциклопедия на Gufo.me Предложить изменения Выводимое Правило Выделение Сигнала