模态判断
网友科普
模态命题(modal proposition)亦称“模态判断”。一切含有模态词（如“必然”、“可能”、“偶然”、“必须”、“相信”、“知道”等）的命题。由于“必然”和“可能”是两个最基本的模态词，因而在通常情况下，人们所说的模态命题多指包含有“必然”或“可能”这两个模态词的狭义模态命题：必然命题或可能命题。例如：“金属受热必然膨胀”、“火星上有生物是可能的”、“可能明天要下雨”等都是模态命题。如果我们用符号L表示模态词“必然”，用符号M表示模态词“可能”，用符号p表示命题。上述例句就可以用符号表示成Lp和Mp。