现有如下谓词逻辑推理："x(Mx→Px)，"x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是：

A、该推理是正确的。;
B、该推理不正确，需添加前提$xSx才正确。;
C、该推理不正确，需添加前提$xMx才正确。;
D、该推理不正确，需添加前提$xPx才正确。