РАВЕНСТВО (в логике и математике)
- РАВЕНСТВО (в логике и математике)
- РАВЕНСТВО (в логике и математике)
РА́ВЕНСТВО, в логике и математике — отношение взаимной заменяемости объектов, которые именно в силу этой заменяемости и считаются равными (а = b). Отношение равенства обладает свойствами рефлексивности (каждый объект равен самому себе), симметричности (если а = b, то b = a) и транзитивности (если a = b, а b = c, то a = c). Буквенное равенство, верное для всех числовых значений входящих в него букв, называется тождеством.
Энциклопедический словарь.
2009.
Смотреть что такое "РАВЕНСТВО (в логике и математике)" в других словарях:
РАВЕНСТВО — в логике и математике отношение взаимной заменяемости объектов, которые именно в силу этой заменяемости и считаются равными (а = b). Отношение равенства обладает свойствами рефлексивности (каждый объект равен самому себе), симметричности (если а … Большой Энциклопедический словарь
РАВЕНСТВО ( и ) — РАВЕНСТВО (в логике и математике) отношение между выражениями языка логики и математики, верное тогда (и только тогда), когда оба выражения обозначают один и тот же предмет, т.е., когда все, что можно сказать на языке данной теории про объект,… … Философская энциклопедия
равенство — а; ср. 1. Одинаковость, полное сходство (по величине, количеству, качеству, достоинству и т.п.). Р. прав. Р. сил. Р. отношений. Р. треугольников. 2. Равное положение людей в обществе. Социальное р. 3. Матем. Соотношение между величинами,… … Энциклопедический словарь
Равенство (математика) — У этого термина существуют и другие значения, см. Равенство. 0 1 2 3 4 5 6 7 8 9 0 • × × × × × × × × × … Википедия
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
А=А — формула, выражающая принцип тождества в формальной логике; читается: А есть А , А тождественно А , А равно А , А есть то же самое, что А , А эквивалентно А . Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает… … Философская энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
ОТНОШЕНИЕ — в логике то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов. Традиционная логика не рассматривала О.; в современной логике О. пропозициональная функция от двух или большего числа переменных. Бинарным … Философская энциклопедия
ТОЖДЕСТВА ЗАКОН — (лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая опре дел. истинностное значение, должна сохранять свою первонач. форму и… … Философская энциклопедия
ОТНОШЕНИЯ ТИПА РАВЕНСТВА — отношения, обладающие одновременно св вами рефлексивности, симметричности и транзитивности. Подробнее об О. т. р. см. в ст. Равенство(в логике и математике) и Правило замены равного равным. Философская Энциклопедия. В 5 х т. М.: Советская… … Философская энциклопедия