逻辑学导论5-模态命题

模态词和模态命题

模态

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

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

对当关系

□p □¬p ◇p
◇¬p 矛盾 差等 下反对
◇p 差等 矛盾
□¬p 反对

你可能感兴趣的:(逻辑学导论5-模态命题)