First order logic.djvu

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