谓词逻辑的基本组成部分是()和常量符号,并用圆括弧、方括弧、花括弧和逗号隔开,以表示论域内的关系。

0 阅读

谓词逻辑的基本组成部分是()和常量符号,并用圆括弧、方括弧、花括弧和逗号隔开,以表示论域内的关系。

  • A: 谓词符号
  • B: 变量符号
  • C: 函数符号

请帮忙给出正确答案和分析,谢谢!