@kravam

тут и тут нет такого. Спасибо, кто откликнется!

0

zer0mail

Имхо, "тождественно равно". Типа справа и слева одно и то же.

1

@Ab

Есть, например, тут.

1

@Скромник

Да, тройное равно (три черточки вместо двух) - это тождественное равенство (можно прочитать, как "то же самое, что и").
В частных случаях алгебры логики (в комбинаторных схемах) встречается как эквивалентность, и то, когда в схеме образуются триггеры, но это частный случай, думаю, что здесь объяснять нет смысла.

0

@Mysterious Light

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

Например, . Как правило, единственное характерное свойство — рефлексивность. Единственный пример тождественного равенства, который уравнивает "разные буквы", который я знаю, — это альфа-эквивалентность лямбда-термов.

И слева, и справа находится афинная функция, умножающая аргумент на 2 и прибавляющая 3. Разная буква обозначает аргумент, но смысл не меняется.

В то же время равенство является символом, который входит в состав самой теории через правила вывода или аксиомы.
Например, в исч. высказывания равенство является эквиваленцией , в лямбде равенство вводится на основании редукции, например, из того, что функция f(x)=2x+3 на аргументе 1 редуцируется до 5

делается вывод о том, что

3

@Catstail

- не единственный:

3