Determine whether each statement is true or false, and prove or
disprove, as appropriate.
(a) (∀x∈R)(∃y∈R)[xy=1].(∀x∈R)(∃y∈R)[xy=1].
(b) (∃x∈R)(∀y∈R)[xy=1].(∃x∈R)(∀y∈R)[xy=1].
(c) (∃x∈R)(∀y∈R)[xy>0].(∃x∈R)(∀y∈R)[xy>0].
(d) (∀x∈R)(∃y∈R)[xy>0].(∀x∈R)(∃y∈R)[xy>0].
(e) (∀x∈R)(∃y∈R)(∀z∈R)[xy=xz].(∀x∈R)(∃y∈R)(∀z∈R)[xy=xz].
(f) (∃y∈R)(∀x∈R)(∃z∈R)[xy=xz].(∃y∈R)(∀x∈R)(∃z∈R)[xy=xz].
(g) (∀x∈Q)(∃y∈Z)[xy∈Z].(∀x∈Q)(∃y∈Z)[xy∈Z].
(h) (∃x∈Z+)(∀y∈Z+)[y≤x].(∃x∈Z+)(∀y∈Z+)[y≤x].
(i) (∀y∈Z+)(∃x∈Z+)[y≤x].(∀y∈Z+)(∃x∈Z+)[y≤x].
(j)
(∀x,y∈Z)[x<y⇒(∃z∈Z)[x<z<y]].(∀x,y∈Z)[x<y⇒(∃z∈Z)[x<z<y]].
(k)
(∀x,y∈Q)[x<y⇒(∃z∈Q)[x<z<y]].(∀x,y∈Q)[x<y⇒(∃z∈Q)[x<z<y]].