The beginnings of propositional logic