模态命题

---

含有模态词的命题。狭义指包含“必然”、“可能”这类真值模态词的模态命题，称真值模态命题。如以□或L表示必然模态算子，以◇或M表示可能模态算子，那么真值模态命题的基本形式有：□p或Lp(p是必然的)、□p或Lp(p不是必然的)、◇p或Mp(p是可能的)、◇p或Mp(p不是可能的)。除真值模态命题以外，还有包含“应当”、“允许”、“禁止”、“相信”、“知道”、“曾是”、“将是”等模态词的广义模态命题，如道义命题(必须p、允许p、禁止p等)、信念命题(相信p等)、知道命题(知道p等)和时态命题(曾是p、将是p等)。