Thread
:
(for all x, Px) implies (there exists some x, Px)?
View Single Post
Hurkyl
#
2
Feb12-05, 06:35 PM
Emeritus
Sci Advisor
PF Gold
P: 16,091
I'm not sure of the technicalities involved... this implication is true iff [itex]\exists x[/itex] is.