登录  注册

首页->东数西算

多选题 :  以下关于谓词公式说法正确的是

(A)单个谓词是谓词公式

(B)A,B是谓词公式,则 ﹁A,A∧B,A∨B,A→B也是谓词公式

(C)A,B是谓词公式,则有("x) A,(x)A也是谓词公式

(D)有限步应用上述过程生成的公式也是谓词公式

参考答案
继续答题:下一题
微考学堂微考学社

更多东数西算试题

考试