ДОПУСТИМОЕ ПРАВИЛО

ДОПУСТИМОЕ ПРАВИЛО

- вывода правило, добавление к-рого в исчисление не меняет объема выводимых в этом исчислении слов. Введение в исчисление Д. п. является мощным и часто применяемым средством сокращения выводов, во многих случаях полезно для совершенствования алгоритмов установления выводимости. Одним из важнейших результатов математич. логики является теорема о допустимости правила сечения (см. Генцена формальная система). См. Выводимое правило, Производное правило.

С. Ю. Маслов.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужна курсовая?

Смотреть что такое "ДОПУСТИМОЕ ПРАВИЛО" в других словарях:

  • ПРАВИЛО ВЫВОДА —         определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… …   Философская энциклопедия

  • Допустимое содержание алкоголя для водителей в разных странах — По общеевропейской системе Правил дорожного движения допустимый уровень содержания алкоголя не должен превышать 0,5 промилле. Такая норма установлена почти во всех странах Европы. В Великобритании, Лихтенштейне, Люксембурге, Сан Марино можно… …   Энциклопедия ньюсмейкеров

  • Правило отклонения — (дисперсии) Определяет разрешенное минимальное / максимальное количество акций, которые могут быть поставлены для выполнения условий сделки, объявление о которой должно состояться. Для ценных бумаг, обеспеченных пулом ипотек и гарантированных… …   Инвестиционный словарь

  • ПРОИЗВОДНОЕ ПРАВИЛО — вывода для данного исчисления вывода правило, заключение к рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. п., поскольку в этом исчислении имеет место выводимость из посылок:… …   Математическая энциклопедия

  • Банкротство — (Bankruptcy) Банкротство это признанная судом неспособность исполнить обязательства по уплате взятых в долг денежных средств Суть банкротства, его признаки и характеристика, законодательство о банкротстве, управление и пути предотвращения… …   Энциклопедия инвестора

  • ГОСТ Р МЭК 60050-826-2009: Установки электрические. Термины и определения — Терминология ГОСТ Р МЭК 60050 826 2009: Установки электрические. Термины и определения оригинал документа: ( длительный ) допустимый ток ((continuous) current carrying capacity ampacity (US)): Максимальное значение электрического тока, который… …   Словарь-справочник терминов нормативно-технической документации

  • Ликвидность — (Liquidity) Ликвидность это мобильность активов, обеспечивающая возможность бесперебойной оплаты обязательств Экономическая характеристика и коэффициент ликвидности предприятия, банка, рынка, активов и инвестиций как важный экономический… …   Энциклопедия инвестора

  • система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …   Словарь-справочник терминов нормативно-технической документации

  • 1: — Терминология 1: : dw Номер дня недели. «1» соответствует понедельнику Определения термина из разных документов: dw DUT Разность между московским и всемирным координированным временем, выраженная целым количеством часов Определения термина из… …   Словарь-справочник терминов нормативно-технической документации

  • Резисторная оптопара — …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»