First-order logic.djvu

逻辑学的另一种形式是符号化，用字母和逻辑连接符表示命题。这种逻辑学作为数学和计算的表述语言，称作符号逻辑或数理逻辑，主要用来精确地描述数学理论，同时又是计算机语言的理论基础。符号逻辑除了应用于数学领域、电路设计等其他工程性学科，还在语言学等传统的人文学科找到了用武之地。SMUllyan FOL,classical textbook学习逻辑的有用参考书目，强烈推荐。