枚举法
更新时间:-- | 阅读量: 253

搜索到与“ 枚举法”相关的文献共 1条

用认知逻辑刻画简单枚举法
推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系...

《逻辑研究专辑》 2001年00期关键词: "认知逻辑"," 简单枚举法"," 有效性" 收藏