设P是一元谓词，a是个体常项。下列属于正确的[img=25x27]180335d88530251.png[/img]推演的有： A: 从$xPx推出Pa B: 从xPx推出Pa C: 从Px推出Pa D: 从$xPx∧xØPx推出Pa

为了证明$xPx∧$xQx→$x(Px∧Qx)可满足，下列解释可取的有：

已知文法G(A)为：A→xPx|xQy|yPy|yQx P→zQ→z则该文法为(  )。 A: LALR(1)文法   B: LR(1)文法 C: a和b D: 都不是

现有如下谓词逻辑推理："x(Mx→Px)，"x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是： A: 该推理是正确的。 B: 该推理不正确，需添加前提$xSx才正确。 C: 该推理不正确，需添加前提$xMx才正确。 D: 该推理不正确，需添加前提$xPx才正确。