热门问题
时间线
聊天
视角
谓词逻辑
逻辑类型 来自维基百科，自由的百科全书
Remove ads
关于在英语同样可称"Predicate logic"的另一专有名词，请见“一阶逻辑”。在数理逻辑中，谓词逻辑（英语：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。
 | 此条目可参照英语维基百科相应条目来扩充。 (2025年6月22日) |
 |
参考文献
- 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.
参见
 | 这是一篇与逻辑学相关的小作品。您可以通过编辑或修订扩充其内容。 |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads