跳转到内容

谓词逻辑

维基百科，自由的百科全书
（重定向自謂詞）
关于在英語同樣可稱"Predicate logic"的另一專有名詞，请见「一阶逻辑」。

在数理逻辑中，谓词逻辑（英語：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.

参见

检索自“https://zh.wikipedia.org/w/index.php?title=谓词逻辑&oldid=79366322”