EVERY OLD THING DOES NOT COVET A TWENTY-SOMETHING

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)).