Hello,

I am in need of some help with translating the following sentences into predicate logic.

1. Exept for Jean, all mathematicians travelled to Egypt.

2. Some mathematicians don't take the conversations seriously when not everyone is present.

3. At least one mathematician wants to speak with Jean and Jean alone.

So I was thinking for 1) Ax (M(x) > (~(x=y)> E(x)) whereas M(x) means that x is a mathematician and E(x) x travelled to Egypt.

2) Ex~Ay (M(x) & (P(y) > ~S(x)) whereas P(x) means that x is present and S(x) means that x takes the conversations seriously.

3) Ex (M(x) & T(x,j)) whereas T(x,y) means that x wants to speak with y and with y alone.

I am not realy sure about 3. Is there another way to tell that x wants to speak with y and y alone? I need to be sure these sentences are correct.

Thanks!