Suppose I'm working in a language of equality in which the only non-logical symbol is the 2-place relation symbol =. I'm trying to find all possible atomic formulas that can be represented in this language.
Would they be:
- x=x
- x=y
- t1=t1
- t1=t2
where x and y are variables in the language and t1 and t2 are terms in the language?