多项选择题
对公式"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 是可满足的。 -
多项选择题
设A 是谓词逻辑公式。下列说法正确的有（）
A.若A 是普遍有效的，则不存在解释使得ØA 在其中为真。
B.若A 不是普遍有效的，则存在解释使得ØA 在其中为真。
C.若不存在解释使得ØA 在其中为真，则A 是普遍有效的。
D.若存在解释使得ØA 在其中为真，则A 不是普遍有效的。 -
多项选择题
下列公式与"x（Sx→ØPx）真值条件相同的有（）
A."x（Px→ØSx）
B.Ø$x（Px∧Sx）
C."x（ØPx∨ØSx）
D.$xØ（Sx→Px）
