CS245 Study Guide - First-Order Logic, Arity, Propositional Calculus
Document Summary
De nition 1 (alphabet of first order terms and formul ) The alphabet of the language of rst order logic consists of the following symbols: constant symbols: c, d, c1, c2, . , d1, d2, : function symbols: f, g, h, f1, f2, . , g1, g2, : variables: x, y, z, x1, x2, . , y1, y2, : predicate (relational) symbols: p, q, p1, p2, . , q1, q2, : logical connectives: , , , , quanti ers: (read for all ) and (read there is ); and, punctuation: ( , ) , and , . Each predicate symbol p and each function symbol f is associated with a natural number called arity, written ar(p ) and ar(f), respectively. Predicate and function symbols with arity 1 (2, 3) are called unary (binary, ternary, respectively). The constant, functional, and predicate symbols are called the non-logical symbols (or parameters).
