模态词和模态命题
模态
狭义=必然 or 可能
□=必然
◇=可能
若物理上可能，则逻辑上可能。
种类
必然肯定
必然否定
可能肯定
可能否定
真值
若p真，则p在所有可能世界中都真。
若p假，则p至少在一个可能世界中为假。
对当关系
| □p | □￢p | ◇p | |
|---|---|---|---|
| ◇￢p | 矛盾 | 差等 | 下反对 |
| ◇p | 差等 | 矛盾 | |
| □￢p | 反对 |
狭义=必然 or 可能
□=必然
◇=可能
若物理上可能，则逻辑上可能。
种类
必然肯定
必然否定
可能肯定
可能否定
真值
若p真，则p在所有可能世界中都真。
若p假，则p至少在一个可能世界中为假。
| □p | □￢p | ◇p | |
|---|---|---|---|
| ◇￢p | 矛盾 | 差等 | 下反对 |
| ◇p | 差等 | 矛盾 | |
| □￢p | 反对 |
本文标题：逻辑学导论5-模态命题
本文链接：https://www.haomeiwen.com/subject/qkptaqtx.html
网友评论