- аксиоматический вывод
- мат. axiomatic development
Большой англо-русский и русско-английский словарь. 2001.
аксиоматический вывод
Смотреть что такое "аксиоматический вывод" в других словарях:
ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… … Философская энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание … Философская энциклопедия
Уравнения Максвелла — Классическая электродинамика … Википедия
дедукция — и; ж. [лат. deductio] Лог. Способ рассуждения от общих положений к частным, логический вывод частных положений из какой л. общей мысли (противоп.: индукция). ◁ Дедуктивный, ая, ое. * * * дедукция (от лат. deductio выведение), вывод по правилам… … Энциклопедический словарь
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
Физика — I. Предмет и структура физики Ф. – наука, изучающая простейшие и вместе с тем наиболее общие закономерности явлений природы, свойства и строение материи и законы её движения. Поэтому понятия Ф. и сё законы лежат в основе всего… … Большая советская энциклопедия
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… … Философская энциклопедия
Дедукция — (от deducere выводить) термин современной логики, обозначающий выведение одной мысли из другой, делаемое на основании логических законов. Большинство логиков под словом Д. разумеют выведение частного из общего: такое ограничение, однако, не имеет … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Дедукция — (от deducere выводить) термин современной логики,обозначающий выведение одной мысли из другой, делаемое на основаниилогических законов. Большинство логиков под словом Д. разумеют выведениечастного из общего: такое ограничение, однако, не имеет… … Энциклопедия Брокгауза и Ефрона
