- произвольное утверждение
- arbitrary statement
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ТЕЗИС ДЮЭМА — КУАЙНА — выдвинутая П. Дюэмом и поддержанная позднее У.В.О. Куайном идея о возможности сохранения любой гипотезы путем соответствующих изменений той теоретической системы, в рамках которой она выдвинута. «Любое высказывание, говорит Куайн, может во что бы … Философская энциклопедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
ПРИНЦИП ИСКЛЮЧЕННОГО ТРЕТЬЕГО — (распространенное лат. название – tertium non datur) – логич. закон, состоящий в том, что для всякого высказывания Л истинно по крайней мере одно из двух высказываний: само А или его отрицание (символически пишется A∨A и читается: А или не A).… … Философская энциклопедия
ПРОИЗВОЛЬНЫЙ — ПРОИЗВОЛЬНЫЙ, произвольная, произвольное; произволен, произвольна, произвольно (книжн.). 1. Не вытекающиий из чего нибудь с необходимостью, не обязательный для данного случая, неубедительный. Произвольный вывод. Произвольное утверждение. 2. Ничем … Толковый словарь Ушакова
Положительная логика — логика, в которой приемлемыми считаются только рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых… … Большая советская энциклопедия
парадоксы импликации — доказуемые в логике классической и некоторых других логических системах утверждения с импликацией, плохо согласующиеся с обычным пониманием условной связи ( если ..., то ... ) и логического следования. П. и. это парадоксы в широком смысле, их… … Словарь терминов логики
ВАСИЛЬЕВ Николай Александрович — (1880 1940) рус. философ логик. С 1910 приват доцент, в 1918 утвержден в должности доцента, с того же года проф. кафедры философии Казанского ун та, позже проф. логики, поэтики и теоретических основ педагогики факультета общественных наук… … Философская энциклопедия
Топология — (от греч. tоpos место и …логия (См. ...Логия) часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… … Большая советская энциклопедия
Непрерывность множества действительных чисел — Непрерывность действительных чисел свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… … Википедия
Лемма о накачке для регулярных языков — В теории формальных языков, лемма о накачке для регулярных языков описывает существенное свойство всех регулярных языков. Неформально она утверждает, что все достаточно длинные слова регулярного языка можно накачать, то есть повторить внутреннюю… … Википедия
Аналитические функции — функции, которые могут быть представлены степенными рядами (См. Степенной ряд). Исключительная важность класса А. ф. определяется следующим. Во первых, этот класс достаточно широк; он охватывает большинство функций, встречающихся в… … Большая советская энциклопедия