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