命题形式是同类型命题所表现出来的共性。

    例如：“哺乳动物都是用肺呼吸的。”“幼儿园的儿童都是天真可爱的。”如果我们把这两个命题中表达具体内容的概念抽去，分别用符号“S”和“P”代入，概况出这类命题的共同形式，即（所有）S都是P。

    被抽去具体内容的空位处，亦即代之以符号的成分，叫逻辑变项；而余下的决定命题形式的成分，叫逻辑常项。命题形式就是逻辑变项与逻辑常项的特定组合形式。

    命题的分类基本是根据逻辑常项进行的分类。首先，根据命题是否包含“必然”、“可能”、“必须”、“禁止”等模态词，命题分为模态命题与非模态命题两大类。在模态命题中，又分为真值模态命题与规范模态命题。其次，在非模态命题中，根据命题本身是否由其他命题组成，又分为简单命题与复合命题。再次，简单命题中，又根据断定的对象具有或不具有某种性质，还是断定对象之间存在或不存在某种关系，分为性质命题与关系命题。在复合命题中，根据组成复合命题的各个命题成分之间的联系性质，亦根据不同的逻辑连接词，又可分为联言命题、选言命题、假言命题和负命题。

    （节选自《法律逻辑学》，雍琦著，法律出版社2004年第1版，第76页至第79页。）