Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

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 ...