单项选择题
A.该推理是正确的。B.该推理不正确，需添加前提$xSx 才正确。C.该推理不正确，需添加前提$xMx 才正确。D.该推理不正确，需添加前提$xPx 才正确。
下列公式属于定理的有（）A."x（Px∧Qx）«"xPx∧"xQxB."x（Px∨Qx）«"xPx∨"xQxC...
多项选择题下列公式属于定理的有（）
A."x（Px∧Qx）«"xPx∧"xQxB."x（Px∨Qx）«"xPx∨"xQxC.$x（Px∧Qx）«$xPx∧$xQxD.$x（Px∨Qx）«$xPx∨$xQx
对公式"x（Px→$y（Sy∧Fxy））使用"规则可得（）A.Px→$y（Sy∧Fxy）B.Py→$y（Sy∧...
多项选择题对公式"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→"x...
多项选择题取个体域为自然数集，a 表示自然数0，R 表示自然数上的“≤”关系。则上述解释可以证明（）
A.$xRax→"xRax 不是普遍有效的。B.$xRax→"xRax 是可满足的。C."xRax→$xRax 是普遍有效的。D."xRax→$xRax 是可满足的。
