在数理逻辑中,谓词逻辑(英語: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日) |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.