多项选择题
对公式"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 是谓词逻辑公式。下列说法正确的有（）
多项选择题 下列公式与"x（Sx→ØPx）真值条件相同的有（）
