Metric Propositional Neighborhood Logic with an Equivalence Relation