

InterviewSolution
Saved Bookmarks
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)) |
|