Логические и философские аспекты Тождество дополнительны: первый даёт формальную модель понятия Тождество , второй - основания для применения этой модели. Первый аспект включает понятие об «одном и том же» предмете, но смысл формальной модели не зависит от содержания этого понятия: игнорируются процедуры отождествлений и зависимость результатов отождествлений от условий или способов отождествлений, от явно или неявно принимаемых при этом абстракций. Во втором (философском) аспекте рассмотрения основания для применения логических моделей Тождество связываются с тем, как отождествляются предметы, по каким признакам, и уже зависят от точки зрения, от условий и средств отождествления.
Различение логических и философских аспектов Тождество восходит к известному положению, что суждение о тождественности предметов и Тождество как понятие - это не одно и то же (см. Платон, Соч., т. 2, М., 1970, с. 36). Существенно, однако, подчеркнуть независимость и непротиворечивость этих аспектов: понятие Тождество исчерпывается смыслом соответствующей ему логической функции; оно не выводится из фактической тождественности предметов, «не извлекается» из неё, а является абстракцией, восполняемой в «подходящих» условиях опыта или, в теории, - путём предположений (гипотез ) о фактически допустимых отождествлениях; вместе с тем, при выполнении подстановочности (см. ниже аксиому 4) в соответствующем интервале абстракции отождествления, «внутри» этого интервала, фактическое Тождество предметов в точности совпадает с Тождество в логическом смысле.
Важность понятия Тождество обусловила потребность в специальных теориях Тождество Самый распространённый способ построения этих теорий - аксиоматический. В качестве аксиом можно указать, например, следующие (не обязательно все):
1. х = х ,
2. х = у É у = х ,
3. x = y & y = z É x = z ,
4. А (х ) É (х = у É А (у )),
где А (х ) - произвольный предикат, содержащий х свободно и свободный для у , а А (х ) и А (у ) различаются только вхождениями (хотя бы одним) переменных х и y .
Аксиома 1 постулирует свойство рефлексивности Тождество В традиционной логике она считалась единственным логическим законом Тождество , к которому в качестве «нелогических постулатов» добавляли обычно (в арифметике, алгебре, геометрии) аксиомы 2 и З. Аксиому 1 можно считать гносеологически обоснованной, поскольку она является своего рода логическим выражением индивидуации, на котором, в свою очередь, основывается «данность» предметов в опыте, возможность их узнавания: чтобы говорить о предмете «как данном», необходимо как-то выделить его, отличить от др. предметов и в дальнейшем не путать с ними. В этом смысле Тождество , основанное на аксиоме 1, является особым отношением «самотождественности», которое связывает каждый предмет только с самим собой - и ни с каким др. предметом.
Аксиома 2 постулирует свойство симметричности Тождество Она утверждает независимость результата отождествления от порядка в парах отождествляемых предметов. Эта аксиома также имеет известное оправдание в опыте. Например, порядок расположения гирь и товара на весах различен, если смотреть слева направо, для покупателя и продавца, обращенных лицом друг к другу, но результат - в данном случае равновесие - один и тот же для обоих.
Аксиомы 1 и 2 совместно служат абстрактным выражением Тождество как неразличимости, теории, в которой представление об «одном и том же» предмете основывается на фактах не наблюдаемости различий и существенно зависит от критериев различимости, от средств (приборов), отличающих один предмет от другого, в конечном счёте - от абстракции неразличимости. Поскольку зависимость от «порога различимости» на практике принципиально неустранима, представление о Тождество , удовлетворяющем аксиомам 1 и 2, является единственным естественным результатом, который можно получить в эксперименте.
Аксиома 3 постулирует транзитивность Тождество Она утверждает, что суперпозиция Тождество также есть Тождество и является первым нетривиальным утверждением о тождественности предметов. Транзитивность Тождество - это либо «идеализация опыта» в условиях «убывающей точности», либо абстракция, восполняющая опыт и «создающая» новый, отличный от неразличимости, смысл Тождество : неразличимость гарантирует только Тождество в интервале абстракции неразличимости, а эта последняя не связана с выполнением аксиомы З. Аксиомы 1, 2 и 3 совместно служат абстрактным выражением теории Тождество как эквивалентности .
Аксиома 4 постулирует необходимым условием для Тождество предметов совпадение их признаков. С логической точки зрения, эта аксиома очевидна: «одному и тому же» предмету принадлежат все его признаки. Но поскольку представление об «одном и том же» предмете неизбежно основывается на определённого рода допущениях или абстракциях, эта аксиома не является тривиальной. Её нельзя верифицировать «вообще» - по всем мыслимым признакам, а только в определённых фиксированных интервалах абстракций отождествления или неразличимости. Именно так она и используется на практике: предметы сравниваются и отождествляются не по всем мыслимым признакам, а только по некоторым - основным (исходным) признакам той теории, в которой хотят иметь понятие об «одном и том же» предмете, основанное на этих признаках и на аксиоме 4. В этих случаях схема аксиом 4 заменяется конечным списком её аллоформ - конгруентных ей «содержательных» аксиом Тождество Например, в аксиоматической теории множеств Цермело - Френкеля - аксиомами:
4.1 z Î x É (x = y É z Î y ),
4.2 x Î z É (x = y É y Î z ),
определяющими, при условии, что универсум содержит только множества, интервал абстракции отождествления множеств по «членству в них» и по их «собственному членству», с обязательным добавлением аксиом 1-3, определяющих Тождество как эквивалентность.
Перечисленные выше аксиомы 1-4 относятся к так называемым законам Тождество Из них, используя правила логики, можно вывести и многие др. законы, неизвестные в до математической логике. Различие между логическим и гносеологическим (философским) аспектами Тождество не имеет значения, коль скоро речь идёт об общих абстрактных формулировках законов Тождество Дело, однако, существенно меняется, когда эти законы используются для описания реалий. Определяя понятие «один и тот же» предмет, аксиоматики Тождество необходимо влияют на формирование универсума «внутри» соответствующей аксиоматической теории.
Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Новоселов М., Тождество, в кн.: Философская энциклопедия, т. 5, М., 1970; его же, О некоторых понятиях теории отношений, в кн.: Кибернетика и современное научное познание, М., 1976; Шрейдер Ю. А., Равенство, сходство, порядок, М., 1971; Клини С. К., Математическая логика, пер. с англ., М., 1973; Frege G., Schriften zur Logik, ., 1973.
М. М. Новосёлов.
Статья про слово "Тождество " в Большой Советской Энциклопедии была прочитана 8308 раз
Этимологический Словарь Русского Языка
Тождество
Греческое – «тот же, такой же».
Старославянское – тъжде (такой, так).
Слово образовано от церковнославянского местоимения по принципу русского словообразования и имеет значение «одинаковый, идентичный».
Производное: тождественный.
Начала Современного Естествознания. Тезаурус
Тождество
равенство (числовое, алгебраическое, аналитическое), справедливое во всех точках области или при всех допустимых значениях переменных (ср. Идентичность).
Риторика: Словарь-справочник
Тождество
Тождество в риторике : один из топов определения, отношение термов которого указывает на их полную или частичную равнозначность: «Деньги есть деньги»; установленная топом идентичность позволяет разводить его различные значения: «Деньги есть деньги, но здесь рубли, а там валюта
Словарь лингвистических терминов
Тождество
Соответствие звуков, морфем, слов и словосочетаний, имеющих общее происхождение. Генетическое тождество часто не представляет собой материального и семантического совпадения. Так, генетическое тождество звуков не означает их акустического и артикуляционного совпадения. В современных языках генетически тождественные звуки могут отличаться по своей акустической и артикуляционной природе. Например, [г] и [ж] генетически родственные звуки, хотя [г] – заднеязычный смычной, [ж] – переднеязычный щелевой. Названные звуки регулярно соответствуют друг другу в одних и тех же морфемах, различающихся тем, что после [г] шел гласный непереднего ряда, а после [ж] – гласный переднего ряда: железо (рус.), gelezis (лит), gelsu (прусск.);
желтый (рус.), geltas (лит.), gelb (нем). Тождество в риторике : один из топов определения, отношение термов которого указывает на их полную или частичную равнозначность: "Деньги есть деньги";
установленная топом идентичность позволяет разводить его различные значения: "Деньги есть деньги, но здесь рубли, а там валюта".
Криминалистическая энциклопедия
Тождество
(идентичность)
предельный случай равенства объектов, когда не только все родовые, но и все индивидуальные их свойства совпадают. В теории криминалистической идентификации термин Т. обозначает наличие у объекта неповторимой совокупности устойчивых признаков, отличающей его от всех иных, в т. ч. ему подобных, объектов, индивидуализирующей объект и дающей возможность распознать его в разные моменты времени и в различных состояниях.
Философский словарь (Конт-Спонвиль)
Тождество
Тождество
♦ Identité
Совпадение, свойство быть таким же. Таким же, как что? Таким же, как такое же, иначе это будет уже не тождество. Таким образом, тождество есть в первую очередь отношение себя к себе (мое тождество это и есть я сам) либо, если речь идет не о субъектах, отношение между двумя объектами, являющими собой один и тот же объект. «В строгом смысле слова этот термин чрезвычайно точен, – отмечает Кин, – вещь тождественна самой себе и ничему другому, даже дубликату-близнецу» («Сущности», статья «Тождество»). Два монозиготных близнеца, даже если предположить, что они совершенно схожи, являются близнецами только потому, что они суть два разных индивидуума; если бы они были абсолютно тождественны (в том смысле, в каком автор «Пармской обители» тождественен автору «Люсьена Левена» (и тот и другой романы принадлежат перу Стендаля. – Прим. ред.)), они составляли бы единое существо и не были бы близнецами. Таким образом, тождество в строгом смысле слова подразумевает уникальность, свойство быть одним и тем же, а никто не может в точности повторять никого, кроме себя.
В более широком и более прочно укоренившемся в традиции значении тождественными называют два объекта, дабы подчеркнуть их сходство. Например, друзья отмечают между собой тождество точек зрения или вкусов.
Оба значения имеют право на существование, важно лишь не путать одно с другим. Поэтому, употребляя слово «тождество» в первом значении, к нему часто добавляют определение «количественное» (чтобы подчеркнуть, что речь идет об одном и том же объекте: «Мы живем в одном и том же доме»). В отличие от этого специфическое или качественное тождество указывает на полное сходство между многими различными объектами (выражение «У нас с ним одна и та же машина» подразумевает существование двух автомобилей одной марки, одной модели и одного цвета).
Тождество последнего вида никогда не бывает абсолютным (два тождественных автомобиля никогда не бывают абсолютно одинаковыми). Но бывает ли абсолютным количественное тождество? В настоящем времени – да, бывает, но только и исключительно в настоящем времени. Если рассматривать его с точки зрения времени, то оно становится таким же относительным, как качественное тождество, а быть может, и еще более иллюзорным. Стендаль начал писать «Люсьена Левена» в 1834 году и был тогда на четыре года моложе автора «Пармской обители». Какое же здесь тождество? А если он все-таки был тождественен себе более позднему, то почему написал другую книгу, а не ту же самую?
Заблуждением было бы думать, что понятие тождества, формальное по своей сути, способно дать нам какое-либо знание о реальной действительности. Утверждение, что Стендаль, Анри Бейль и автор «Жизни Анри Брюлара» являют собой единое целое, позволяет нам получить хоть какое-то знание только в том случае, если нам известно, что означает каждое из этих слов. Точнее даже, лишь потому, что это нам известно, мы и можем утверждать, что все три упомянутых лица являются одним и тем же человеком. Тождество, подобно удостоверению личности, ничего не сообщает о содержании того, на что указывает (ибо это не сущность); оно лишь говорит, что это содержание равно самому себе. А=А. Тождество не есть сущность, хотя сущность подразумевает тождество.
Вполне вероятно, во всяком случае, я придерживаюсь именно такого мнения, что во времени ничто не способно оставаться тождественным себе. Ничто не остается постоянным, как говорят буддисты, и нельзя дважды войти в одну и ту же реку. Что нисколько не мешает реальной действительности оставаться тождественной себе в настоящем времени. В этом пункте Парменид торжествует победу над Гераклитом, хотя триумф его тщетен: он побеждает и в том случае, если бы прав был Гераклит. Мы можем думать, что есть такая вещь, как тождество; однако о том, что такое тождество, мысль может узнать только благодаря бытию, а не самому тождеству. Не бывает онтологии a priori. Тождество есть необходимое, но пустое понятие. Это всего лишь имя, которое мы присваиваем чистому присутствию себя в реальности, тогда как реальность именем не является.
Тождество – одно из измерений молчания, благодаря которому возможна речь.
Риторика: Словарь-справочник
Тождество
Соответствие звуков, морфем, слов и словосочетаний, имеющих общее происхождение. Генетическое тождество часто не представляет собой материального и семантического совпадения. Так, генетическое тождество звуков не означает их акустического и артикуляционного совпадения. В современных языках генетически тождественные звуки могут отличаться по своей акустической и артикуляционной природе. Например, [г] и [ж] генетически родственные звуки, хотя [г] – заднеязычный смычной, [ж] – переднеязычный щелевой. Названные звуки регулярно соответствуют друг другу в одних и тех же морфемах, различающихся тем, что после [г] шел гласный непереднего ряда, а после [ж] – гласный переднего ряда: железо (рус.), gelezis (лит), gelsu (прусск.); желтый (рус.), geltas (лит.), gelb (нем).
Что такое Тождество? Значение и толкование слова tozhdestvo, определение термина
1) Тождество - - отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга, в какой-то совокупности характеристик (напр., свойств). В действительности все предметы (вещи) обычно отличаются нами друг от друга по каким-то характеристикам. Это не исключает того обстоятельства, что у них есть и общие характеристики. В процессе познания мы отождествляем отдельные вещи в их общих характеристиках, объединяем их в множества по этим характеристикам, образуем понятия о них на основе абстракции отождествления (см.: Абстракция). Предметы, объединяемые в множества по некоторым общим для них свойствам, перестают различаться между собой, поскольку в процессе такого объединения мы отвлекаемся от их различий. Иными словами, они становятся неразличимыми, тождественными в этих свойствах. Если бы все характеристики двух объектов а и b оказались тождественными, объекты превратились бы в один и тот же предмет. Но этого не происходит, т. к. в процессе познания мы отождествляем отличные друг от друга предметы не по всем характеристикам, а лишь по некоторым. Без установления тождеств и различий между предметами невозможно никакое познание окружающего нас мира, никакая ориентировка в окружающей нас среде. Впервые в самой общей и идеализированной формулировке понятие Т. двух предметов дал Г. В. Лейбниц. Закон Лейбница можно сформулировать так: "х = у, если и только если х обладает каждым свойством, которым обладает у, а у обладает каждым свойством, которым обладает х". Другими словами, предмет х может быть отождествлен с предметом у, когда абсолютно все их свойства являются одними и теми же. Понятие Т. широко используется в различных науках: в математике, логике и естествознании. Однако во всех случаях его применения тождество изучаемых предметов определяют не по абсолютно всем общим характеристикам, а лишь по некоторым, что связано с целями их изучения, с тем контекстом научной теории, в пределах которой изучаются эти предметы.
2) Тождество - философская категория, выражающая: а) равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов (а б с т р а к т н о е тождесто); б) единство сходства и несходства, тождества (в первом значении) и различия, обусловленною изменением, развитием предмета (к о н к р е т н о е тождество). Оба вида тождества в процессе познания взаимно связаны и переходят друг в друга: первый из них выражает момент устойчивости, второй – изменчивости.
3) Тождество - - совпадение, предполагающее нумерическое единство.
4) Тождество - - см. Идентичность.
5) Тождество - - категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, неразличимыми, если и только если все свойства (и отношения), к-рые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку материальная действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, осн. свойствах, не бывает. Т. является не абстрактным, а конкретным, т. е. Содержащим внутренние различия, противоречия, постоянно “снимающим” себя в процессе развития, зависящим от данных условий. Само отождествление отдельных предметов требует их предварительного отличия от других предметов; с др. стороны, часто приходится отождествлять различные предметы (напр., с целью создания их классификаций). Это означает, что Т. неразрывно связано с различием и является относительным. Всякое Т. вещей временно, преходяще, а их развитие, изменение абсолютно. В математике, где мы оперируем с абстракциями (числами, фигурами), рассматриваемыми вне времени, вне их измерения, закон Лейбница действует без особых ограничений. В точных же опытных науках абстрактное, т. е. отвлекающееся от развития вещей Т., используется с ограничениями, и то лишь потому, что в процессе познания мы прибегаем в известных условиях к идеализации и упрощению действительности. С подобными ограничениями формулируется и логический тождества закон.
Тождество
Отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга, в какой-то совокупности характеристик (напр., свойств). В действительности все предметы (вещи) обычно отличаются нами друг от друга по каким-то характеристикам. Это не исключает того обстоятельства, что у них есть и общие характеристики. В процессе познания мы отождествляем отдельные вещи в их общих характеристиках, объединяем их в множества по этим характеристикам, образуем понятия о них на основе абстракции отождествления (см.: Абстракция). Предметы, объединяемые в множества по некоторым общим для них свойствам, перестают различаться между собой, поскольку в процессе такого объединения мы отвлекаемся от их различий. Иными словами, они становятся неразличимыми, тождественными в этих свойствах. Если бы все характеристики двух объектов а и b оказались тождественными, объекты превратились бы в один и тот же предмет. Но этого не происходит, т. к. в процессе познания мы отождествляем отличные друг от друга предметы не по всем характеристикам, а лишь по некоторым. Без установления тождеств и различий между предметами невозможно никакое познание окружающего нас мира, никакая ориентировка в окружающей нас среде. Впервые в самой общей и идеализированной формулировке понятие Т. двух предметов дал Г. В. Лейбниц. Закон Лейбница можно сформулировать так: "х = у, если и только если х обладает каждым свойством, которым обладает у, а у обладает каждым свойством, которым обладает х". Другими словами, предмет х может быть отождествлен с предметом у, когда абсолютно все их свойства являются одними и теми же. Понятие Т. широко используется в различных науках: в математике, логике и естествознании. Однако во всех случаях его применения тождество изучаемых предметов определяют не по абсолютно всем общим характеристикам, а лишь по некоторым, что связано с целями их изучения, с тем контекстом научной теории, в пределах которой изучаются эти предметы.
философская категория, выражающая: а) равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов (а б с т р а к т н о е тождесто); б) единство сходства и несходства, тождества (в первом значении) и различия, обусловленною изменением, развитием предмета (к о н к р е т н о е тождество). Оба вида тождества в процессе познания взаимно связаны и переходят друг в друга: первый из них выражает момент устойчивости, второй – изменчивости.
Совпадение, предполагающее нумерическое единство.
См. Идентичность.
Категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, неразличимыми, если и только если все свойства (и отношения), к-рые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку материальная действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, осн. свойствах, не бывает. Т. является не абстрактным, а конкретным, т. е. Содержащим внутренние различия, противоречия, постоянно “снимающим” себя в процессе развития, зависящим от данных условий. Само отождествление отдельных предметов требует их предварительного отличия от других предметов; с др. стороны, часто приходится отождествлять различные предметы (напр., с целью создания их классификаций). Это означает, что Т. неразрывно связано с различием и является относительным. Всякое Т. вещей временно, преходяще, а их развитие, изменение абсолютно. В математике, где мы оперируем с абстракциями (числами, фигурами), рассматриваемыми вне времени, вне их измерения, закон Лейбница действует без особых ограничений. В точных же опытных науках абстрактное, т. е. отвлекающееся от развития вещей Т., используется с ограничениями, и то лишь потому, что в процессе познания мы прибегаем в известных условиях к идеализации и упрощению действительности. С подобными ограничениями формулируется и логический тождества закон.
Зако́н то́ждества - принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории) . Является одним из законов классической логики .
В процессе рассуждения каждое понятие , суждение должно употребляться в одном и том же смысле. Предпосылкой этого является возможность различения и отождествления тех объектов, о которых идёт речь. . Мысль о предмете должна иметь определённое, устойчивое содержание, сколько бы раз она ни повторялась. Важнейшее свойство мышления - его определённость - выражается данным логическим законом .
Применение
В повседневной жизни
Любой наш знакомый изменяется с каждым годом, но мы всё же отличаем его от других знакомых и незнакомых нам людей (имеется возможность различения), потому что он сохраняет основные черты, которые выступают как те же самые на всём протяжении жизни нашего знакомого (имеется возможность отождествления). То есть, в соответствии с законом Лейбница (определяющим понятие тождество) мы утверждаем, что наш знакомый изменился. Однако в соответствии с законом тождества мы утверждаем, что это один и тот же человек, поскольку в основе определения лежит понятие личность. Закон тождества требует, чтобы для описания одного и того же понятия мы всегда использовали одно и то же выражение (имя). Таким образом, мы одновременно рассматриваем один объект (знакомого) на двух различных уровнях абстракции . Возможность различения и отождествления определяется в соответствии с законом достаточного основания . В данном случае в качестве достаточного основания используется наше чувственное восприятие (см. опознание).
В юриспруденции
В формальной логике
Под тождественностью мысли самой себе в формальной логике понимается тождественность её объёма . Это означает, что вместо логической переменной A {\displaystyle A} в формулу « A {\displaystyle A} есть A {\displaystyle A} » могут быть подставлены мысли различного конкретного содержания , если они имеют один и тот же объём. Вместо первого A {\displaystyle A} в формуле « A {\displaystyle A} есть A {\displaystyle A} » мы можем подставить понятие «животное; обладающее мягкой мочкой уха» , а вместо второго - понятие «животное, обладающее способностью производить орудия труда» (обе эти мысли с точки зрения формальной логики считаются равнозначными, неразличимыми, так как они имеют один и тот же объём, а именно - признаки, отражённые в этих понятиях, относятся лишь к классу людей), и при этом получается истинное суждение «Животное, обладающее мягкой мочкой уха, есть животное, обладающее способностью производить орудия труда» .
В математике
В математической логике законом тождества называется тождественно истинная импликация логической переменной с самой собой X ⇒ X {\displaystyle X\Rightarrow X} .
В алгебре понятие арифметического равенства чисел рассматривается как особый случай общего понятия логического тождества. Однако имеются математики, которые, в противоположность данной точке зрения, не отождествляют символа « = {\displaystyle =} », встречающегося в арифметике, с символом логического тождества; они не считают, что равные числа непременно тождественны, и поэтому рассматривают понятие числового равенства как специфически арифметическое понятие. То есть полагают, что сам факт наличия или отсутствия особого случая логического тождества, должен определяться в рамках логики. .
Нарушения закона тождества
Когда закон тождества нарушается непроизвольно, по незнанию, тогда возникают логические ошибки, которые называются
Рассмотрим две равенства:
1. a 12 *a 3 = a 7 *a 8
Это равенство будет выполняться при любых значениях переменной а. Областью допустимых значений для того равенства будет все множество вещественных чисел.
2. a 12: a 3 = a 2 *a 7 .
Это неравенство будет выполняться для всех значений переменной а, кроме а равного нулю. Областью допустимых значений для этого неравенства будет все множество вещественных чисел, кроме нуля.
О каждом из этих равенств можно утверждать, что оно будет верно при любых допустимых значениях переменных а. Такие равенства в математике называются тождествами .
Понятие тождества
Тождество - это равенство, верное при любых допустимых значениях переменных. Если в данное равенство подставить вместо переменных любые допустимые значения, то должно получиться верное числовое равенство.
Стоит отметить, что верные числовые равенства тоже являются тождествами. Тождествами, например, будут являться свойства действий над числами.
3. a + b = b + a;
4. a + (b + c) = (a + b) + c;
6. a*(b*c) = (a*b)*c;
7. a*(b + c) = a*b + a*c;
11. a*(-1) = -a.
Если два выражения при любых допустимых переменных соответственно равны, то такие выражения называют тождественно равными . Ниже представлены несколько примеров тождественно равных выражений:
1. (a 2) 4 и a 8 ;
2. a*b*(-a^2*b) и -a 3 *b 2 ;
3. ((x 3 *x 8)/x) и x 10 .
Мы всегда можем заменить одно выражение любым другим выражением, тождественно равным первому. Такая замена будет являться тождественным преобразованием.
Примеры тождеств
Пример 1: являются ли тождествами следующие равенства:
1. a + 5 = 5 + a;
2. a*(-b) = -a*b;
3. 3*a*3*b = 9*a*b;
Не все представленные выше выражения будут являться тождествами. Из этих равенств тождествами являются лишь 1,2 и 3 равенства. Какие бы числа мы в них не подставили, вместо переменных а и b у нас все равно получатся верные числовые равенства.
А вот 4 равенство уже не является тождеством. Потому что не при всех допустимых значениях это равенство будет выполняться. Например, при значениях a = 5 и b = 2 получится следующий результат:
Данное равенство не верно, так как число 3 не равняется числу -3.