单项选择题
现有如下谓词逻辑推理："x（Mx→Px），"x（Sx→Mx）├$x（Sx∧Mx）。下列说法正确的是（）
A.该推理是正确的。B.该推理不正确，需添加前提$xSx 才正确。C.该推理不正确，需添加前提$xMx 才正确。D.该推理不正确，需添加前提$xPx 才正确。
多项选择题 下列公式属于定理的有（）
多项选择题 对公式"x（Px→$y（Sy∧Fxy））使用"规则可得（）
多项选择题 取个体域为自然数集，a 表示自然数0，R 表示自然数上的“≤”关系。则上述解释可以证明（）
