逻辑学导论5-模态命题

模态词和模态命题

模态

狭义=必然 or 可能
□=必然
◇=可能
若物理上可能，则逻辑上可能。
种类
必然肯定
必然否定
可能肯定
可能否定

真值
若p真，则p在所有可能世界中都真。
若p假，则p至少在一个可能世界中为假。

对当关系

□p □￢p ◇p
◇￢p 矛盾 差等 下反对
◇p 差等 矛盾
□￢p 反对
©著作权归作者所有,转载或内容合作请联系作者
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

推荐阅读更多精彩内容