经典标准谓词逻辑也称作一阶谓词逻辑，从中还发展出二阶谓词逻辑和高阶谓词逻辑。 谓词逻辑也可分为经典谓词逻辑（真假值为论证基础），和非经典谓词逻辑（如模态逻辑等） 16 viewsedited 05:39
