多项选择题
取个体域为自然数集，a 表示自然数0，R 表示自然数上的“≤”关系。则上述解释可以证明（）
A.$xRax→"xRax 不是普遍有效的。B.$xRax→"xRax 是可满足的。C."xRax→$xRax 是普遍有效的。D."xRax→$xRax 是可满足的。
多项选择题 设A 是谓词逻辑公式。下列说法正确的有（）
多项选择题 下列公式与"x（Sx→ØPx）真值条件相同的有（）
单项选择题 下列命题能表明用全称量词可以定义存在量词的是（）
