The question I am trying to answer is:
Transcribe the following to English:
Adam is the tallest one in the class.
$Cx$: $x$ is in the class
$Txy$: $x$ is taller than $y$
The question also says I have to explicitly state that Adam is not taller than himself. The answer given by the book is,
$\forall x [(Cx \land x\neq a) \rightarrow Tax]$,
however I thought this transcribed to 'Adam is taller than everyone in the class that is not himself' which does not say whether he is taller than himself or not. So I said the sentence could be transcribed as,
$\forall x[Cx \rightarrow (Tax \equiv x \neq a)]$
$\forall x [(Cx \land x\neq a) \rightarrow Tax] \land \neg Taa$.
Could you please tell me what the correct answer is?