命题由题设和结论两部分组成。

在现代哲学、数学、逻辑学、语言学中，命题（判断）是指一个判断句的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断句本身，而是指所表达的语义。当相异的判断句具有相同的语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。

命题的四种形式

命题的四种形式是原命题、逆命题、否命题和逆否命题，命题（判断）是指一个判断句的语义（实际表达的概念），命题不是指判断句本身，而是指所表达的语义。

1、原命题和逆命题

如果一个命题的题设和结论分别是另一个命题的结论和题设，则这样的两个命题互称为原命题和逆命题。

2、否命题

对于两个命题，若其中一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，则这两个命题互为否命题。

3、逆否命题

如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定，则这两个命题称互为逆否命题。