A Propositional Metric Logic with Fixed Finite Ranges