I am unable to start the natural deduction process because I don't know how to parse the two different quantifiers on the LHS. A hint would be really helpful
Asked
Active
Viewed 33 times
0
-
3Hint: Assume $A(x)$ and derive $\exists x A(x)$. Using 1st premise derive $\forall x B(x)$ and from it $B(x)$. Then: $A(x) \to B(x)$. – Mauro ALLEGRANZA Oct 12 '22 at 13:51
-
@MauroALLEGRANZA that I did understand but I was getting confused with the various scopes of fresh variables – Aditya Oct 12 '22 at 15:28
-
It is just $(\exists x A(x)) \to (\forall x B(x)) $ – whoisit Oct 18 '22 at 13:44