hello can someone help me solve this:
LetXn = {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 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 equivalence p -->q is equaivalent to ¬p Vq.)
thank you