predicate logic with equality

英 美
  • 带同异性的谓词逻辑
  • equality n.同等;平等;[数]等式
  • logic n.逻辑;逻辑学;条理性;推理
  • predicate n.[语]谓语;述语v.断定;意味;宣称;基于adj.谓语的
  • with prep.用;随着;包括;和...一起