Propositional calculus - propositions and connectives, syntax