• 模态逻辑具有语义的“内涵性”,即复杂公式的真值不能简单地由子公式的真值来决定。这与经典逻辑(外延性逻辑)形成对比,经典逻辑允许复杂公式的真值由子公式的真值直接决定。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。