No, that's not right. For example, consider natural numbers with zero and let Px mean x = 0. Then P0 V P1, but it certainly does not mean that Ps is true for an arbitrary s.

You just need to consider two cases depending on whether Pa or Pb is true in M.