1.

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»

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

To EXPLAIN: For every person x, if COMEDIAN then x is FUNNY.



Discussion

No Comment Found

Related InterviewSolutions