The propositional logic of elementary tasks