Словари

Главная / Словарь логики / Р / Равенство

Что такое Равенство? Значение и толкование слова ravenstvo, определение термина

Равенство -  — отношение между знаковыми выражениями, обо­значающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно выска­зать и о другом, и наоборот, и при этом получать истинные выска­зывания. Обозначаемые объекты могут быть построены различным способом, напр., один объект может быть представлен как «3•5», а другой как «20-5», но между ними может быть поставлен знак Р. Отношение Р позволяет заменять одни и те же объекты, постро­енные различным образом, друг на друга в различных контекстах (правило подстановочности). Выражения (формулы), содержащие пре­дикат Р., могут содержать переменные, или параметры. Если такая формула является истинной при всех значениях переменных (пара­метров), то отношение Р называют тождеством. Если же она явля­ется истинной лишь при некоторых значениях, то ее называют урав­нением. Отношение Р обладает свойствами симметричности, тран­зитивности и рефлексивности.

Посмотреть значение слова Равенство в других словарях:

Что означает термин равенство?Большой бухгалтерский словарь
Толкование слова РавенствоИсторический словарь
Что такое Равенство?Социологический словарь
Что означает слово Равенство?Энциклопедический словарь

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Равнозначность - (равносильность, эквивалентность)  - от­ношение между высказываниями или формулами, когда они...
Равнообъемность -  - отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный...
Разделительно-Категорическое Умозаключение -  -умозаключение, в котором одна из посылок — разделительное суж­дение, а другая — категорическое....
Разделительное Суждение -  - дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или...
Разрешающая Процедура - см.: Разрешения проблема.
Разрешения Проблема - или: Разрешимости пробле­ма,  — проблема нахождения для данной дедуктивной теории общего метода,...
Разрешимая Теория -  — теория, для которой существует эф­фективная процедура (алгоритм), позволяющая о каждом...
Рациональность - (от лат. ratio - разум)  - относящееся к ра­зуму, обоснованность разумом, доступное разумному...
Релевантная Импликация - см.: Релевантная логика.