模态命题是逻辑学中的一种命题类型，它表达的是事物情况的必然性或可能性。具体来说，模态命题包含模态词，如“必然”、“可能”、“不可能”等，用以描述事件或状态的确定性或不确定性。例如，“明天会下雨”是一个模态命题，因为它表达了事件发生的可能性。在逻辑符号中，“必然”通常用符号“□”或“L”表示，“可能”用符号“◇”或“M”表示。
模态命题可以分为不同的类型，如：
真值模态命题：这类命题陈述的是必然性或可能性，包含“必然”和“可能”两个基本模态词。
规范模态命题：这类命题涉及行为规范，包含“必须”、“允许”、“禁止”等模态词。
模态推理是基于模态命题之间的关系进行的推理，其前提和结论都是模态命题。模态命题在逻辑学、哲学和其他领域中都有广泛的应用。