Срок равенства в Изабель

Question

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

Просто чтобы прояснить, я ищу отношение a ~ b, которое возвращает True, если a равно b в смыслечто они выглядят точно так же, как записано: никакие свойства a и b не должны быть известны, чтобы оценить a ~ b.

Answer 1

Таких вещей не существует.В логике нет понятия синтаксического равенства, поскольку оно допускает определения (x ≡ T) и подстановку (x ≡ y ⇒ P x ≡ P y).

Вместо этого вы можете использовать оператор равенства ML в терминах.Но для этого вы должны использовать ML блоков.