谓词逻辑
更新时间:-- | 阅读量: 101

亦称量词逻辑。数理逻辑的基础部分。......逻辑，因为它只能对个体变元使用量词，而不对谓词变元和命题变元使用量词。如果也对谓词变元和命题变元使用量词。由此构成的逻辑系统称为高阶谓词逻辑或广义谓词逻辑。

搜索到与“ 谓词逻辑”相关的文献共 1条

古典谓词归纳逻辑的构造
对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的"归纳语义",并通过澄清演绎语义和归纳语义的关系,我们...

《逻辑研究专辑》 2001年00期关键词: "归纳逻辑"," 古典谓词归纳演算"," 古典谓词演绎演算"," 归纳语义"," 演绎语义" 收藏