QUESTION $2$

$[12]$

Use the predicate, function and constant symbols and their intended meanings given in Table $2$ and translate the following sentences of predicate logic into English:

Question $2\mathrm{.}1$

$))=((y$

Question $2\mathrm{.}2$

EEx$(C(x{)}^{{?}^{?}}$AAy.$(S(y)$notT$(y,x)))$

Question $2\mathrm{.}3$

AAxEEyT$(x,y)$

Question $2\mathrm{.}4$

AAx$[S(x)L(k,x)]$

$3$