Elementary Predicate Logic
Elementary Predicate Logic
复制标题
基本谓词逻辑
DOI：
10.1007/978-94-009-7066-3_1
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
W. Hodges
中科院分区：
文献类型：
--
作者：
W. Hodges
基本（一阶）谓词逻辑是许多父母的孩子。至少三个不同的思想家群体在其构想中发挥了作用，具有三种截然不同的动机。也许这种混合物赋予了它混合强度。但无论出于何种原因，一阶逻辑都是现代逻辑中最简单、最强大且最适用的分支。
Elementary (first-order) predicate logic is a child of many parents. At least three different groups of thinkers played their part in its conception, with three quite distinct motives. Maybe the mixture gave it hybrid strength. But whatever the reason, first-order logic is both the simplest, the most powerful and the most applicable branch of modern logic.