论文部分内容阅读
通过将Pawlak的粗糙逻辑理论中所涉及的论域从与U有关扩展到与Un有关的论域中,从而使有关讨论能在n维近似空间M=（Un,R）上进行.在n维近似空间上,给出了粗糙逻辑的形式语言及n元公式的定义,并以Pawlak粗糙逻辑中的五种逻辑值为基础对n元公式进行讨论,得到了n元公式在粗糙逻辑理论中所具有的一些特殊性质.针对这些关于n元公式的粗糙逻辑值,从语义出发,研究了经典逻辑中的推理规则在粗糙逻辑中的逻辑推理关系.