1 Basic notion.- 2 Validity.- 3 Formality.- 4 The symbols of propositional logic.- 5 The language L.- 6 Logical consequence in L.-...