Language finition(Language A language L consists of the following disjoint sets of distinct primitive symbols o Variables: x, y, Xo, x1, .. yo, y1, ...(an infinite set) O Constants: c, d, co, do, ...(any set of them) Connectives:∧,一,,→>,+ o Quantifiers:V,彐 o Predicate symbols: P, Q, R, P1, P2 O Function symbols: f, g, h, fo, fi O Punctuation, and),(Language . Definition (Language) . . A language L consists of the following disjoint sets of distinct primitive symbols: 1. Variables: x, y, x0, x1, . . . , y0, y1, . . . (an infinite set) 2. Constants: c, d, c0, d0, . . . (any set of them). 3. Connectives: ∧,¬,∨, →,↔ 4. Quantifiers: ∀, ∃ 5. Predicate symbols: P, Q, R, P1, P2, . . . 6. Function symbols: f , g, h, f0, f1, . . . 7. Punctuation: , and ), ( Yi Li (Fudan University) Discrete Mathematics May 28, 2013 5 / 27