или: Равнозначность , - общее название отношений, являющихся рефлексивными, симмет- ричными и транзитивными (см.: Отношение типа равенства). Таковы, напр., отношения равночисленности, подобия, изоморфизма и др. В логике Э. — сложное высказывание «р, если и только если q», образованное из высказываний р и q и разлагающееся на две импликации: « Если р, то q» и «Если q, то р», напр.: «Треугольник является равносторонним, если и только если он является равноугольным». Термином «Э.» обозначается и связка «если и только если», с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо «если и только если» для этой цели могут использоваться «в том и только в том случае, когда», « тогда и только тогда, когда» и т. п.
Что такое Эквивалентность? Значение слова Эквивалентность в словаре логики
Эквивалентность - или: Равнозначность, - общее название отношений, являющихся рефлексивными, симмет- ричными и транзитивными (см.: Отношение типа равенства). Таковы, напр., отношения равночисленности, подобия, изоморфизма и др. В логике Э. — сложное высказывание «р, если и только если q», образованное из высказываний р и q и разлагающееся на две импликации: «Если р, то q» и «Если q, то р», напр.: «Треугольник является равносторонним, если и только если он является равноугольным». Термином «Э.» обозначается и связка «если и только если», с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо «если и только если» для этой цели могут использоваться «в том и только в том случае, когда», «тогда и только тогда, когда» и т. п.
Однокоренные и похожие слова:
Значение слова Эквивалентность в других словарях:
- Что такое Эквивалентность? Энциклопедический словарь
- Определение термина Эквивалентность? Философский словарь
- Толкование слова Эквивалентность? Толковый словарь Ушакова
Узнайте лексическое, прямое, переносное значение следующих слов:
- Ясность - – характеристика термина (понятия) с точки зрения определенности, ...
- Язык Семантически Замкнутый - – язык, который содержит в себе как выражения, ...
- Язык Логики - — специально создаваемый современной логикой для своих целей ...
- Юма Принцип - — принцип, утверждающий, что невозможно с помощью одной ...
- Формализация - (от лат. forma — вид, образ) — отображение ...
- Физическая Модальность - см.: Онтологическая модальность. ...
- Фальсификация - (от лат. falsus — ложный, facio делаю) ...
- Учетверение Терминов - (лат. quaternio terminorum) — логическая ошибка в простом ...
- Условное Высказывание - — сложное высказывание, формулируемое обычно с помощью связки ...
- Умозаключения Из Суждений С Отношениями - умозаключения, в которых посылки и заключение представляют ...
- Умозаключение - мыслительный процесс, в ходе которого из одного ...
- Ограничение Понятия - логическая операция перехода от понятия с большим ...
- Язык Логики - — специально создаваемый современной логикой для своих целей ...
- Интенсионал И Экстенсионал - понятия, введенные австрийским логиком и философом Р. ...
- Отношение Рефлексивное - бинарное (двухместное) отношение R, определенное на некотором ...