Что такое терм в математике
— языковое выражение, призванное обозначать объекты. Напр., выражения 
являются различными Т., обозначающими один и тот же объект. Т. могут содержать свободные переменные (параметры), фиксация значений к-рых однозначно определяет в соответствии с семантич. правилами языка нек-рый объект — значение Т. при данных значениях его свободных переменных. Так, напр., если f — переменная, значениями к-рой являются интегрируемые действительные функции, а х, а, b — переменные по действительным числам, то выражение 
является Т. с тремя параметрами а, b и f, обозначающим при каждом значении параметров вполне определенное действительное число (переменная хявляется в этом Т. связанной). Синтаксически Т. характеризуются тем, что их можно подставлять вместо переменных в другие выражения языка — Т. и формулы, получая при этом Т. и формулы соответственно.
В формализованных языках имеются формальные, не зависящие от семантики языка правила построения Т. п выделения в них свободных переменных; для многосортных языков имеются также правила, определяющие сорт возникающих Т.
В. Н. Гришин.
Математическая энциклопедия. — М.: Советская энциклопедия . И. М. Виноградов . 1977—1985 .
Смотреть что такое «ТЕРМ» в других словарях:
ТЕРМ — (англ. term, франц. terme, от лат. terminus граница, предел, позднее выражение, определение), в логико математич. исчислении аналог подлежащего или дополнения естеств. языков, т. е. выражение, обозначающее (или описывающее см. Дескрипция) … Философская энциклопедия
терміт — 1 іменник чоловічого роду, істота комаха терміт 2 іменник чоловічого роду речовина … Орфографічний словник української мови
ТЕРМ — Высокая тумба с изваянием человеческого бюста или туловища (непременно без ног). Название произошло от того, что у древн. римлян ставились на межах земельн. участков и изображали бога Терма, блюстителя границ. Словарь иностранных слов, вошедших в … Словарь иностранных слов русского языка
терм — сущ., кол во синонимов: 3 • баня (52) • единица (830) • терма (2) Словарь синонимов ASIS. В.Н. Тришин … Словарь синонимов
терм — терм, а (физ.) … Русский орфографический словарь
термінізм — іменник чоловічого роду … Орфографічний словник української мови
терміон — іменник чоловічого роду … Орфографічний словник української мови
терміст — іменник чоловічого роду, істота … Орфографічний словник української мови
термія — іменник жіночого роду … Орфографічний словник української мови
терм — Лингвистический объект, обозначающий сущность. [ГОСТ 34.320 96] Тематики базы данных EN term … Справочник технического переводчика
Терм (Од) — У этого термина существуют и другие значения, см. Терм. Коммуна Терм Termes Герб … Википедия
1.2.6 Термы
Между предметами области определения предиката могут быть заданы отношения. На это указывает функциональный символ , где ‑ номер функции, ‑ число аргументов.
Например, если предметной областью предиката является множество натуральных чисел, то в качестве предметов рассматриваются не только числа в чистом виде ‑ константы 5, 8, 12 и т.д., но и их комбинации, полученные при помощи арифметических операций, т.е. выражения вида . Объекты типа не являются высказываниями, так как о них нельзя сказать истинны они или ложны. Они являются некоторыми переменными числами множества . Таким образом, в логику предикатов вводится понятие терма. На самом деле, терм ‑ это функция над предметами, значениями которой тоже являются предметы.
Термы позволяют строить выражения типа , где знак « » ‑ это предикат, а функции и ‑ термы.
1.2.7 Формулы логики предикатов
Наша задача состоит в том, чтобы определить понятие формулы в логике предикатов, а затем на его основе продемонстрировать, насколько тоньше и точнее язык и логика предикатов отражают процессы человеческого мышления, нежели это делают язык и логика высказываний.
Понятие формулы логики предикатов вводится аналогично понятию формулы алгебры высказываний. Сначала задается алфавит символов, из которых будут составляться формулы:
где ‑ номер функции, ‑ число аргументов.
‑ нульместные предикатные переменные (высказывания): , , …, , …;
‑ предикатные символы: , …, , …, где ‑ номер предиката, ‑ число аргументов.
‑ символы логических операций: , , , , ;
‑ вспомогательные символы: ( , ) — скобки.
Определим понятие терма.
Определение (терма).
1. Базис. Предметные переменные и константы ‑ термы. Их обозначают символом .
2. Индукционный шаг. Если есть функциональный символ и термы , которые не обязаны быть разными, то подстановка термов в функциональный символ также есть терм.
3. Ограничение. Термы однозначно получаются с помощью правил, описанных в базисе и индукционном шаге. Никаких других термов нет.
Теперь дадим определение формулы логики предикатов, которое также носит индуктивный характер. При этом обратим внимание на то, что через всё определение формул необходимо провести определение свободных и связных переменных.
Определение (формулы логики предикатов).
Базис.
1. Каждая нульместная предикатная переменная есть формула;
2. Если есть предикатный символ и термы , то подстановка этих термов в предикатный символ дает формулу, в которой все вхождения предметных переменных свободные (так как термы кванторов не содержат).
Индукционный шаг.
3. Если и ‑ формулы, то , , , , , ‑ формулы. При этом все свободные и связные предметные переменные формул и останутся соответственно свободными и связными предметными переменными новых формул (так как новых кванторов нет).
4. Если ‑ формула и х ‑ предметная переменная, входящая в свободно, то выражения , также являются формулами, в которых переменная х связанная, а все остальные предметные переменные, входящие в формулу , свободно или связанно, остаются и в новых формулах соответственно такими же.
Ограничение.
5. Формулы однозначно получаются с помощью правил, описанных в базисе и индукционном шаге. Никаких других формул нет.
Формулы, определенные в п.1 и п.2, называются элементарными (или атомарными). Формулы, не являющиеся элементарными, называются составными.
Заметим, что по определению формулы никакая переменная не может быть одновременно свободной и связанной.
Например, , , — элементарные формулы, а , , ‑ составные формулы. При этом в первой составной формуле предметная переменная у связана, а переменные х, z ‑ свободные. Во второй составной формуле свободна лишь переменная z, остальные ‑ связаны. В третьей составной формуле первое вхождение переменной х связано, а второе ‑ свободно. Переменная у связана. Последнюю формулу более целесообразно было бы записать в следующем виде (заменив связанную переменную х какой-нибудь буквой, не входящей в данную формулу): .
В формулах вида , формула называется областью действия квантора или соответственно. Тогда ясно, что вхождение предметной переменной в формулу будет связанным, если эта переменная находится в области действия квантора по этой переменной.
Формулы, в которых нет свободных предметных переменных, называются замкнутыми, а формулы, содержащие свободные предметные переменные, — открытыми.
Примеры замкнутых формул: Р, , .
Правила записи сложных формул.
Пример 1. Дано «некоторые действительные числа являются рациональными».
В этом суждении имеется два предиката и . Формула этого рассуждения есть
Пример 2. «Некоторые социал-демократы уважают всех демократов. Ни один социал-демократ не уважает ни одного коммуниста. Следовательно, ни один демократ не является коммунистом».
В этом суждении три одноместных предиката , , и один двухместный предикат .
Формула сложного суждения имеет вид:
Пример 2. «Ни один торговец наркотиками не является наркоманом. Некоторые наркоманы привлекались к ответственности. Следовательно, некоторые люди, привлекавшиеся к ответственности, не являются торговцами наркотиков».
В этом суждении три предиката , ,
Формула этого суждения имеет вид:
Примеры позволяют сформулировать некоторые правила записи сложных формул:
1) каждое вхождение логической связки « » относится к формуле, следующей непосредственно за логической связкой справа;
2) каждое вхождение логических связок « » или « » после расстановки скобок связывает формулы, непосредственно окружающие логическую связку;
3) логические связки по силе упорядочены так: ;
4) за квантором общности чаще всего следует импликация, а за квантором существования конъюнкция;
5) если формула содержит подформулу, то последняя не должна содержать кванторов, связывающих ту же переменную, что и квантор формулы;
6) значения всех предметных переменных и постоянных должны принадлежать одной области определения предиката или функции;
7) если в одной формуле есть кванторы общности и существования, то при формализации суждений следует стремиться поставить квантор существования слева от всей формулы.
3.11 Термы
В математике практикуется введение букв типа Х или Y, заменяющих собой некоторые числа. Например, чтобы описать те действительные числа, квадраты которых минус сами числа равны 12, мы пишем равенство:
Х2 — Х = 12,
Рассматривая таким образом Х как заменитель любого такого числа (пока неизвестного).
Или: Х в равенстве Sin2X + Cos2X = 1 является знаменателем любого действительного (или даже комплексного) числа. В первом равенстве мы обычно называем Х неизвестным, во втором случае – переменной.
В логике принято употреблять термин "переменная" в обоих случаях, а вопрос, является ли Х Переменной или неизвестным, решается в зависимости от формы выражения, в которое входит Х. В этом смысле мы определим букву или букву с индексом как предметную переменную.
Кроме этого, в логике пользуются буквами или другими символами для обозначения вместо вполне определенных предметов или имен собственных. В этом случае буква или символ называется предметной постоянной. Например, в исходном высказывании «3» есть предметная постоянная.
Предметные постоянные и предметные переменные, взятые вместе, называются Термами.
С точки зрения грамматики, предметные переменные выполняют функции местоимений и имен нарицательных, а предметные постоянные – имен собственных.
Что такое терм в математике
Языковое выражение, призванное обозначать объекты. Напр., выражения являются различными Т., обозначающими один и тот же объект. Т. могут содержать свободные переменные (параметры), фиксация значений к-рых однозначно определяет в соответствии с семантич. правилами языка нек-рый объект — значение Т. при данных значениях его свободных переменных. Так, напр., если f — переменная, значениями к-рой являются интегрируемые действительные функции, а х, а, b — переменные по действительным числам, то выражение является Т. с тремя параметрами а, b и f, обозначающим при каждом значении параметров вполне определенное действительное число (переменная хявляется в этом Т. связанной). Синтаксически Т. характеризуются тем, что их можно подставлять вместо переменных в другие выражения языка — Т. и формулы, получая при этом Т. и формулы соответственно. В формализованных языках имеются формальные, не зависящие от семантики языка правила построения Т. п выделения в них свободных переменных; для многосортных языков имеются также правила, определяющие сорт возникающих Т. В. Н. Гришин.
