单枚
更新时间:-- | 阅读量: 73

16　　 /764,1c绿红　　　　　　　　　　　　　　　　　　。……...41318/765，2cs棕黑。……41319/770，15cs灰黑红。……132520/773，30cs绯红蓝。……1325（5）3684

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

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

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