View Single Post
 Emeritus Sci Advisor PF Gold P: 16,091 I'm not sure of the technicalities involved... this implication is true iff $\exists x$ is.