跳转到内容

谓词逻辑

维基百科,自由的百科全书

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

参考文献

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

参见