谓词逻辑

维基百科,自由的百科全书
跳转至: 导航搜索

在数理逻辑中,谓词逻辑Predicate logic)是符号形式系统的通用术语,比如一阶逻辑二阶逻辑多类逻辑无穷逻辑等等。

腳註[编辑]

参考资料[编辑]

  • A. G. Hamilton 1978, Logic for Mathematicians, Cambridge University Press, Cambridge UK ISBN 0-521-21838-1.
  • Abram Aronovic Stolyar 1970, Introduction to Elementary Mathematical Logic, Dover Publications, Inc. NY. ISBN 0-486-64561