提 要：一阶量词具有极大的普遍性，可以统一地处理由于论域变化造成的无限多日常量词。基于一阶语言公式的严格递归构造，重叠量化式归根结底可诉诸原子句和逻辑常项（特别是量词）的意义，得到准确的理解。代入解释挑（试读）...
登录
