Let S(a,b) be the statement "ab=a/b".

Given that the domain (or universe of discourse) for both variables consists of all positive, non-zero integers, what are the truth values of these two statements?

a) ∀a∃b S(a,b)

b) ∀b∃a S(a,b)

Explain your reasoning when you answer.