1.1 Syntax
We define the formal language of propositional logic by specifying an alphabet of symbols together with precise rules that determine which expressions are well formed formulas, and this definition is inductive in the sense that every formula is constructed from simpler formulas in a finite number of steps, which ensures that the structure of formulas can always be analyzed in a systematic way. Alphabet The alphabet consists of propositional variables,...