Exercise $6$

Which of the following formulas is a formalization of the sentence:

"There is a computer which is not used by any student"

Computer $(x{)}^{{?}^{?}}$AAy.$(notStudent(y{)}^{{?}^{?}}$notUses$(y,x))$

EEx.$(Computer(x)$AAy.$(Student(y)$notUses$(y,x)))$

EEx.$(Computer(x{)}^{{?}^{?}}$AAy.$(Student(y)$notUses$(y,x)))$