首页 › 答案 › 题库 › 网课

关于一阶语言中的合式公式若a、b为两个个体常项,f(x,y)为一个二元函数,g(x)为一个一元函数,F(x)为一个一元谓词、G(x,y)为一个二元谓词,则下列说法中正确的有哪些

关于一阶语言中的合式公式若a、b为两个个体常项,f(x,y)为一个二元函数,g(x)为一个一元函数,F(x)为一个一元谓词、G(x,y)为一个二元谓词,则下列说法中正确的有哪些
A、g(a)是项、f(a,b)也是项
B、F(a)是原子公式、G(a,b)也是原子公式
C、g(f(a),f(b))是项,F(g(a,b))是原子公式
D、F(f(a))是原子公式、G(f(a),f(b))也是原子公式
正确答案:g(a)是项、f(a,b)也是项|F(a)是原子公式、G(a,b)也是原子公式