命题是能判断真假的语句。
在现代哲学，数学，逻辑学，语言学中，命题是指一个判断的语义，这个概念是可以被定义并观察的现象。命题不是指判断本身，而是指所表达的语义。当相异判断具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。
命题的分类：
原命题：一个命题的本身称之为原命题。
逆命题：将原命题的条件和结论颠倒的新命题。
否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序。
逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题。
