Primitive Symbols of F mproper symbols:(),N,V,V Variables Individual variables: 9,2 Function variables: fm,9', h' ropositional variables:p, g, r, Predicate variables: Pn, Qm, R Constants Individual constants Function constants Propositional constants Predicate constants Logic in Computer Science- p 4/23Primitive Symbols of F Improper symbols : (, ), ∼, ∨, ∀ Variables Individual variables : x, y, z, · · · Function variables : f n, gn, hn, · · · Propositional variables : p, q, r, · · · Predicate variables : Pn, Qn, Rn, · · · Constants Individual constants Function constants Propositional constants Predicate constants Logic in Computer Science – p.4/23