谓词逻辑的基本组成部分是()和常量符号,并用圆括弧、方括弧、花括弧和逗号隔开,以表示论域内的关系。
A:谓词符号
B:变量符号
C:函数符号
出自:计算机科学