Maths›03. Logic and Foundations1.1 Syntax: Variables, ConnectivesDefinition of propositional variables, logical connectives, and formation rules for well formed formulas.