399 views
1 votes
1 votes

 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?

1 Answer

1 votes
1 votes
What you told are exactly correct. But "some" and "all" makes a lot of difference rt? We can say some people studying for GATE get to IIT. But ALL people studying for GATE get to IIT is a lot different.

Related questions

2 votes
2 votes
2 answers
4
Khushal Kumar asked Jul 4, 2017
699 views
output of the following program is 'no' but why. #include <stdio.h>int main(){ if (sizeof(int) -1) printf("Yes"); else printf("No"); return 0;}