一般地，我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。判断为真的语句叫真命题，判断为假的语句叫假命题。

在现代哲学、数学、逻辑学、语言学中，命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。

命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。

命题的形式：

1．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。

2．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。

3．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。