模态逻辑 正文 逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。模态逻辑所研究的命题"必然 A"和"可能 A"与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时，"必然A... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
