Тождественны или не тождественны?

[arseniiv]

$3-2$ нельзя называть бинарным отношением; главная причина — минус — не отношение. Это, скорее, бинарный функциональный символ.
Разница именно такая: $1$ — это терм, состоящий из одной константы, а $3-2$ — терм, состоящий из функционального символа с аргументами $3$ и $2$.

[Виктор Викторов]

Да. Вы правы. Спасибо. Меня занесло не в ту степь.

[timots]

Виктор Викторов

И я о том же. Без элементарной формулы $A^2_1(t,s)$ и замены ее равенством $t=s$, нельзя говорить о тождестве.
arseniiv
Спасибо за поправку. Математическую логику я изучал давно. Вы меня спасли от копания в учебнике.

[Виктор Викторов]

timots в сообщении #440198 писал(а):

Возможно, речь идет о видении предикатной буквы $A^2_1$ и замене ее на равенство $t=s$.

Тут не совсем ясно как можно менять предикатную букву на элементарную формулу.

timots в сообщении #440341 писал(а):

Без элементарной формулы $A^2_1(t,s)$ и замены ее равенством $t=s$, нельзя говорить о тождестве.

Тут уже мне понятнее, так как Вы рассматриваете конкретную элементарную формулу. Говорить о тождестве без равенства нельзя. А говорить о тождественности функций и не тождественности имен получается можно?