ИНДИВИДНАЯ ПЕРЕМЕННАЯ


ИНДИВИДНАЯ ПЕРЕМЕННАЯ

, предметная переменная, - символ формального языка, служащий для обозначения произвольного элемента (индивида) в структурах, описываемых этим языком. Всякий формальный язык содержит один или несколько сортов И. п., причем переменных каждого сорта - бесконечное множество. Напр., язык теории векторного пространства содержит два сорта И. п.: для векторов и для скаляров, а язык арифметики - один сорт: для неотрицательных целых чисел.

С. К. Соболев.


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

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

  • ПРЕДМЕТНАЯ ПЕРЕМЕННАЯ — то же, что индивидная переменная. См. также Предикатов исчисление …   Математическая энциклопедия

  • СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ —     СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов.     Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие… …   Философская энциклопедия

  • логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • логика функциональная — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • теория квантификации — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • кванторная логика — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • Терм (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия


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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.