hello can someone help me solve this:

Let
Xn = {x1, x2, ..., xn} be a set of n objects forming the universe of
discourse for the propositional functions (predicates)
P(x) and Q(x). Prove by (soft) mathematical induction that :

There exists X in
Xn,
(P(x) -->Q(x)) and (for all x inXn, P(x)) -->(there exists X inXn,Q(x)) are logically equivalent.

Specify the base and inductive steps. (Hint : Use the equivalence
p -->q is equaivalent to p Vq.)

thank you