多选题 : 以下关于谓词公式说法正确的是
（A）单个谓词是谓词公式
（B）A,B是谓词公式，则 ﹁A，A∧B，A∨B，A→B也是谓词公式
（C）A,B是谓词公式，则有("x) A，(x)A也是谓词公式
（D）有限步应用上述过程生成的公式也是谓词公式
参考答案
继续答题：下一题
（A）单个谓词是谓词公式
（B）A,B是谓词公式，则 ﹁A，A∧B，A∨B，A→B也是谓词公式
（C）A,B是谓词公式，则有("x) A，(x)A也是谓词公式
（D）有限步应用上述过程生成的公式也是谓词公式
