I can't really understand the difference between the two statements :
a)for all x(C(x)->F(x))
b)there exists x(C(x)->F(x))
C(x)=x is a comedian
F(x)=x is funny
the domain consists of all people
In English, the first statement implies "All comedians are funny" , and the second statement implies "Some people, if they are comedians, they are funny", if i'm not wrong.
Apart from the fact that , the first one includes all people, and the second one includes some, is there any such difference between the two statements?