Pros and cons of propositional logic