hello can someone help me solve this:

LetXn={x1, x2, ..., xn}be a set ofnobjects forming the universe of

discourse for the propositional functions (predicates)P(x) andQ(x). Prove by (soft) mathematical induction that :

There exists X inXn,(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 equivalencep -->q is equaivalent to ¬p Vq.)

thank you