标签：#形式邏輯系統

谓词逻辑

在数理逻辑中，谓词逻辑（）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 参考文献 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University Press. ISBN 0-521-21838-1. Abram Aronovic Stolyar (1970). Introduction to …