謂詞邏輯
 | 此條目需要擴充。 (2010年6月12日) |
在數理邏輯中，謂詞邏輯（英語：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.
參見[編輯]
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | 這是一篇與邏輯學相關的小作品。你可以透過編輯或修訂擴充其內容。 |