Please answer this question


Exercise 48: In predicate logic with identity the symbol is also permit- ted in formulas (as a special binary predicate with a fixed interpretation) which is to be interpreted as identity (of values) between terms. How has the syntax (i.e. the definition of formulas) and the semantics (the definition of A(F)) of predicate logic to be extended to obtain the predicate logic with identity?