QUESTION $5$

$[5]$

Show that the following set of formulas is consistent by constructing either a mathematical or a non mathematical model where both formulas are true. Take $A,$ the universe of concrete values, as the set of all integers. Note that the formulas involve two predicate symbols and a function symbol.

AAx$(Q(x,f(x))$notQ$(f(x),x))$

EEx$(S(x{)}^{{?}^{?}}$notAAy$(x,y))$