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

Перечисление тоже скаляр, при тут чем это? Вы умудрились задать два варианта одновременно. Вы сами написали, что Х любое значение из множества/списка ников

Вот Ваш текст.

Здесь черным по белому написано про множество ников, а потом вдруг появляется У=Загар.

Впрочем, неважно. Если Х=Шарпер, Y=Лукомор, то это два разных тождества только и всего. В чем проблемы?

Я хотел узнать, какого смысла Вам еще от слов языка надо, кроме того, что задается определением?

Я понял сразу, что речь ниочем...

Что Шарпер кузнечиком перескочил с тождества на тождественное преобразование,
это я понял, не понял, почему на тождественное преобразование числовых выражений,
а не алгебраических,
Например:
6а+4с+7=15
с помощью тождественных преобразований можно привести к виду
3а+2с=4
хотя ни исходное выражение, ни результат тождеством не является.

Отредактировано Лукомор (2023-08-01 20:26:22)

Но тождественность и есть правило возможной замены одного выражения на другое

Естественно. Как и вот это тоже -

Еще раз Ваш текст и прошу пояснить,как его  можно понять иначе?

А У не Y 

Да и что?

А именно?

Нет, это не тождество. Тождества  в определениях слов

Как откуда? Из формул тождественных преобразований

И написал, как понял

Как это не является? Перечисление задает несколько разных допустимых тождеств с единственным текущим скалярным значением. Х=Шарпер, Х=Загар,... и т.д. неодновременно

Будет, как другое тождество с той же переменной. Типа дежурным назначить любого из списка.

Разница есть только в математике, где равенство может не выполняться.

Как может не выполняться то, что дано по определению? А Ваш пример я просто неправильно понял. Там два равноправных варианта. Первый с "перечислением" - аналог назначения временного дежурного, второй - распределение работ по списочному составу. И то и другое работает в реале.

Я уже разобрался

Сначала это константа. Цитировать положения программирования не вижу смысла, ибо в естественном языке типов данных, зависяших от реализации не существует в принципе

И то Вас в этом смущает? Не выполняться может только математическое равенство с неизвестными значениями переменных, т.е. уравнение, которое может и не выполняться.
Поэтому в определении тождества специально и оговаривается, что выполняется при допустимых значениях. А текстовые (и числовые выражения)  неизвестных значений не имеют.

Вы о моих или своих фразах? Если о моих, то выполняется каждое тождество по отдельности хоть в случае перечисления с одной переменной Х, хоть в случае с несколькими. Как оказалось, первый случай с перечислением Вы не рассматривали,  я Вас неверно понял.

Тип данных существует только в формальных языках и отличается машинным представлением с явным объявлением для транслятора. В языке контекст определяется реальной ситуацией или ее описанием средствами самого языка. В текстах только описанием.

Так этот случай и разбирается через цепочку тождеств с подстановкой определяющих значений с условием их уникальной совместимости в едином контексте/сцене

Косой - одноглазый, пьяный, непрямой/кривой формы
Косил - срезал траву, уклонялся от обязанностей
Коса - инструмент для срезания травы, прическа
Косил косой косой косой  косой == Срезал траву/ кривым / инструментом для срезания травы /пьяный/ одноглазый

Совершенно не так! Это в уравнении с неизвестными мы не знаем имеет оно или не имеет решения, и превратится ли оно в равенство/неравенство или воасе в  тыкву, неизвестно. Для тождеств невыполнение запрещено по определению, для равенств с неизвестными не определено, а в числовых нет неизвестных.

Так разобрались же с моей ошибочной интерпретацией перечисления

Никакого. Тип данных я использовал в качестве пояснения своего понимания Вашего высказывания, использовав подходящий пример из программирования.
После достижения понимания, вернулся к текстовым примерам

Я просто не ставил задачу исчерпывающего исключения неоднозначности. Тем более вне конкретного контекста

Ну так я выше упоминал значение контекста, который задается расширенным описанием или реальной ситуацией. А пример рассматривал в общепринятом по умолчанию контексте про "срезание травы".

И даже еще смешнее. Выполнение неравенства не делает его равенством.

Ну наконец то!

Да не так чтобы. Ты всё пытался доказывать, что равенство и тождество - одно и то же. Теперь же научился их различать.

Чему равно 6*7, если 5*5 = 27 ?

Прально.

И эти люди... эээ, не уверен ибо девятилапые, точнее палые, что-то имеют против интегрирующмх кошек!