Loading AI tools
逻辑类型 来自维基百科,自由的百科全书
在数理逻辑中,谓词逻辑(英语:predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑、多类逻辑或无穷逻辑等等。
此条目需要扩充。 (2010年6月12日) |
这是一篇与逻辑学相关的小作品。您可以通过编辑或修订扩充其内容。 |
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.