谓词逻辑此条目需要扩充。 (2010年6月12日)请协助改善这篇条目，更进一步的信息可能会在讨论页或扩充请求中找到。请在扩充条目后将此模板移除。 关于在英语同样可称"Predicate logic"的另一专有名词，请见“一阶逻辑”。 在数理逻辑中，谓词逻辑（英语：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 参考文献 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University Press. 编辑 谓语
