逻辑学中命题的形式有模态命题和非模态命题。 模态命题根据模态词的类别，分为真值模态命题（包含有“可能”“必然”等模态词）和规范模态命题（含有“必须”“禁止”等规范词）。非模态命题按其是否包含有其......