Question

The statement,” Every comedian is funny” where C(x) is “x is a comedian” and F (x) is “x is funny” and the domain consists of all people.

(a) ∃x(C(x) ∧ F (x))

(b) ∀x(C(x) ∧ F (x))

(c) ∃x(C(x) → F (x))

(d) ∀x(C(x) → F (x))

This question was posed to me during a job interview.

Question is taken from Predicate Logic Quantifiers in chapter The Foundation: Logics and Proofs of Discrete Mathematics

Answer 1

The correct answer is (d) ∀x(C(x) → F (x))

To explain: For every person x, if comedian then x is funny.