a grammar for the syntax of propositional logic is given in Figure 7.7 (p. 244) of the text. the semantics of propositional logic is usually defined in English, or with truth tables, e.g. S ^ T is ...