关于在英語同樣可稱"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.
参见 谓词逻辑, 此條目需要擴充, 2010年6月12日, 请協助改善这篇條目, 更進一步的信息可能會在討論頁或扩充请求中找到, 请在擴充條目後將此模板移除, 关于在英語同樣可稱, predicate, logic, 的另一專有名詞, 请见, 一阶逻辑, 在数理逻辑中, 英語, predicate, logic, 是符号形式系统的通用术语, 比如一阶逻辑, 二阶逻辑, 多类逻辑或无穷逻辑等等, 参考文献, 编辑a, hamilton, 1978, logic, mathematicians, cambridge, eng. 此條目需要擴充 2010年6月12日 请協助改善这篇條目 更進一步的信息可能會在討論頁或扩充请求中找到 请在擴充條目後將此模板移除 关于在英語同樣可稱 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 谓词逻辑 amp oldid 70335577, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。