模态逻辑及其应用

3-1模态逻辑及其应用本节主要涉及以下内容：经典逻辑的局限性模态逻辑时序逻辑基于区间的时间推理3-1-1经典逻辑的局限性一阶谓词逻辑的局限：任何命题必须知道真、伪，否则，不能处理。Aristotle例