论文部分内容阅读
以公式的定义域集的下和上近似分别相等方法,定义了两个Rough逻辑公式Rough相等,并以此定义了Rough相等关系词'=R',它不仅比等值词'←→'运算有更多的直观性,而且既考虑了可定义的公式,也包含了那些在边界线上不可定义或可能可定义的公式.所以,经典逻辑中的隐含式φ→ψ被移至Rough逻辑中应当解释为R*(d(φ)) R*(d(ψ))∧R*(d(φ)) R*(d(ψ)).经典逻辑中的等值式φ←→ψ被移至Rough逻辑中应当解释为R*(d(φ))=R*(d(ψ))∧R*