Artificial intelligent assistant

Is my answer logically equivalent to the other? $S(x) = x$ is a student $F(x) = x$ is faculty $A(x,y) = x$ asked $y$ a question Some student has not asked any faculty member a question. Book solution: $\exists x(S(x) \ \land \ \forall y (F(y) \rightarrow \ \neg A(x,y)))$ My solution: $\exists x \forall y((S(x) \ \land \ F(y)) \rightarrow \ \neg A(x,y)))$ I'm not sure if my answer is the same logically.

They're not the same. In your solution, for example, $x$ could be a teacher; in that case, for all $y$, $S(x) \wedge F(y)$ is false, so the implication $(S(x) \wedge F(y)) \Rightarrow \
eg A(x, y)$ is always true.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 19b26f1b373bc4ca3939fd3090161c7c