58. Literal meaning: Every old thing does not covet a twenty-something. Intended meaning: Some
old thing does not covet a twenty-something. Let P (x) denote the statement “x is an old
thing” and Q(x) denote the statement “x covets a twenty-something.” The intended statement
is ∃x(P (x) ∧ ¬Q(x)).
Bạn đang xem 58. - SOLUTION MANUAL FOR DISCRETE MATHEMATICS 7TH EDITION BY JOHNSONBAUGH