Basic propositional calculus I