一阶逻辑。研究数学中由个体、函数及关系构成的命题以及由这些命题经使用量词和命题连接词构成的更复杂的命题和这类命题之间的推理关系。在为数学的语言和推理建立形式系统的过程中，一阶逻辑处于核心地位，多数常见的数学公理系统都可在一阶逻辑中表述。高阶逻辑。 又称广义谓词逻辑。它是一阶逻辑（见一阶理论及其元逻辑）的推广。在一阶逻辑中，量词只能用于个体变元，即只有个体约束变元，并且只有个体变元能作谓词变元的主目...
一阶逻辑。研究数学中由个体、函数及关系构成的命题以及由这些命题经使用量词和命题连接词构成的更复杂的命题和这类命题之间的推理关系。在为数学的语言和推理建立形式系统的过程中，一阶逻辑处于核心地位，多数常见的数学公理系统都可在一阶逻辑中表述。高阶逻辑。 又称广义谓词逻辑。它是一阶逻辑（见一阶理论及其元逻辑）的推广。在一阶逻辑中，量词只能用于个体变元，即只有个体约束变元，并且只有个体变元能作谓词变元的主目...