多项选择题
对任意一阶公式A（）
A.若A 是定理，则"xA 是定理。B.若A 是定理，则$xA 是定理。C.若"xA 是定理，则A 是定理。D.若$xA 是定理，则A 是定理。
单项选择题 现有如下谓词逻辑推理："x（Mx→Px），"x（Sx→Mx）├$x（Sx∧Mx）。下列说法正确的是（）
多项选择题 下列公式属于定理的有（）
多项选择题 对公式"x（Px→$y（Sy∧Fxy））使用"规则可得（）
