The following will serve as a guide to answer this exercise:
- C(x)=“x is a comedian”
- F(x)=“x is funny”
- ∀x means for all x, or every x
- ∃x means there exists or at least one
a) ∀x(C(x)→F(x))
All comedians are funny.
b) ∀x(C(x)∧F(x))
Every person is funny and a comedian.
A shortened way is every person is a funny comedian.
c) ∃x(C(x)→F(x))
There exists at least one person that, if that person is a comedian, then the person is funny.
d) ∃x(C(x)∧F(x))
There exists at least one person who is a comedian and it is funny.
Also, the answer can be there exists at least one person who is a funny comedian.
Related exercises:
