逻辑学中命题的形式有模态命题和非模态命题。

模态命题根据模态词的类别，分为真值模态命题（包含有“可能”“必然”等模态词）和规范模态命题（含有“必须”“禁止”等规范词）。非模态命题按其是否包含有其他命题形式可分为简单命题和复合命题两类；简单命题根据其是反映了对象的性质还是反映了对象之间的关系，又可分为直言命题（性质命题）和关系命题，复合命题根据其逻辑联结词的不同和支命题之间的关系又可分为联言命题、选言命题、假言命题和负命题。