- эквивалентные предикаты
- мат. equivalent predicates
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
интенсионал и экстенсионал — понятия, введенные австрийским логиком и философом Р. Карнапом для анализа зна чения языковых выражений. Метод И. и Э. представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге. Но если… … Словарь терминов логики
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
КОНЪЮНКТИВНОЕ СУЖДЕНИЕ — (лат. соnjunctivus – соединительный, от conjungo – соединяю) (с о е д и н и т е л ь н о е с у ж д е н и е) – сложное суждение, к рое либо (а) образовано из двух (или большего числа) др. суждений (членов К. с.) с помощью союза и (или с помощью… … Философская энциклопедия
РАВЕНСТВО ( и ) — РАВЕНСТВО (в логике и математике) отношение между выражениями языка логики и математики, верное тогда (и только тогда), когда оба выражения обозначают один и тот же предмет, т.е., когда все, что можно сказать на языке данной теории про объект,… … Философская энциклопедия
МАШИНА — (в математике) абстрактное устройство, осуществляющее переработку информации. Употребительны также термины абстрактная машина , автомат . Абстрактные М. являются частным случаем управляющих систем. Возникновение их связано с анализом понятия… … Математическая энциклопедия