symbolic series of predicate calculus

英 美
  • 谓语演算符号系列
  • calculus n.微积分;算法;结石
  • of prep.关于;...的(表所属);出身于;由于
  • predicate n.[语]谓语;述语v.断定;意味;宣称;基于adj.谓语的
  • series n.(单复同)系列;丛书;连续
  • symbolic adj.象征的;符号的n.代号