- #1

- 142

- 1

C(x)=x is a comedian

F(x)=x is funny

where domain=All people in the world

Now consider the predicate logic

##1. \forall x [C(x) \rightarrow F(x)]##

##2. \exists x [C(x) \rightarrow F(x)]##

Doesn't both the above predicate logic refers to the same conclusion that "All Comedians are funny"