謂詞邏輯

  關於在英語同樣可稱"Predicate logic"的另一專有名詞，請見「一階邏輯」。

在數理邏輯中，謂詞邏輯（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