Primitive Symbols The primitive symbols of p are the following Improper symbols: ( Proper symbols: denumerably many propositional variable, p,g, r, p1, 91, r1, 2: The set of Primitive Symbols Logic in Computer Science - p 3/39Primitive Symbols The primitive symbols of P are the following: • Improper symbols: (,), ∼,∨ • Proper symbols: denumerably many propositional variable, p, q, r, p1, q1, r1, · · · Σ :The set of Primitive Symbols Logic in Computer Science – p.3/39