I am given a statement that says "All teachers wear glasses." And to put it in logical statement, I had a few lines that I thought they sound the same:

Let all humans be in the set of H.

Let all teachers be in the set of T.

Let "is a teacher" be T(x).

Let "does wear glasses" G(x).

Out of these statements, which ones are correct? All of these sound logical to me somehow. But I am quite sceptical over the first 2 statements because I remember that p->q is not equals to q->p albeit I have a different set of domain.

thanks...