“我知道的所有已经死去的人没有谁复活，所以人死不能复生。”上述推理属于（）

多项选择题对任意一阶公式A（）

A.若A 是定理，则"xA 是定理。
B.若A 是定理，则$xA 是定理。
C.若"xA 是定理，则A 是定理。
D.若$xA 是定理，则A 是定理。

单项选择题现有如下谓词逻辑推理： x（Mx→Px）， x（Sx→Mx）├$x（Sx∧Mx）。下列说法正确的是（）

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

多项选择题下列公式属于定理的有（）

A."x（Px∧Qx）«"xPx∧"xQx
B."x（Px∨Qx）«"xPx∨"xQx
C.$x（Px∧Qx）«$xPx∧$xQx
D.$x（Px∨Qx）«$xPx∨$xQx

多项选择题对公式 x（Px→$y（Sy∧Fxy））使用 规则可得（）

A.Px→$y（Sy∧Fxy）
B.Py→$y（Sy∧Fyy）
C.Px→$y（Sy∧Fzy）
D.Pa→$y（Sy∧Fay）

多项选择题取个体域为自然数集，a 表示自然数0，R 表示自然数上的“≤”关系。则上述解释可以证明（）

A.$xRax→"xRax 不是普遍有效的。
B.$xRax→"xRax 是可满足的。
C."xRax→$xRax 是普遍有效的。
D."xRax→$xRax 是可满足的。