Propositional Measure Logic