что такое аксиоматические понятия

аксиоматическое определение

Полезное

Смотреть что такое «аксиоматическое определение» в других словарях:

Определение (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия

определение неявное — определение, не имеющее формы равенства двух понятий. К О. н. относятся определение контекстуальное, определение остенсивное, определение аксиоматическое и др. О. н. противопоставляется определению явному, приравнивающему, или отождествляющему,… … Словарь терминов логики

определение аксиоматическое — неявное определение понятия путем указания множества аксиом, в которые оно входит наряду с другими понятиями. Аксиома представляет собой утверждение, принимаемое без доказательства. Совокупность аксиом какой то теории является одновременно и… … Словарь терминов логики

определение — (лат. definitio) логическая операция, раскрывающая содержание понятия. Напр., обычное О. термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. О. понятия термин говорит, что это… … Словарь терминов логики

Матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое… … Википедия

Графический матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… … Википедия

Ранг матроида — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… … Википедия

Универсальный матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… … Википедия

Арифметика — (греч. arithmetika, от arithmys число) наука о числах, в первую очередь о натуральных (целых положительных) числах и (рациональных) дробях, и действиях над ними. Владение достаточно развитым понятием натурального числа и умение… … Большая советская энциклопедия

ПЕАНО — (Peano), Джузеппе (27 авг. 1858 – 20 апр. 1932) – итал. математик и логик. Проф. математики в Туринском ун те (1890–1932). Известен важными результатами в матем. анализе, теории дифференц. уравнений (где ему принадлежит классич. формулировка осн … Философская энциклопедия

Источник

АКСИОМА

Полезное

Смотреть что такое «АКСИОМА» в других словарях:

АКСИОМА — (греч. axioma, от axium признавать, почитать). Истина, не требующая доказательств, напр., целое больше своей части. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. АКСИОМА греч. axioma, от axiun, признавать,… … Словарь иностранных слов русского языка

аксиома — См … Словарь синонимов

аксиома — ы ж. axiome m., нем. Axiom <, гр. axiôma. 1547. Лексис.1. Отправное положение какой л. науки, принимаемое без доказательств. Сл. 18. Логическия и Онтологическия аксиомы. Брян. 1799 4. || чаще мн. Непреложные правила какой л. науки, искусства;… … Исторический словарь галлицизмов русского языка

Аксиома — Аксиома ♦ Axiome Недоказуемое положение, служащее для доказательства других положений. Являются ли аксиомы истинными? Долгое время считалось, что являются. По мнению Спинозы или Канта, аксиома – это истина, очевидность которой ясна без… … Философский словарь Спонвиля

аксиома — Аксиома, о том, что аксиома, по Евклидовой геометрии, это положение, не требующее доказательств, известно всем, кто доучился в школе до седьмого класса. Мы полагаем, что среди пишущей братии нет людей, не взявших планку на этой высоте. И тем не… … Словарь ошибок русского языка

аксиома — Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником [ГОСТ 34.320 96] аксиома Предложение, принимаемое за истину без доказательств. Аксиомы являются исходными предложениями различных теорий. К аксиомам… … Справочник технического переводчика

АКСИОМА — (от греческого axioma принятие положения), исходное положение научной теории, принимаемое без доказательства … Современная энциклопедия

АКСИОМА — (греч. axioma) положение, принимаемое без логического доказательства в силу непосредственной убедительности; истинное исходное положение теории … Большой Энциклопедический словарь

АКСИОМА — АКСИОМА, утверждение, используемое в математике или логике как основание для дедуктивных рассуждений. см. АКСИОМАТИЧЕСКИЙ МЕТОД … Научно-технический энциклопедический словарь

АКСИОМА — АКСИОМА, аксиомы, жен. (греч. axioma). Положение, принимаемое без доказательств (мат.). || Очевидная истина, утверждение, принимаемое на веру (книжн.). Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 … Толковый словарь Ушакова

Источник

АКСИОМАТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ

– определение термина через множество аксиом (постулатов), в которые он входит и которые последовательно ограничивают область его возможных истолкований.

Напр., можно попытаться дать прямое определение понятия «равенство». Но можно привести систему истинных утверждений, включающих это понятие и неявно задающих его значение: «Каждый объект равен самому себе»; «В случае любых объектов, если первый равен второму, то второй равен первому»; «Для всех объектов верно, что если первый равен второму, а второй третьему, то первый равен третьему».

А. о. является частным случаем определения контекстуального. Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас понятие, является в некотором смысле неявным определением последнего. Контекст ставит понятие в связь с другими понятиями и тем самым косвенно раскрывает его содержание. Встретив в тексте на иностранном языке одно-два неизвестных слова, мы, понимая текст в целом, можем составить примерное представление и о значениях неизвестных слов. Аналогично дело обстоит и с А. о. Совокупность аксиом к.-л. теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который неявно определяет все входящие в аксиомы понятия. Чтобы узнать, к примеру, что значат слова «масса», «сила», «ускорение» и т. п., можно обратиться к аксиомам классической механики Ньютона. «Сила равна массе, умноженной на ускорение», «Сила действия равна силе противодействия» и т. д. – эти положения, указывая связи понятия «сила» с другими понятиями механики, раскрывают его сущность.

Принципиальное отличие А. о. от иных контекстуальных определений в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания входящих в него понятий. Он ограничен по размеру и по составу.

А. о. – одна из высших форм научного определения. Не всякая теория способна определить свои исходные термины аксиоматически, для этого требуется относительно высокий уровень развития знаний об исследуемой области. Изучаемые объекты и их отношения должны быть также сравнительно просты.

Источник

определение аксиоматическое

Смотреть что такое «определение аксиоматическое» в других словарях:

Источник

Что такое аксиома, теорема и доказательство теоремы

Понятие аксиомы

Аксиома — это правило, которое считают верным и которое не нужно доказывать. В переводе с греческого «аксиома» значит принятое положение — то есть взяли и договорились, что это истина, с которой не поспоришь.

Аксиоматический метод — это подход к получению знаний, при котором сначала разрабатывают аксиомы, а потом с их помощью формулируют новые теории.

Синоним аксиомы — постулат. Антоним — гипотеза.

Основные аксиомы евклидовой геометрии

Учить наизусть эти аксиомы не обязательно. Главное — помнить о них и держать под рукой, чтобы при доказательстве теоремы сослаться на одну из них.

А теперь давайте рассмотрим несколько аксиом из геометрии за 7 и 8 класс.

Самая известная аксиома Евклида — аксиома о параллельных прямых. Звучит она так:

Это значит, что если дана прямая и любая точка, которая не лежит на этой прямой, то через неё можно провести только одну единственную прямую, которая будет параллельна этой первой данной прямой.

У этой аксиомы два следствия:

Аксиома Архимеда заключается в том, что, если отложить достаточное число раз меньший из двух отрезков, то можно покрыть больший из них. Звучит так:

Если на прямой есть меньший отрезок А и больший отрезок B, то, можно сложить А достаточное количество раз, чтобы покрыть B.

На картинке можно увидеть, как это выглядит:

Из этого следует, что не существует бесконечно малых и бесконечно больших величин. В качестве математической формулы аксиому можно записать так: А + А + … + А = А * n > В, где n — это натуральное число.

Понятие теоремы

Что такое аксиома мы уже поняли, теперь узнаем определение теоремы.

Теорема — логическое следствие аксиом. Это утверждение, которое основано на аксиомах и общепринятых утверждениях, которые были доказаны ранее, и доказывается на их основе.

Состав теоремы: условие и заключение или следствие.

Среди теорем выделяют такие, которые сами по себе не используются в решениях задач. Но их используют для доказательства других теорем.

Лемма — это вспомогательная теорема, с помощью которой доказываются другие теоремы. Пример леммы: если одна из двух параллельных прямых пересекает плоскость, то и вторая прямая тоже пересекает эту плоскость.

Следствие — утверждение, которое выводится из аксиомы или теоремы. Следствие, как и теорему, необходимо доказывать.

Примеры следствий из аксиомы о параллельности прямых:

Доказательство теоремы — это процесс обоснования истинности утверждения.

Каждая доказанная теорема служит основанием доказательства для следующей теоремы. Именно поэтому так важно изучать геометрию последовательно, переходя от аксиом к теоремам.

Способы доказательства геометрических теорем

Часть аналитического способа — доказательство от противного, когда для доказательства данного предложения убеждают в невозможности предположения противоположного.

Приемы для доказательства в геометрии:

Обратная теорема — это такой перевертыш: в ней условие исходной теоремы дано заключением, а заключение — условием.

Прямая и обратная теорема взаимно-обратные. Например:

В первой теореме данное условие — это равенство сторон треугольника, а заключение — равенство противолежащих углов. А во второй всё наоборот.

Противоположная теорема — это утверждение, в котором из отрицания условия вытекает отрицание заключения.

Вот, как выглядит взаимное отношение теорем на примере:

В геометрическом изложении достаточно доказать только две теоремы, тогда остальные справедливы без доказательства.

Записывайся на онлайн обучение по математике для учеников с 1 по 11 классы!

Доказательство через синтез

Рассмотрим пример синтетического способа доказательства.

Теорема: сумма углов треугольника равна двум прямым.

Дан треугольник: ABC. Нужно доказать, что A + B + C = 2d.

Доказательство:

Проведем прямую DE, так чтобы она была параллельна AC.

Сумма углов, лежащих по одну сторону прямой, равна двум прямым, следовательно, α + B + γ = 2d.

Так как α = A, γ = C, то заменим в предыдущем равенстве углы α и γ равными им углами: A + B + C = 2d. Что и требовалось доказать.

Здесь исходным предложением в цепи доказательств выбрана теорема о сумме углов, которые лежат по одну сторону прямой. Есть связь с теоремами о равенстве углов накрест-лежащих при пересечении двух параллельных третьею косвенною. Доказываемая теорема есть необходимое следствие всех предложенных теорем и является в цепи доказательств последним заключением.

Доказательство через анализ

Рассмотрим пример аналитического способа доказательства.

Теорема: диагонали параллелограмма пересекаются пополам.

Дан параллелограмм: ABCD.

Доказательство:

Если диагонали пересекаются пополам, то треугольники AOB и DOC равны.

Равенство же треугольников AOB и DOC вытекает из того, что AB = CD, как противоположные стороны параллелограмма и ∠α = ∠γ, ∠β = ∠δ, как накрест-лежащие углы.

Таким образом мы видим, что последовательно данное предложение заменяется другим и такое замещение совершается до тех пор, пока не дойдем до уже доказанного предложения.

Теоремы без доказательств

Теорема Пифагора: квадрат гипотенузы равен сумме квадратов катетов.

Доказательств может быть несколько. Одно из них звучит так: если построить квадраты на сторонах прямоугольного треугольника, то площадь большего из них равна сумме площадей меньших квадратов. На картинке понятно, как это работает:

Теорема косинусов: квадрат одной стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними. В виде формулы это выглядит так:

где a, b и c — стороны плоского треугольника,

α — угол напротив стороны а.

Следствия из теоремы косинусов:

Понятия свойств и признаков

У нас есть список аксиом и мы уже знаем, что такое теорема и как ее доказывать. Есть два типа утверждений среди теорем, которые часто встречаются при изучении новых фигур: свойства и признаки.

Свойства и признаки — понятия из обычной жизни, которые мы часто используем.

Свойство — такое утверждение, которое должно выполняться для данного типа объектов. У ноутбука есть клавиатура — это свойство есть у каждого ноутбука. А у электронной книги такого свойства нет.

Примеры геометрических свойств мы уже знаем: у квадрата все стороны равны. Это верно для любого квадрата, поэтому это — свойство.

Такое свойство можно встретить у другого четырехугольника. И клавиатура может быть на других устройствах, помимо ноутбука. Из этого следует, что свойства не обязательно должны быть уникальными.

Признак — это то, по чему мы однозначно распознаем объект.

Звезды в темном небе — признак того, что сейчас ночь. Если человек ходит с открытым зонтом — это признак того, что сейчас идет дождь. При этом ночью не обязательно должны быть видны звезды, иногда может быть облачно. Значит это не свойство ночи.

А теперь вернемся к геометрии и рассмотрим четырехугольник ABCD, в котором AB = BD = 10 см.

Является ли равенство диагоналей признаком прямоугольника? У такого четырехугольника, где AB = BD, диагонали равны, но он не является прямоугольником. Это свойство, но не его признак.

Но если в четырехугольнике противоположные стороны параллельны AB || DC и AD || BC и диагонали равны AB = BD, то это уже верный признак прямоугольника. Смотрите рисунок:

Иногда свойство и признак могут быть эквивалентны. Лужи — это верный признак дождя. У других природных явлений не бывает луж. Но если приходит дождь, то лужи на асфальте точно будут. Значит, лужи — это не только признак, но и свойство дождя.

Такие утверждения называют необходимым и достаточным признаком.

Источник