$$\lnot \forall y: Y.A\vdash \exists y: Y.(A\rightarrow B)$$
Need to prove that LHS entails RHS, however I'm confused as to how to do it. Never used a negation on a universal quantifier before.
Any help would be appreciated.
HINT $$\lnot \forall y: Y.A \equiv \exists y: \lnot Y.A$$
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
8 months ago