謂詞邏輯

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

參見

• 謂語