Propositional Logic in Economics