谓词逻辑
跳到导航
跳到搜索
关于在英語同樣可稱"Predicate logic"的另一專有名詞，请见「一阶逻辑」。
 | 此條目需要擴充。 (2010年6月12日) |
关于在英語同樣可稱"Predicate logic"的另一專有名詞，请见「一阶逻辑」。在数理逻辑中，谓词逻辑（Predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。
腳註[编辑]
![[icon]](/wiki/File:Wiki_letter_w_cropped.svg){kind=small} | 此章节尚無任何内容。 |
参考资料[编辑]
- 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
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | 这是一篇與逻辑学相關的小作品。你可以通过编辑或修订扩充其内容。 |