谓词逻辑
维基百科，自由的百科全书
 |
此條目或章节需要擴充，请協助改善这篇條目。（2010年6月12日） 更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 |
在数理逻辑中，谓词逻辑（Predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑等等。
[编辑] 腳註
[编辑] 参考资料
- 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
