謂詞邏輯

逻辑类型

數理邏輯中,謂詞邏輯(英語: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.

參見