View Single Post
Hurkyl
Hurkyl is offline
#2
Feb12-05, 06:35 PM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,101
I'm not sure of the technicalities involved... this implication is true iff [itex]\exists x[/itex] is.