Формы Мысли

См. Суппозиция.. ..

— теория в формализованном языке. Важной особенностью Ф. Т. Является то, что содержательные утверждения заменены в них последовательностями символов, ма­нипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включает­ся в теорию. Поэтому более точно Ф. Т. Можно определить как упорядоченную тройку (L, A, C), где L представляет формализо­ванный язык, A — множество аксиом и С — множество правил вывода. Ф. Т. Обычно строится следующим образом. В..

— средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. Д. К числу нуль-местных Ф. В математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. Будут знаки отрицания, необходимости, возможности и т. П., двух­местными Ф..

(от лат. Functio — осуществление, выполнение) — соот­ветствие между переменными величинами х и у, в результате которо­го каждому значению величины х (независимой переменной, аргу­менту) сопоставляется одно-единственное значение величины у (за­висимой переменной). Это соответствие записывается в виде выражения y=f(x). Такое соответствие может быть задано не только формулой, но и графиком или таблицей (примером такой таблицы может быть таблица логарифмов). Множество элементов некоторой Ф., подстав..