命题有两种
第一种命题是陈述句,如(1)我是学生；(2)地球围绕太阳转；(3)地球是一个平面.
这种命题分为真假命题,即如陈述为真则是真命题,如上文(1)(2)为真命题,(3)为假命题.
第二种是“若p,则q”形式的命题,如(1)如果河水结冰,那么冬天到了；(2)如果地面湿了,那么一定是下雨了.
此类命题中p叫做命题的条件,也叫题设；q叫做命题的结论.
只有第二种命题形式,也就是有题设和结论的命题才有原命题、逆命题、否命题、逆否命题.